Padoa

Padoa

Padoa Alessandro (Venezia 1868 - Genova 1937) matematico e logico italiano. Interrotti gli studi di ingegneria a Padova, nel 1895 si laureò in matematica a Torino con una tesi di logica. Fece parte della cerchia di collaboratori di G. Peano impegnati nello studio dei fondamenti dell’aritmetica e nella definizione di una rigorosa logica simbolica, ma essendo allora la logica più di pertinenza della filosofia che della matematica, non ebbe incarichi universitari e insegnò matematica in un istituto tecnico di Genova. In teoria della definizione, è ricordato soprattutto per la elaborazione di un metodo che consente di decidere se, in una teoria formale, un nuovo termine primitivo è effettivamente indipendente da altri termini primitivi; con tale metodo dimostrò l’indipendenza degli assiomi di Peano. Nel 1932 ebbe la cattedra di logica matematica all’università di Genova.