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:

    And now my work is done, which neither the anger of
    Jove, nor fire, nor sword, nor the gnawing tooth of time
    shall ever be able to undo.... Wherever Rome’s power
    extends over the conquered world, I shall have mention
    on men’s lips.
    Ovid (Publius Ovidius Naso)

    Poetry, whose material is language, is perhaps the most human and least worldly of the arts, the one in which the end product remains closest to the thought that inspired it.... Of all things of thought, poetry is the closest to thought, and a poem is less a thing than any other work of art ...
    Hannah Arendt (1906–1975)

    There is absolutely no evidence—developmental or otherwise—to support separating twins in school as a general policy. . . . The best policy seems to be no policy at all, which means that each year, you and your children need to decide what will work best for you.
    Pamela Patrick Novotny (20th century)