George boole

Definición - ¿Qué significa George Boole?

George Boole (1815-1864) fue un lógico, matemático y educador inglés. Comenzó como maestro de escuela en Inglaterra y se convirtió en profesor de matemáticas en la Queen's University, Cork, Irlanda. Produjo dos obras importantes en lógica, a saber, "El análisis matemático de la lógica" (1847) y "Las leyes del pensamiento" (1854).

Inventó el álgebra de Boole, que amplió la relación entre la lógica y las matemáticas. Más tarde se convirtió en la base para verificar la validez de las proposiciones lógicas, hecho con la ayuda de un carácter binario de dos valores: verdadero o falso. Por sus enormes contribuciones a la informática, especialmente en la lógica informática digital, se considera a Boole el "padre de la era de la información".

Techinfo explica a George Boole

Un niño prodigio en gran parte autodidacta, Boole nunca asistió a la universidad. Se vio obligado a dejar la escuela a los 16 años después del colapso del negocio de zapatos de su padre. Ese mismo año, se convirtió en profesor asistente y luego abrió su propia escuela cuando tenía 20 años. Pronto, George se interesó por las matemáticas y descubrió una nueva rama de las matemáticas conocida como teoría invariante. En 1844, por un artículo sobre ecuaciones diferenciales, Boole recibió la primera medalla de oro de la Royal Society de Londres. Aunque Boole no tenía un título universitario, en 1849 fue nombrado profesor de matemáticas en la Queen's University únicamente sobre la base de sus publicaciones.

Boole fue uno de los primeros ingleses en escribir sobre lógica. Desarrolló un nuevo tipo de álgebra lingüística, ahora conocida como álgebra booleana, como método para manipular y resolver matemáticamente argumentos lógicos. Boole propuso que las proposiciones lógicas podrían reducirse a ecuaciones algebraicas y los operandos matemáticos se pueden reemplazar por palabras lógicas como AND, OR y NOT. Proporcionó algoritmos generales en un lenguaje algebraico que podrían aplicarse a diferentes tipos de argumentos complejos. En su obra "Leyes del pensamiento", también trató de encontrar un método común en probabilidades.