Gerhard Gentzen

Francesca Poggiolesi (1)

1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

Gerhard Gentzen (1909-1945) `e uno dei pi`u illustri protagonisti della logica matematica e una delle pi`u grandi figure del pensiero del novecento. Padre dei famosi 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`u importanti, dedicando un’attenzione particolare alla loro rilevanza filosofica.

Mots clés: Calcul de déduction naturelle; calcul des séquents; consistence

Domaines: Philosophie

Francesca Poggiolesi. Gerhard Gentzen. Aphex, 2016, 14, pp.1-45. ⟨hal-01358730⟩