The Second Conference on the Epistemology of the Exact Sciences (German: 2. Tagung für Erkenntnislehre der exakten Wissenschaften in Königsberg) was held on 5–7 September 1930 in Königsberg, then located in East Prussia. It was at this conference that Kurt Gödel first presented his incompleteness theorems, though just "in an off-hand remark during a general discussion on the last day".[1] The real first presentation took place in Vienna.[2]
The conference was organised by Kurt Reidemeister of the University of Königsberg.[2] The presentations were grouped around two themes: firstly, the foundation of mathematics and secondly philosophical questions arising from Quantum mechanics.[3] The conference was closely related to the journal Erkenntnis who published the associated papers and accounts of the discussion in Erkenntnis (1931), 2 pp 87-190.
The presentations as regards the foundation of mathematics were as follows:[3]
Session 1:
Session 2:
Session 3:
Discussion on the foundation of mathematics involving Hans Hahn, Carnap, Heyting, von Neumann, Gödel, Scholz and Reidemeister
There were two key presentations.[3]
Session 4:
Session 5:Discussion on Causality and Quantum Mechanics involving Gerhard Herzberg, Heisenberg, Phillip Frank, Maria Goeppert Mayer,, Georg Hamel, von Neumann, Kurt Grelling, Reichenbach.