start | find | index | login or register | edit
Gerhard Gentzen
by earl, 5330 days ago
Influential German mathematician and logician who created the foundation for sequent calculi (also known as "Gentzen systems") in his paper "Investigations into Logical Deduction" (1934, available in e.g. Szabo 1969).

Gentzen's original sequent calculus (nowadays usually known as LK) is an important deduction system for First Order Logic and [create Propositional Logic].

- http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Gentzen.html

M. E. Szabo (ed.), 1969, "Collected Papers of Gerhard Gentzen, Studies in Logic", Amsterdam.
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 6827 days • c'est un vanilla site