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.
Citazione
Francesca Poggiolesi, “Gerhard Gentzen”, in “APhEx 14”, 2016, pp. 22.
Numero della rivista
Visualizza e scarica il file PDF
Vai agli indici
AUTORI&AUTRICI
È una CNRS Senior Researcher che lavora presso l'Università di Paris 1 Panthéon-Sorbonne, l'ENS e l'IHPST di Parigi. Dopo aver lavorato per lungo tempo sulla teoria dell dimostrazione per la logica modale e le sue estensioni, da qualche anno si occupa della nozione di grounding nei suoi aspetti più formali.