Gerhard Gentzen

MaRDI QIDQ6481809zbMATH OpenDBLPFactGridWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 495969 (Why is no real title available?)	1994-07-12	Paper
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik Archiv für Mathematische Logik und Grundlagenforschung	1974-01-01	Paper
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie Archiv für Mathematische Logik und Grundlagenforschung	1974-01-01	Paper
scientific article; zbMATH DE number 3271491 (Why is no real title available?)	1967-01-01	Paper
Zusammenfassung von Mehreren Vollständigen Induktionen zu einer Einzigen Archiv für Mathematische Logik und Grundlagenforschung	1954-01-01	Paper
Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie Mathematische Annalen	1943-01-01	Paper
scientific article; zbMATH DE number 3030933 (Why is no real title available?)	1938-01-01	Paper
scientific article; zbMATH DE number 3030932 (Why is no real title available?)	1938-01-01	Paper
Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie.	1938-01-01	Paper
scientific article; zbMATH DE number 3030417 (Why is no real title available?)	1938-01-01	Paper
Die gegenwärtige Lage in der mathematischen Grundlagenforschung.	1938-01-01	Paper
Die gegenwärtige Lage in der mathematischen Grundlagenforschung. Deutsche Mathematik	1938-01-01	Paper
Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik.	1937-01-01	Paper
Der Unendlichkeitsbegriff in der Mathematik. Semesterberichte zur Pflege des Zusammenhangs von Universität und Schule aus den Mathematischen Seminaren	1937-01-01	Paper
The consistency of arithmetics Mathematische Annalen	1936-01-01	Paper
Die Widerspruchsfreiheit der Stufenlogik Mathematische Zeitschrift	1936-01-01	Paper
Die Widerspruchsfreiheit der Stufenlogik. Mathematische Zeitschrift	1936-01-01	Paper
The consistency of arithmetics Mathematische Annalen	1936-01-01	Paper
Untersuchungen über das logische Schliessen. I Mathematische Zeitschrift	1934-01-01	Paper
Untersuchungen über das logische Schliessen. II Mathematische Zeitschrift	1934-01-01	Paper
Untersuchungen über das logische Schließen. I. Mathematische Zeitschrift	1934-01-01	Paper
Untersuchungen über das logische Schließen. II. Mathematische Zeitschrift	1934-01-01	Paper
Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen. Mathematische Annalen	1932-01-01	Paper
Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen Mathematische Annalen	1932-01-01	Paper

Research outcomes over time

This page was built for person: Gerhard Gentzen