GEORGE BOOLE

(Lincoln, Reino Unido, 1815 - Ballintemple, actual Irlanda, 1864) Matemtico

britnico, creador de un nuevo sistema de clculo lgico que pstumamente
sera llamado lgebra de Boole. Dicho sistema, en el que las proposiciones se
reducen a smbolos sobre los que puede operarse matemticamente, supuso
un avance fundamental en el desarrollo de la lgica y, ms de un siglo
despus, hallara un formidable e insospechado campo de aplicacin en la
informtica y los microprocesadores, cuyo funcionamiento se basa en la
lgica binaria de Boole.

Miembro de una familia venida a menos, George Boole tuvo que desestimar
su propsito de hacerse monje al verse obligado a mantener a sus padres. A
los diecisis aos enseaba matemticas en un colegio privado y ms tarde
fund uno propio. A los veinticuatro aos, tras la publicacin de su primer
escrito, pudo ingresar en Cambridge, pero hubo de declinar la oferta a causa
de sus deberes respecto a su familia. En 1849 fue nombrado profesor de
matemticas del Queen's College, en Cork, donde permaneci el resto de su
vida.

Prcticamente autodidacta, George Boole se interes sobre todo por el

anlisis matemtico, y muy pronto alcanz gran notoriedad gracias a sus
brillantes aportaciones y artculos referidos a este tema. En esa direccin
debe destacarse su obra Anlisis matemtico de la lgica (1847), que
contiene sus primeras observaciones sobre los vnculos entre la lgica y las
matemticas y que muchos consideran como el acta de nacimiento de la
lgica matemtica.

El gran descubrimiento de Boole fue aplicar una serie de smbolos a

elementos y operaciones lgicas y hacer que estos smbolos y operaciones -
por eleccin cuidadosa- tuvieran la misma estructura lgica que el lgebra
convencional. En el lgebra de Boole, los smbolos podan manipularse segn
reglas fijas que produciran resultados lgicos.

En 1854 public Investigacin sobre las leyes del pensamiento, libro que
trataba por completo de la lgica simblica y su lgebra. La influencia de esta
lgica matemtica sobre las matemticas modernas tendra una evolucin
lenta: si en un primer momento no pareca ms que un intrincado juego de
palabras, ms adelante se vio que era de lo ms til, y hasta completamente
indispensable para llegar a la matemtica lgica. Boole se cas a la edad de
cuarenta aos y tuvo cinco hijas, a las que no lleg a ver adolescentes.
El lgebra de Boole
Esta forma de clculo desarrollada por George Boole es un sistema mediante
el cual ciertos razonamientos lgicos pueden expresarse en trminos
matemticos. Los elementos del lgebra de Boole son un conjunto de
proposiciones, es decir, de hechos expresados mediante oraciones del
lenguaje natural. Tales proposiciones tienen como propiedad ser verdaderas
o falsas. Al mismo tiempo, y prescindiendo de si son verdaderas o falsas, cada
proposicin tiene lo que se llama su proposicin complementaria, que no es
sino la negacin de la misma: la negacin de la proposicin P es la
proposicin complementariaP'.

Las consecuencias de estas proposiciones pueden descubrirse realizando

operaciones matemticas sobre los smbolos que las representan. Las dos
operaciones bsicas son la conjuncin y la disyuncin. Su sentido es fcil de
comprender si se piensa en las dos partculas gramaticales correspondientes,
la conjuncin copulativa "y" (con idea de adicin o suma) y la conjuncin
disyuntiva "o" (con idea de exclusin). En el lenguaje natural, sin embargo,
tales conjunciones pueden tener otras valores, cosa que obviamente no
ocurre en el lgebra de Boole.
Como ejemplo simple, consideremos las dos proposiciones siguientes: "hoy
estar en casa" y "maana estar en casa". Representamos la primera
proposicin con el smbolo P y la segunda con el smbolo Q. Las dos
proposiciones pueden combinarse en una de dos formas: por un lado, P o
Q(hoy estar en casa o maana estar en casa), y, por otro P y Q (hoy estar
en casa y maana estar en casa).
Las reglas del lgebra de Boole pueden utilizarse para determinar las
consecuencias de las diversas combinaciones de estas proposiciones en
funcin de si las proposiciones son verdaderas (V) o falsas (F). As, si ambas
proposiciones son verdaderas, la combinacin P y Q es tambin verdadera. Es
decir, si la proposicin "hoy estar en casa" (P) es verdadera, y la proposicin
"maana estar en casa" (Q) tambin es verdadera, entonces la combinacin
"hoy estar en casa y maana estar en casa" (P y Q) tambin debe ser
verdadera.

Supongamos, en cambio, que P es verdadera y Q es falsa. Es decir, la

proposicin "hoy estar en casa" (P) es verdadera, pero la proposicin
"maana estar en casa" (Q) es falsa. En tal caso, la combinacin "hoy estar
en casa y maana estar en casa" (P y Q) debe ser falsa. Como puede
imaginarse, la mayora de las cuestiones que aborda el lgebra de Boole son
mucho ms arduas que este ejemplo simple. Con el paso del tiempo, los
matemticos han desarrollado complejas tcnicas para formalizar y calcular
procesos lgicos muy complicados.
Dos elementos del lgebra de Boole la convierten en una forma matemtica
muy importante para su aplicacin prctica. En primer lugar, las
proposiciones expresadas en el lenguaje diario (como "hoy estar en casa")
pueden convertirse en expresiones matemticas, como letras y nmeros. En
segundo lugar, esos smbolos generalmente tienen uno de dos valores: las
proposiciones pueden ser afirmativas o negativas (complementarias); las
operaciones son conjuncin o disyuncin; y no slo las proposiciones, sino
tambin el resultado de sus combinaciones (P, Q, P y Q, P o Q), son
verdaderas o falsas. Esto significa que pueden expresarse por medio de un
sistema binario: verdadero o falso; s o no; 0 1.

El sistema matemtico binario es el sistema numrico ms utilizado en los

ordenadores. Los sistemas computarizados consisten en ncleos magnticos
que pueden ponerse en marcha o detenerse; los nmeros 0 y 1 se usan para
representar los dos estados posibles de un ncleo magntico. Las
operaciones que los microprocesadores pueden llevar a cabo con la
informacin binaria son muy simples (negacin, conjuncin y disyuncin
siguiendo el lgebra de Boole, y tambin comparaciones y las cuatro
operaciones aritmticas), pero la combinacin de todas estas operaciones a
grandsima velocidad permite ejecutar tareas muy complejas. De este modo,
los procedimientos de clculo lgico del lgebra de Boole han pasado a
constituir la "inteligencia" de multitud de objetos cotidianos: cuando los
ingenieros disean los circuitos para los ordenadores personales,
calculadoras de bolsillo, lectores de discos compactos, telfonos mviles y
una gran cantidad de otros tipos de productos electrnicos, no hacen sino
capacitarlos para ejecutar operaciones y procesos basados en los principios
del lgebra de Boole.