George Boole

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.