Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/30126
Title: Gerhard Gentzen
Authors: Poggiolesi, Francesca
Keywords: ConsistencyNatural deduction calculusSequent calculusCalcolo di deduzione naturaleCalcolo delle sequenzeConsistenza
Issue Date: 2016
Publisher: EUT Edizioni Università di Trieste
Source: Francesca Poggiolesi, "Gerhard Gentzen", in "APhEx 14", 2016, pp. 22
Journal: APhEx 
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.

Gerhard Gentzen (1909-1945) è uno dei più illustri protagonisti della logica matematica e una delle più grandi figure del pensiero del novecento. Padre dei calcoli di deduzione naturale e delle sequenze, grazie ai suoi risultati ha saputo, almeno in parte, superare i famosi teoremi limitativi goedeliani. Il presente profilo si propone di ripercorrere e illustrare, in maniera semplice e chiara, alcuni fra i suoi contributi più importanti, dedicando un'attenzione particolare alla loro rilevanza filosofica.
Type: Article
URI: http://hdl.handle.net/10077/30126
ISSN: 2036-9972
Appears in Collections:14 APhEx num 14, anno 2016

Files in This Item:
File Description SizeFormat
APhEx_14_2016_Poggiolesi.pdf393.07 kBAdobe PDFThumbnail
View/Open
Show full item record


CORE Recommender

Page view(s)

22
checked on Oct 20, 2020

Download(s)

7
checked on Oct 20, 2020

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons