George Boole

Una de las obras fundacionales de la lógica matemática, en la que Boole desarrolla un sistema algebraico para el tratamiento de las proposiciones lógicas, sentando las bases para la lógica booleana moderna.

La obra maestra de Boole que expande su sistema de lógica matemática, sentando las bases del álgebra booleana y explorando sus aplicaciones a la probabilidad. Se propone descubrir las leyes fundamentales de las operaciones de la mente humana que rigen el razonamiento.

Una obra fundacional que introduce un sistema algebraico para el análisis lógico, sentando las bases de la lógica moderna y la computación.

Obra fundacional que establece los principios del álgebra booleana y la lógica simbólica, sentando las bases para la informática moderna al formalizar las operaciones lógicas mediante símbolos matemáticos.

Este ensayo postula que los principios de la evolución natural pueden modelarse y comprenderse a través de estructuras lógicas y matemáticas, sugiriendo una interconexión profunda entre la biología y los sistemas formales.

Considerada una de las primeras obras en formalizar la lógica y la probabilidad con un enfoque algebraico, sentando las bases para el álgebra de Boole y su aplicación en la teoría de la probabilidad.

Boole sienta las bases de la lógica simbólica y el álgebra booleana, crucial para el desarrollo de la computación y la teoría de la información.

Boole sienta las bases de la lógica simbólica y la algebrización del pensamiento, demostrando cómo las operaciones lógicas pueden ser representadas matemáticamente. Este trabajo es fundamental para el desarrollo posterior de la computación.

Aunque más conocido por su lógica matemática, esta es una colección de escritos de Boole que exploran sus ideas sobre la relación entre el pensamiento humano, el lenguaje y las leyes de la lógica, sentando las bases para el álgebra booleana y la teoría de conjuntos moderna.

Obra fundacional que introduce el álgebra booleana, un sistema lógico que forma la base de toda la computación digital moderna y el diseño de circuitos.

Este tratado de George Boole explora los fundamentos y aplicaciones del cálculo de diferencias finitas, ofreciendo un enfoque matemático para resolver problemas relacionados con series y funciones discretas.