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:

    “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)

    “The gold-digger is the enemy of the honest laborer, whatever checks and compensations there may be. It is not enough to tell me that you worked hard to get your gold. So does the Devil work hard. The way of transgressors may be hard in many respects.”
    —Henry David Thoreau (1817–1862)

    “The true finish is the work of time, and the use to which a thing is put. The elements are still polishing the pyramids.”
    —Henry David Thoreau (1817–1862)