¿Qué matemático es autor de: Investigación sobre las leyes del pensamiento y Análisis matemático de la lógica?

George Boole (1815-1864) matemático británico, creador de un nuevo sistema de cálculo lógico que póstumamente sería llamado Álgebra de Boole.

Dicho sistema, en el que las proposiciones se reducen a símbolos sobre los que puede operarse matemáticamente, supuso un avance fundamental en el desarrollo de la lógica y, más de un siglo después, hallaría un formidable e insospechado campo de aplicación en la informática y los microprocesadores, cuyo funcionamiento se basa en la lógica binaria de Boole.

Como inventor de ésta, es considerado como uno de los fundadores del campo de las ciencias de la computación.

Prácticamente autodidacta, George Boole se interesó sobre todo por el análisis matemático, y muy pronto alcanzó gran notoriedad gracias a sus brillantes aportaciones y artículos referidos a este tema.

En esa dirección debe destacarse su obra Análisis matemático de la lógica (1847), que contiene sus primeras observaciones sobre los vínculos entre la lógica y las matemáticas y que muchos consideran como el acta de nacimiento de la lógica matemática.

En 1854 publicó Investigación sobre las leyes del pensamiento, libro que trataba por completo de la lógica simbólica y su álgebra. La influencia de esta lógica matemática sobre las matemáticas modernas tendría una evolución lenta: si en un primer momento no parecía más que un intrincado juego de palabras, más adelante se vio que era de lo más útil, y hasta completamente indispensable para llegar a la matemática lógica.