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 [parents] can help the children work out schedules for homework, play, and television that minimize the conflicts involved in what to do first. They can offer moral support and encouragement to persist, to try again, to struggle for understanding and mastery. And they can share a child’s pleasure in mastery and accomplishment. But they must not do the job for the children.
    Dorothy H. Cohen (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–?)

    Meanwhile, if the fear of falling into error sets up a mistrust of Science, which in the absence of such scruples gets on with the work itself, and actually cognizes something, it is hard to see why we should not turn round and mistrust this very mistrust.... What calls itself fear of error reveals itself rather as fear of the truth.
    Georg Wilhelm Friedrich Hegel (1770–1831)