Gödel's imcompleteness theorems in the light of his shorthand notebooks

27.02.2019 | 13:30 s.t.

Kolloquiumsvortrag Jan von Plato, Universität Helsinki

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.

Zeit & Ort

27.02.2019 | 13:30 s.t.

Takustr. 9, SR006