JvN2003@Greenwich:John von Neumann Centenary Meeting |
||
A joint meeting with the School of Computing and Mathematical Sciences, University of Greenwich and the Centre for the History of the Mathematical Sciences, Open University
University of Greenwich, Saturday 29th November 2003
|
||
Organisers: |
||
|
|
|
|
Martin Campbell-Kelly |
Jeremy Gray |
Tony Mann |
The programme for this two-day conference covered a variety of aspects of the history and use of proof. Issues addressed included early examples of proof in mathematics, developments in proof, famous problems and the search for proof, software correctness and proof in the school mathematics curriculum. |
||
|
||
Speakers |
||
 |
||
Ivor Grattan-Guiness, Tinne Hoff Kjeldsen , Norman Macrae, Bill Aspray |
||
Programme |
||
Saturday 29 November 2003 |
||
|
Bill Aspray (Indiana University, USA) John von Neumann and the Institute for Advanced Study Computer Project |
Tinne Hoff Kjeldsen (Roskilde University, Denmark) von Neumann's work on the minimax theorem in game theory |
 |
|
Norman Macrae (Deputy Editor of the Economist) What Jonny von Neumann thought you mathematicians should have achieved by now |
Ivor Grattan-Guinness (Middlesex) von Neumann's early work on set theory and proof theory, 1923-1931 |
 |
John Conway Unfortunately Prof. Conway was unable to attend the meeting. |
|
Photographs (c) David Anderson 2003 |
|
©