The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age Jan von Plato The information age owes its existence to a little-known but crucial development ...