Gentzen, Gerhard

Dates of Life
1909 – 1945
Place of birth
Greifswald
Place of death
Prag
Occupation
Mathematiker
Religious Denomination
evangelisch
Authority Data
GND: 117710458 | OGND | VIAF: 22269649
Alternate Names
  • Gentzen, Gerhard Karl Erich
  • Gentzen, Gerhard
  • Gentzen, Gerhard Karl Erich
  • more

Objekt/Werk(nachweise)

Porträt(nachweise)

Relations

Outbound Links from this Person

Genealogical Section (NDB)

Inbound Links to this Person

The links to other persons were taken from the printed Index of NDB and ADB and additionally extracted by computational analysis and identification. The articles are linked in full-text version where possible. Otherwise the digital image is linked instead.

Places

Map Icons
Marker Geburtsort Place of birth
Marker Wirkungsort Place of activity
Marker Sterbeort Place of death
Marker Begräbnisort Place of interment

Localized places could be overlay each other depending on the zoo m level. In this case the shadow of the symbol is darker and the individual place symbols will fold up by clicking upon. A click on an individual place symbol opens a popup providing a link to search for other references to this place in the database.

Citation

Gentzen, Gerhard, Index entry in: Deutsche Biographie, https://www.deutsche-biographie.de/pnd117710458.html [25.04.2024].

CC0

Gentz, Johann Christian Genzmer.

  • Genealogy

    V Johannes (1870–1919), Rechtsanwalt u. Notar, S d. Wilhelm (1839–1919), Gymnasialprof. (Math.), u. d. Agnes Eisert;
    M Melanie (* 1873), T d. →Alfons Bilharz († 1925), Arzt u. Philosoph (s. NDB II);
    Groß-Om →Theodor B. († 1862), Arzt, Anatom (s. NDB II); ledig.

  • Biographical Presentation

    G. promovierte 1933 in Göttingen, war einige Jahre Assistent bei D. Hilbert und kam nach 2jährigem Kriegsdienst im Herbst 1943 als Dozent der Mathematik an die Deutsche Universität in Prag, wo er bei Kriegsende in Gefangenschaft geriet und nach 3monatiger Inhaftierung an Erschöpfung starb. Seine wissenschaftlichen Ergebnisse haben eine zentrale Bedeutung für die formale Logik und mathematische Grundlagenforschung gewonnen, insbesondere sein Hauptsatz der Prädikatenlogik und sein Widerspruchsfreiheitsbeweis für die reine Zahlentheorie. Dieser Beweis ergab einen wesentlichen Fortschritt für das Hilbertsche Programm zur Grundlegung der Mathematik.

  • Works

    Über d. Existenz unabhängiger Axiomensysteme zu unendl. Satzsystemen, in: Math. Ann. 107, 1932, S. 329-50;
    Die Widerspruchsfreiheit d. reinen Zahlentheorie, ebd. 112, 1936, S. 493-565;
    Beweisbarkeit u. Unbeweisbarkeit v. Anfangsfällen d. transfiniten Induktion in d. reinen Zahlentheorie, ebd. 119, 1943, S. 140-61;
    Unterss. üb. d. log. Schließen, in: Math. Zs. 39, 1934, S. 176-210, 405-31;
    Die Widerspruchsfreiheit d. Stufenlogik, ebd. 41, 1936, S. 357-66;
    Die gegenwärtige Lage in d. math. Grundlagenforschung, in: Forschungen z. Logik u. z. Grundlegung d. exakten Wiss., NF 4, 1938, S. 5-18;
    Neue Fassung d. Widerspruchsfreiheitsbeweises f. d. reine Zahlentheorie, ebd., S. 19-44.

  • Literature

    L Heinr. Scholz, Der Pariser Descartes-Kongreß, in: Köln. Ztg. v. 5.9.1937, Kulturbeil. 35;
    Pogg. VII a.

  • Author

    Kurt Schütte

  • Citation

    Schütte, Kurt, "Gentzen, Gerhard" in: Neue Deutsche Biographie 6 (1964), S. 194-195 [online version]; URL: https://www.deutsche-biographie.de/pnd117710458.html#ndbcontent

    CC-BY-NC-SA