In 1945, John von Neumann and Alan Turing both proposed designs for
electronic digital computers, the EDVAC and the ACE.
Despite many similarities in hardware, there were profound differences
in the ways in which these machines were to be programmed.
This talk examines the different approaches to programming taken by von
Neumann and Turing, and suggests that by looking at the wider scientific
interests of the two men and their attitudes to logic and the philosophy
of mathematics, we can come to a better understanding of their divergent