Conocido como el padre de la lógica y él postuló Las Leyes del Pensamiento.

Importantes contribuciones al poderoso esfuerzo iniciado por Aristóteles. Fue el primero en describir el sistema numérico binario.

Se le atribuye la frase “la ciencia es un lenguaje bien hecho y para aprenderla se debe aprender nuestra lengua nativa.

Introdujo el termino conjunto, en la forma alemana “menge”.

Luego de 22 siglos, Boole demostró que las leyes del pensamiento de Aristóteles podían expresarse en forma matemática y lo hizo con su Álgebra booleana.

Realizó múltiples aportes a la matemática, y uno de los más importantes fue la postulación de los axiomas de la Aritmética Formal.

Algunos de los desafíos consistían en demostrar la completitud y la consistencia de la aritmética, base de las matemáticas.

Padre de la mecánica cuántica, rama de la física que estudia la naturaleza a pequeñas escalas espaciales.

En su trabajo “Sobre un punto de vista heurístico concerniente a la producción y transformación de la luz”, le da un sentido físico a lo expuesto por Planck.

Sistematizó y desarrolló los aportes de distintos autores a la lógica. Además, describió el trabajo de Boole, como en el que fueron descubiertas las matemáticas puras.

Demostró que en todo sistema formal hay un enunciado que no puede demostrarse a pesar de aparentar ser verdad y, que si la Aritmética es consistente ésta no puede demostrarse dentro del mismo sistema.

Precursor de las redes neuronales y del campo de la Inteligencia Artificial.

Demostró que las redes eléctricas pueden ser descritas mediante las leyes del álgebra booleana.

John Bardeen (1908-1991)
William Shockley (1910-1989)
Walter Bra􀆩ain (1902-1987)

Desarrolló junto a su grupo de investigación un sistema educacional-lógico-psicológico de clasificación de los objetivos de la educación.

Descubridor de un nuevo paradigma Aritmético siglo XXI, que coloca el algebra de Boole como una extensión de la aritmética, y a su vez resuelve la situación problémica que propuso Aristóteles en el siglo IV a.C., sobre la posibilidad de describir las leyes del pensamiento haciendo uso del lenguaje aritmético.