Gödel's Incompleteness Theorems in the Light of his Shorthand Notebooks

Jan von Plato (University of Helsinki)

Abstract: Gödel's shorthand notebooks show how his incompleteness theorem emerged in the summer and fall of 1930. A crucial turning point in the formulation and proof of the theorem took place right after the famous Königsberg meeting where Gödel told about the result to von Neumann. The talk will document these developments through the original sources.


Last modified: Mon Feb 4 19:37:32 CET 2019