In the history of computer science, Shannon and Turing are towering figures, but the importance of the philosophers and logicians who preceded them is frequently overlooked.

E xactly 65 years ago, on Mar. 31, 1951, the U.S. Census Bureau signed a contract for the first commercial computer in the U.S. and thus entered a new era. When UNIVAC—the Universal Automatic ...