Kurt Gödel, von Neumann, and Theoretical Computer Science

Description: 
A talk given at the 75th anniversary of the School of Mathematics at the IAS.

Date: 
2005-03-11