Options
Gerhard Gentzen
Poggiolesi, Francesca
2016
Abstract
Gerhard Gentzen (1909-1945) is one of the most illustrious mathematical logicians and one of the great figures of the twentieth century. He is the father of the natural deduction calculi and sequent calculi and, thanks to his results, he has succeeded in surmounting (at least partially) the famous goedelian limitative results. This profile aims to describe and illustrate, in the clearest and simplest way, some of the most important Gentzen's contributions, dedicating a particular attention to their philosophical significance.
Journal
Publisher
EUT Edizioni Università di Trieste
Source
Francesca Poggiolesi, "Gerhard Gentzen", in "APhEx 14", 2016, pp. 22
Languages
it
File(s)