Turing's Cathedral: The Origins of the Digital Universe

by George Dyson

“It is difficult today to realize how bold an innovation it was to introduce talk about paper tapes and patterns punched in them, into discussions of the foundations of mathematics,

why exactly was tape logic so critical. mechanizing proofs?