Andra konferensen om de exakta vetenskapernas epistemologi
Den andra konferensen om de exakta vetenskapernas epistemologi ( tyska : 2. Tagung für Erkenntnislehre der exakten Wissenschaften i Königsberg ) hölls den 5–7 september 1930 i Königsberg , då lokaliserat i Ostpreussen . Det var vid denna konferens som Kurt Gödel först presenterade sina ofullständighetsteorem , dock bara "i en off-hand anmärkning under en allmän diskussion den sista dagen". Den riktiga första presentationen ägde rum i Wien.
Konferensen arrangerades av Kurt Reidemeister från universitetet i Königsberg . Presentationerna var grupperade kring två teman: dels grunden för matematik och dels filosofiska frågor som härrör från kvantmekaniken. Konferensen var nära besläktad med tidskriften Erkenntnis som publicerade tillhörande artiklar och redogörelser för diskussionen i Erkenntnis (1931), 2 s 87-190.
Grunden för matematik
Presentationerna när det gäller matematikens grund var följande:
Session 1:
- Rudolf Carnap ( Wien ), presenterade tanken på logikerskolan som utvecklats av Bertrand Russell
- Arend Heyting ( Enschede ), presenterade tanken på den intuitionistiska skolan som utvecklats av LEJ Brouwer
- John von Neumann ( Berlin ), presenterade tanken på den formalistiska skolan som utvecklats av David Hilbert
- Friedrich Waismann (Wien), presenterade tanken på den språkliga skolan som utvecklats av Ludwig Wittgenstein
- Kurt Gödel (Wien), "Om den logiska kalkylens fullständighet"
- Arnold Scholz ( Freiburg ), "Om användningen av termen holism i axiomatik"
Session 2:
- Otto Neugebauer ( Göttingen ), "Om förgrekisk matematik"
Session 3:
Diskussion om matematikens grund med Hans Hahn , Carnap, Heyting, von Neumann, Gödel, Scholz och Reidemeister
Filosofiska frågor som härrör från kvantmekaniken
Det var två nyckelpresentationer.
Session 4:
- Hans Reichenbach (Berlin), presenterad om ersättningen av tvåvärdeslogik med sannolikhetslogik
- Werner Heisenberg ( Leipzig ), presenterade meningslösheten i strikta påståenden om naturfenomen på mikronivå.
Session 5: Diskussion om kausalitet och kvantmekanik som involverar Gerhard Herzberg , Heisenberg , Phillip Frank , Maria Goeppert Mayer , Georg Steinhausen Georg Hamel , von Neumann, Kurt Grelling , Reichenbach .