Andrea Pedeferri

Andrea Pedeferri

Si è addottorato presso l'Università degli Studi di Milano in logica. E' stato Fulbright Visiting Scholar presso la Columbia University di New York, Visiting Student presso l'Università di St. Andrews ed è attualmente Visiting Researcher presso la George Washington University. Le sue aree di ricerca sono: logica, storia della logica e filosofia della matematica. Attualmente lavora sui problemi legati alla logica del secondo ordine e al pluralismo logico.

Boole, George

Abstract George Boole was an English mathematician who can be considered one of the founders of modern logic. Boole applied algebraic methods to logic, thereby creating a language that allows the construction of algorithms applicable to an infinite generality of…

Leggi tutto Boole, George