George Boole

Matemático británico (Lincoln, 1815 – Cork, 1864).
Hijo de un comerciante poco instruido, a los dieciséis años fue maestro asistente en la Escuela Privada de Doncaster y en 1849, profesor de matemáticas en el Queen's College.
Contribuyó notablemente al nacimiento de la lógica matemática y se lo considera pionero del tratamiento simbólico de la lógica. Su principal idea consistía en poner en lenguaje algebraico las operaciones de adición, multiplicación y negación lógicas, para lo cual inventa un cálculo algebraico que equivale esencialmente al cálculo proposicional.

El álgebra de Boole y la AI

Desarrollo un álgebra propia que aplicó a la lógica, siendo el iniciador formal de la lógica formal simbólica, que representa los procesos del razonamiento mediante símbolos matemáticos, conocida como álgebra de Boole. Ésta se aplicó en la conmutación telefónica y los computadores electrónicos. También trató de aplicar su álgebra al desarrollo de una lógica probabilística.
Su sistema reducía las proposiciones de la lógica aristotélica a meras ecuaciones elementales y sentó las bases de lo que mucho más tarde sería el software de inteligencia artificial (AI).

Obras destacadas

• Estudio de George Boole sobre un lenguaje universal: The Mathematical Analysis of Logic, El Análisis Matemático de la Lógica (1847).
• Investigación de las leyes del pensamiento (1854).
• Tratado sobre el cálculo de diferencias finitas (1860).

Ver también

En el glosario: Álgebra de Boole — Inteligencia artificial — Lógica — Razonamiento.

En biografías: Alfred North Whitehead — Andréi Kolmogórov — Augustus De Morgan — Gottlob Frege — Jan Łukasiewicz — John Venn — Kurt Gödel — Ludwig Wittgenstein — Rudolf Carnap.

🧾Listado completo de biografías

---