Gerhard Gentzen - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Aphex Année : 2016

Gerhard Gentzen

Résumé

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.

Domaines

Philosophie
Fichier principal
Vignette du fichier
aphex gentzen.pdf (406.94 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01358730 , version 1 (05-10-2016)

Identifiants

  • HAL Id : hal-01358730 , version 1

Citer

Francesca Poggiolesi. Gerhard Gentzen. Aphex, 2016, 14, pp.1-45. ⟨hal-01358730⟩
150 Consultations
487 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More