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.