Claude Shannon's master's thesis in 1937 is the one that proved the usefulness of Boolean algebra and binary for digital circuits.
https://harrymoreno.com/assets/greatPapersInCompSci/3.2_-_A_...
https://en.wikipedia.org/wiki/A_Symbolic_Analysis_of_Relay_a...