Gerhard Gentzen (1909-1945)

Country :Allemagne
Language :allemand
Gender :masculin
Birth :24-11-1909
Death :04-08-1945
Note :Mathématicien. - Professeur à l'Université de Prague (1942-1945)
ISNI :ISNI 0000 0000 5512 1572

Occupations

Auteur du texte3 documents

  • The Collected papers

    Material description : 23 cm, XII-338 p
    Note : Note : Studies in logic and the foundations of mathematics. _ Bibliogr. pp. 312-317. Index
    Edition : Amsterdam, London, North-Holland publishing C ° , 1969

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb35394045c]
  • Recherches sur la déduction logique

    Material description : XII-171 p.
    Edition : Paris : Presses universitaires de France , 1955
    Traducteur : Jean Ladrière (1921-2007)

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb32156792q]
  • Die Widerspruchsfreiheit der reinen Zahlentheorie

    Material description : 1 vol. (73 p.)
    Note : Note : Tiré à part de la collection "Libelli"
    Edition : Darmstadt : Wissenschaftliche Buchgesellschaft , [1967]
    Donateur : Nina Kousnetzoff

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb42755509p]

Documents about this author

Documents about the author Gerhard Gentzen (1909-1945)

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

Sources and references

Sources

  • The collected papers / of Gerhard Gentzen : edited by M. E. Szabo, 1969
  • Dict. of scient. biogr.

Wikipedia Biography

  • Gerhard Gentzen (24 novembre 1909 à Greifswald - 4 août 1945 à Prague) est un mathématicien et logicien allemand. Son œuvre est fondamentale en théorie de la démonstration. Il fut l’un des étudiants de Weyl à l'université de Göttingen de 1929 à 1933, il est mort dans un camp de prisonniers de guerre en 1945, après avoir été arrêté par les soviets à cause de ses loyautés nazies.

Closely matched pages