Algebra Booleana

George Boole (18151864)(Lincoln, Reino Unido, 1815 - Ballintemple, actual Irlanda, 1864) Matemtico britnico. Proceda de una familia venida a menos y tuvo que desestimar la idea de convertirse en 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 veintecuatro aos, tras la publicacin de su primer escrito, pudo ingresar en Cambridge, pero desestim la oferta, de nuevo a causa de sus deberes respecto a su familia. En 1849 le nombraron profesor de matemticas del Queens College, en Cork, donde permaneci el resto de su vida. El gran descubrimiento de Boole fue aplicar una serie de smbolos a 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 conseguir la matemtica lgica. Boole se cas a la edad de cuarenta aos y tuvo cinco hijas, a las que no lleg a ver adolescentes. La lgica Booleana es el formalismo matemtico por medio del cual se llevan al cabo las operaciones que procesa la computadora a travs del manejo y control de informacin elctrica, por medio de sus transistores. De esta manera puedo decirle que dentro de la enseanza de la licenciatura en matemticas, la ms longeva de la Facultad, puesto que se imparte desde hace 42 aos, al igual que la licenciatura de la enseanza de las matemticas, se destaca el papel de este personaje.

Postulados y teorema del algebra booleana