Second Conference on the Epistemology of the Exact Sciences
The Second Conference on the Epistemology of the Exact Sciences 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.
The conference was organised by Kurt Reidemeister of the University of Königsberg. The presentations were grouped around two themes: firstly, the foundation of mathematics and secondly philosophical questions arising from Quantum mechanics. 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 foundation of mathematicsEdit
- Rudolph Carnap, Vienna presented the thought of the Mathematical logic school as developed by Bertrand Russell
- Arend Heyting, (Enschede) presented the thought of the Intuitionist school as developed by L. E. J. Brouwer
- John von Neumann, (Berlin) presented the thought of the formalist school as developed by David Hilbert
- Friedrich Waismann, (Vienna) presented the thought of the linguistic school as developed by Ludwig Wittgenstein
- Kurt Gödel, (Vienna) "On the Completeness of the Logical Calculus"
- Arnold Scholz, (Freiburg) "On the Use of the Term Holism in Axiomatics"
Discussion on the foundation of mathematics involving Hans Hahn, Carnap, Heyting, von Neumann, Gödel, Scholz and Reidemeister
Philosophical questions arising from quantum mechanicsEdit
There were two key presentations.
- Hans Reichenbach, Berlin, presented on the supercession of two-value logic by probability logic
- Werner Heisenberg, Leipzig, presented on the meaninglessness of strict assertions about natural phenomena at the micro level.
Discussion on Causality and Quantum Mechanics involving Gerhard Herzberg, Heisenberg, Phillip Frank, Maria Goeppert Mayer, Steinhausen[disambiguation needed], Georg Hamel, von Neumann, Kurt Grelling, Reichenbach.