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 arguments. This advance overcame the traditional Aristotelian approach and laid the grounds for the birth of modern logic and its subsequent developments. The particular type of algebra developed by Boole constituted the fundamental basis for the development of computer science and calculators.
George Boole fu un matematico inglese che può essere considerato uno dei fondatori della logica moderna. Boole trasferì i metodi della ricerca algebrica alla logica creando in questo modo un linguaggio attraverso il quale costruire algoritmi applicabili a una generalità infinita di argomenti. Questo passo permise di superare l’impostazione tradizionale aristotelica e aprì le porte alla nascita della logica moderna e delle sue successive diramazioni. Il particolare tipo di algebra sviluppato da Boole sarà poi fondamentale come base per lo sviluppo dell’informatica e dei calcolatori.
Citazione
Andrea Pedeferri, “George Boole”, in “APhEx 2”, 2010, pp. 15.
Numero della rivista
Visualizza e scarica il file PDF
Vai agli indici
AUTORI&AUTRICI
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.