The Stored-Program Computer
5.2 John von Neumann and the “Report on the EDVAC”
5.3 Turing and the Turing Machine
5.4 Logic theory and Hilbert’s decision problem
5.5 Breaking the Enigma Machine
5.6 Postwar developments in British computers
5.7 Patent quarrel at the Moore School
5.8 The IAS computer
5.9 UNIVAC Part I: Development