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 Königsberg (, ) was the historic Prussian city that is now Kaliningrad, Russia. Königsberg was founded in 1255 on the site of the ancient Old Prussian settlement ''Twangste'' by the Teutonic Knights during the Northern Crusades, and was ...

, then located in

East Prussia East Prussia ; german: Ostpreißen, label= Low Prussian; pl, Prusy Wschodnie; lt, Rytų Prūsija was a province of the Kingdom of Prussia from 1773 to 1829 and again from 1878 (with the Kingdom itself being part of the German Empire from 187 ...

. It was at this conference that

Kurt Gödel Kurt Friedrich Gödel ( , ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an imm ...

first presented his incompleteness theorems, though just "in an off-hand remark during a general discussion on the last day".Mancosu, Paolo "Between Vienna and Berlin: The immediate reception of Gödel's incompleteness theorems", History and Philosophy of Logic, 20, 1999, 33-45. The real first presentation took place in Vienna. The conference was organised by

Kurt Reidemeister Kurt Werner Friedrich Reidemeister (13 October 1893 – 8 July 1971) was a mathematician born in Braunschweig (Brunswick), Germany. Life He was a brother of Marie Neurath. Beginning in 1912, he studied in Freiburg, Munich, Marburg, and G� ...

of the

University of Königsberg The University of Königsberg (german: Albertus-Universität Königsberg) was the university of Königsberg in East Prussia. It was founded in 1544 as the world's second Protestant academy (after the University of Marburg) by Duke Albert of Pruss ...

. 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 ''Erkenntnis'' is a journal of philosophy that publishes papers in analytic philosophy. Its name is derived from the German word " Erkenntnis", meaning "knowledge, recognition". The journal was also linked to organisation of conferences, such as th ...

'' who published the associated papers and accounts of the discussion in ''Erkenntnis'' (1931), 2 pp 87-190.

The foundation of mathematics

The presentations as regards the foundation of mathematics were as follows: Session 1: *

Rudolf Carnap Rudolf Carnap (; ; 18 May 1891 – 14 September 1970) was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism. ...

(

Vienna en, Viennese , iso_code = AT-9 , registration_plate = W , postal_code_type = Postal code , postal_code = , timezone = CET , utc_offset = +1 , timezone_DST ...

), presented the thought of the

logicist In the philosophy of mathematics, logicism is a programme comprising one or more of the theses that — for some coherent meaning of 'logic' — mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or all ...

school as developed by

Bertrand Russell Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British mathematician, philosopher, logician, and public intellectual. He had a considerable influence on mathematics, logic, set theory, linguistics, a ...

Arend Heyting __NOTOC__ Arend Heyting (; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. Biography Heyting was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a ...

(

Enschede Enschede (; known as in the local Twents dialect) is a municipality and city in the eastern Netherlands in the province of Overijssel and in the Twente region. The eastern parts of the urban area reaches the border of the German city of Gronau ...

), presented the thought of the intuitionist school as developed by L. E. J. Brouwer *

John von Neumann John von Neumann (; hu, Neumann János Lajos, ; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, computer scientist, engineer and polymath. He was regarded as having perhaps the widest c ...

(

Berlin Berlin ( , ) is the capital and largest city of Germany by both area and population. Its 3.7 million inhabitants make it the European Union's most populous city, according to population within city limits. One of Germany's sixteen constitu ...

), presented the thought of the formalist school as developed by

David Hilbert David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician, one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many ...

* Friedrich Waismann (Vienna), presented the thought of the

linguistic Linguistics is the scientific study of human language. It is called a scientific study because it entails a comprehensive, systematic, objective, and precise analysis of all aspects of language, particularly its nature and structure. Linguis ...

school as developed by

Ludwig Wittgenstein Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrian- British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language. He is consi ...

(Vienna), "On the Completeness of the Logical Calculus" *

Arnold Scholz Arnold Scholz (24 December 1904 in Berlin – 1 February 1942 in Flensburg) was a German mathematician who proved Scholz's reciprocity law and introduced the Scholz conjecture. Scholz participated in the Second Conference on the Epistemolo ...

(

Freiburg Freiburg im Breisgau (; abbreviated as Freiburg i. Br. or Freiburg i. B.; Low Alemannic: ''Friburg im Brisgau''), commonly referred to as Freiburg, is an independent city in Baden-Württemberg, Germany. With a population of about 230,000 (as o ...

), "On the Use of the Term Holism in Axiomatics" Session 2: *

Otto Neugebauer Otto Eduard Neugebauer (May 26, 1899 – February 19, 1990) was an Austrian-American mathematician and historian of science who became known for his research on the history of astronomy and the other exact sciences as they were practiced in anti ...

(

Göttingen Göttingen (, , ; nds, Chöttingen) is a university city in Lower Saxony, central Germany, the capital of the eponymous district. The River Leine runs through it. At the end of 2019, the population was 118,911. General information The ori ...

), "On Pre-Greek Mathematics" Session 3: Discussion on the foundation of mathematics involving Hans Hahn, Carnap, Heyting, von Neumann, Gödel, Scholz and Reidemeister

Philosophical questions arising from quantum mechanics

There were two key presentations. Session 4: *

Hans Reichenbach Hans Reichenbach (September 26, 1891 – April 9, 1953) was a leading philosopher of science, educator, and proponent of logical empiricism. He was influential in the areas of science, education, and of logical empiricism. He founded the ''Ges ...

(Berlin), presented on the supersession of two-value logic by probability logic *

Werner Heisenberg Werner Karl Heisenberg () (5 December 1901 – 1 February 1976) was a German theoretical physicist and one of the main pioneers of the theory of quantum mechanics. He published his work in 1925 in a Über quantentheoretische Umdeutung kinematis ...

(

Leipzig Leipzig ( , ; Upper Saxon: ) is the most populous city in the German state of Saxony. Leipzig's population of 605,407 inhabitants (1.1 million in the larger urban zone) as of 2021 places the city as Germany's eighth most populous, as ...

), presented on the meaninglessness of strict assertions about natural phenomena at the micro level. Session 5: Discussion on Causality and Quantum Mechanics involving Gerhard Herzberg, Heisenberg, Phillip Frank, Maria Goeppert Mayer, ,

Georg Hamel Georg Karl Wilhelm Hamel (12 September 1877 – 4 October 1954) was a German mathematician with interests in mechanics, the foundations of mathematics and function theory. Biography Hamel was born in Düren, Rhenish Prussia. He studied at A ...

, von Neumann,

Kurt Grelling Kurt Grelling (2 March 1886 – September 1942) was a German logician and philosopher, member of the Berlin Circle. Life and work Kurt Grelling was born on 2 March 1886 in Berlin. His father, the Doctor of Jurisprudence Richard Grelling, ...

, Reichenbach.

References

{{reflist Vienna Circle

The foundation of mathematics

Philosophical questions arising from quantum mechanics

See also

References