Gerhard Gentzen - Work

Work

  • "Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen". Mathematische Annalen 107 (2): 329–350. 1932. http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002275872.
  • "Untersuchungen über das logische Schließen. I". Mathematische Zeitschrift 39 (2): 176–210. 1934. http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375508.
  • "Untersuchungen über das logische Schließen. II". Mathematische Zeitschrift 39 (3): 405–431. 1935. http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375605.
  • Gentzen, Gerhard (1936). "Die Widerspruchsfreiheit der Stufenlogik". Mathematische Zeitschrift 41: 357–366. doi:10.1007/BF01180425. http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002376741.
  • Gentzen, Gerhard (1936). "Die Widerspruchsfreiheit der reinen Zahlentheorie". Mathematische Annalen 112: 493–565. doi:10.1007/BF01565428. http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002278391.
  • "Der Unendlichkeitsbegriff in der Mathematik. Vortrag, gehalten in Münster am 27. Juni 1936 am Institut von Heinrich Scholz". Semester-Berichte Münster: 65–80. 1936–1937. (Lecture hold in Münster at the institute of Heinrich Scholz on 27 June 1936)
  • "Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik". Actualités scientifiques et industrielles 535: 201–205. 1937.
  • "Die gegenwartige Lage in der mathematischen Grundlagenforschung". Deutsche Mathematik 3: 255–268. 1938.
  • "Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie". Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften 4: 19–44. 1938.
  • Gentzen, Gerhard (1943). "Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie". Mathematische Annalen 119: 140–161. doi:10.1007/BF01564760. http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002281287.

Read more about this topic:  Gerhard Gentzen

Famous quotes containing the word work:

    All who think cannot but see there is a sanction like that of religion which binds us in partnership in the serious work of the world.
    John Milton Hay (1838–1905)

    The writing career is not a romantic one. The writer’s life may be colorful, but his work itself is rather drab.
    Mary Roberts Rinehart (1876–1958)

    They that goe downe to ‘th sea in ships:
    Their busines there to doo
    In waters great. The Lords work see,
    I’th deep his wonders too.
    —Bible: Hebrew Psalm CVII (Bay Psalm Book)