logica
Alan Turing
Matematico, considerato uno dei padri dell'informatica e dell'intelligenza aritificiale, contribuì alla sconfitta di Hitler.
Alessandro Padoa
A lui si deve la dimostrazione dell’indipendenza degli assiomi di Peano per l’aritmetica e la scoperta di un importante principio della teoria delle definizioni, che ancor oggi porta il suo nome.
Annibale Valentino Pastore
Filosofo della scienza e logico sperimentale, ricoprì la cattedra di Filosofia teoretica nell’Università di Torino dal 1914 al 1939.
Beppo Levi
La produzione scientifica di Beppo Levi tocca i settori della logica, della geometria algebrica e dell’analisi.
Cesare Burali-Forti
Importante matematico, compì studi che spaziano dalla logica al calcolo vettoriale, dalla geometria differenziale all'astronomia e alla balistica.
Giovanni Vacca
I principali contributi scientifici di questo matematico riguardano la storia e la filosofia della matematica e delle scienze, la fisica sperimentale, la mineralogia.
Giovanni Vailati
Uno dei maggiori esponenti del pragmatismo italiano. Le sue ricerche spaziano dalla filosofia alla logica matematica, dalla storia delle scienze all’economia politica.
Giuseppe Peano
Matematico, autore di diverse opere, in vari settori, lasciando in ognuna un'impronta originale e profonda.
Ludovico Geymonat
Filosofo, matematico e accademico, tra i più importanti del Novecento, artefice della rinascita della logica e della filosofia della scienza in Italia.