Gerhard Gentzen

Available identifiers

zbMath Open gentzen.gerhardWikidataQ60502 ScholiaQ60502MaRDI QIDQ1353257

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4277628	1994-07-12	Paper
Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie	1974-01-01	Paper
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5556414	1967-01-01	Paper
Zusammenfassung von Mehreren Vollständigen Induktionen zu einer Einzigen	1954-01-01	Paper
Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie	1943-01-01	Paper
Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie.	1938-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5770220	1938-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5770685	1938-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5770686	1938-01-01	Paper
Die gegenwärtige Lage in der mathematischen Grundlagenforschung.	1938-01-01	Paper
Die gegenwärtige Lage in der mathematischen Grundlagenforschung.	1938-01-01	Paper
Der Unendlichkeitsbegriff in der Mathematik.	1937-01-01	Paper
Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik.	1937-01-01	Paper
Die Widerspruchsfreiheit der Stufenlogik.	1936-01-01	Paper
Die Widerspruchsfreiheit der Stufenlogik	1936-01-01	Paper
The consistency of arithmetics	1936-01-01	Paper
The consistency of arithmetics	1936-01-01	Paper
Untersuchungen über das logische Schliessen. I	1934-01-01	Paper
Untersuchungen über das logische Schliessen. II	1934-01-01	Paper
Untersuchungen über das logische Schließen. I.	1934-01-01	Paper
Untersuchungen über das logische Schließen. II.	1934-01-01	Paper
Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen.	1932-01-01	Paper
Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen	1932-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gerhard Gentzen