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:

    “Juggling produces both practical and psychological benefits.... A woman’s involvement in one role can enhance her functioning in another. Being a wife can make it easier to work outside the home. Being a mother can facilitate the activities and foster the skills of the efficient wife or of the effective worker. And employment outside the home can contribute in substantial, practical ways to how one works within the home, as a spouse and as a parent.”
    —Faye J. Crosby (20th century)

    “If men had to do their vile work without the assistance of woman and the stimulant of strong drink they would be obliged to be more divine and less brutal.”
    —Caroline Nichols Churchill (1833–?)

    “I long to be out in the sun with no work to be done.”
    —Irving Berlin (1888–1989)