- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Die Widerspruchsfreiheit der reinen Zahlentheorie
Journal of Symbolic Logic 1 (2):75-75 (1936)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Review: Gerhard Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):75-75.
Gentzen Gerhard. Die Widerspruchsfreiheit der reinen Zahlentheorie, Mathematische Annalen, vol. 112 , pp. 493–565.Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):75-75.
Extensions of the Finitist Point of View.Matthias Schirn & Karl-Georg Niebergall - 2001 - History and Philosophy of Logic 22 (3):135-161.
Review: Gerhard Gentzen, Die Widerspruchsfreiheit der Stufenlogik. [REVIEW]Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):119-119.
Gentzen Gerhard. Beweisbarkeit und Unbeweisbarkeil von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Mathematische Annalen, vol. 119 no. 1 , pp. 140–161. [REVIEW]Paul Bernays - 1944 - Journal of Symbolic Logic 9 (3):70-72.
Review: Gerhard Gentzen, Neue Fassung des Widerspruchsfreiheitsbeweises fur die reine Zahlentheorie. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
Zur Widerspruchsfreiheit der Zahlentheorie.Wilhelm Ackermann - 1940 - Journal of Symbolic Logic 5 (3):125-127.
Gentzen Gerhard. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, neue Folge, Heft 4, S. 19–44. S. Hirzel, Leipzig 1938. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
Das Interpretationsproblem der Formalisierten Zahlentheorie und ihre Formale Widerspruchsfreiheit.Erik Stenius - 1953 - Journal of Symbolic Logic 18 (3):262-263.
Review: Gerhard Gentzen, Die Gegenwartige Lage in der Mathematischen Grundlagenforschung. [REVIEW]Rózsa Péter - 1938 - Journal of Symbolic Logic 3 (4):166-167.
Analytics
Added to PP
2015-02-05
Downloads
38 (#116,676)
6 months
7 (#1,397,300)
2015-02-05
Downloads
38 (#116,676)
6 months
7 (#1,397,300)
Historical graph of downloads
Citations of this work
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
What is wrong with classical negation?Nils Kürbis - 2015 - Grazer Philosophische Studien 92 (1):51-86.
Theories of truth and the maxim of minimal mutilation.Ole Thomassen Hjortland - 2017 - Synthese 199 (Suppl 3):787-818.
Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-ktvwr uwo