Aquí también estamos

Glosario actualizado el

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).