In 1930, Johann von Neumann, together with Rudolf Carnap and Arend Heyting, participated in a conference held in Königsberg, called “Second Seminar on the Epistemology of Exact Sciences”. The idea behind the reunion of these three researchers was to compose a fairly faithful picture of the three main foundational programs of mathematics at the time: formalism, logicism, and intuitionism. The main objective of this paper is to propose an analysis of the text “The Formalist Foundation of Mathematics” presented by von Neumann in this conference. We show how, from von Neumann's perspective, the problem of the consistency of mathematical theories results from the transformation of a genuinely philosophical question into a genuinely logical-mathematical question and how a proof of consistency could be seen as the solution to the foundational problem. In the final part of the text, we present some considerations about Gerhard Gentzen’s consistency proofs and their importance to contemporary proof theory.
Keywords Gentzen  Hilbert  demostración de consistencia  formalismo  von Neumann
Categories No categories specified
(categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,219
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Collected Papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam: North-Holland Pub. Co..
Die Widerspruchsfreiheit der Reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Sobre o significado do formalismo jurídico de Kant.Alexandre Hahn - 2015 - Revista de Filosofia Moderna E Contemporânea 2 (2):34-48.
Formalismo giuridico e formalismo etico.N. Bobbio - 1954 - Rivista di Filosofia 45 (3):255.
Behemoth o la Ilustración devastada. Reconsiderando a Franz Neumann.Pablo Álvarez - 2010 - Daimon: Revista Internacional de Filosofía:207-214.
Abel, Theodore, Why Hitler Came Into Power.Neumann Neumann - 1939 - Studies in Philosophy and Social Science 8:275.
Forma del diritto e formalismo giuridico: a proposito di una Filosofia della forma.Abelardo Rivera Llano - 2010 - Rivista Internazionale di Filosofia Del Diritto 87 (2):271-277.
Johann Arnold Kanne.Erich Neumann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:73-73.
La fundamentación formalista de la matemática.Johann von Neumann - 2020 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 10 (2):79--82.
Reise ins Reich der Unvernunft: Aufgeklärtes Amüsement bei Johann Christoph Adelung.Hanns-Peter Neumann - 2006 - In Sebastian Lalla, Anja Hallacker & Günter Frank (eds.), Erzählende Vernunft. Akademie Verlag. pp. 61-74.
John von Neumann, Scientific Method and Empirical Economics.Salim Rashid - 1994 - Journal of Economic Methodology 1 (2):279-294.
That Von Neumann Did Not Believe in a Physical Collapse.Lon Becker - 2004 - British Journal for the Philosophy of Science 55 (1):121-135.


Added to PP index

Total views
5 ( #1,170,694 of 2,448,389 )

Recent downloads (6 months)
1 ( #450,223 of 2,448,389 )

How can I increase my downloads?


My notes