nLab Gerhard Gentzen

• Wikipedia entry

Related pages

• natural deduction

• sequent calculus

• Paul Hertz

• David Hilbert

• formalism

References

Introducing proof theory via natural deduction and sequent calculus:

• Gerhard Gentzen, Untersuchungen über das logische Schließen I Mathematische Zeitschrift 39 1 (1935) [doi:10.1007/BF01201353]

which appeared in English translation as:

• Gerhard Gentzen, Investigations into Logical Deduction, in M. E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, Studies in Logic and the Foundations of Mathematics 55, Springer (1969) 68-131 [ISBN:978-0-444-53419-4, pdf]

See also:

• Gerhard Gentzen, Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen, Math. Ann. 107 (1933) pp. 329-350. (gdz)

category: people