-
Polimata,filosofo,logico y científico cuyas ideas han influido en la cultura mundial actualmente entre ellos el silogismo.
-
Creador de la lógica matemática, desarrolló la idea cálculos ratiocinator aplicando un sistema de reglas y procedimientos matemáticos esto es muy ligado a la computación debido a las secuencias lógicas algorítmicas.
-
Fundador de las ciencias de la computación fue el creador del algebra de Boole, padre de los operadores lógicos simbólicos y por medio de su algebra se opera de manera simbólica.
-
consiguió construir cálculos lógicos rigurosamente formalizados, que permitieron aplicar a los problemas lógicos los procedimientos matemáticos.
-
Sustenta el concepto de que las matemáticas puras se obtienen de premisas lógicas puras, de modo que los conceptos que las definen también son conceptos lógicos puros.
-
creador de la Automatic Digital Machine que por primera vez permitió realizar cálculos mecanizados mediante el empleo de algoritmos.
