Diferencia entre revisiones de «George Boole»
Sin resumen de edición |
|||
Línea 33: | Línea 33: | ||
'''George Boole''' [buːl] ([[2 de noviembre]] de [[1815]] - [[8 de diciembre]] de [[1864]]) fue un [[matemático]] y [[filósofo]] [[Reino Unido|británico]]. |
'''George Boole''' [buːl] ([[2 de noviembre]] de [[1815]] - [[8 de diciembre]] de [[1864]]) fue un [[matemático]] y [[filósofo]] [[Reino Unido|británico]]. |
||
Como inventor del [[álgebra de Boole]], |
Como inventor del [[álgebra de Boole]], que marca los fundamentos de la [[aritmética computacional]] moderna, Boole es considerado como uno de los fundadores del campo de las [[Ciencias de la Computación]]. En 1854 publicó "An Investigation of the Laws of Thought" en el que desarrollaba un sistema de reglas que le permitían expresar, manipular y simplificar problemas lógicos y filosóficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemáticos. Se podría decir que es el padre de las operaciones lógicas y gracias a su álgebra hoy en día es posible manipular operaciones lógicas. |
||
== Biografía == |
== Biografía == |
Revisión del 14:10 26 ago 2011
George Boole | ||
---|---|---|
Información personal | ||
Nacimiento |
2 de noviembre de 1815 Lincoln (Reino Unido) | |
Fallecimiento |
8 de diciembre de 1864 Ballintemple (Irlanda) | (49 años)|
Causa de muerte | Neumonía | |
Sepultura | Cork | |
Nacionalidad |
Inglaterra Irlanda | |
Familia | ||
Cónyuge | Mary Everest (sobrina de George Everest) | |
Hijos | ||
Información profesional | ||
Área | Matemáticas, Lógica | |
Empleador | Queen's College | |
Miembro de | Royal Society | |
Distinciones | Medalla de la Royal Society | |
George Boole [buːl] (2 de noviembre de 1815 - 8 de diciembre de 1864) fue un matemático y filósofo británico.
Como inventor del álgebra de Boole, que marca los fundamentos de la aritmética computacional moderna, Boole es considerado como uno de los fundadores del campo de las Ciencias de la Computación. En 1854 publicó "An Investigation of the Laws of Thought" en el que desarrollaba un sistema de reglas que le permitían expresar, manipular y simplificar problemas lógicos y filosóficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemáticos. Se podría decir que es el padre de las operaciones lógicas y gracias a su álgebra hoy en día es posible manipular operaciones lógicas.
Biografía
El padre de George Boole, John Boole (1779-1848), fue un comerciante de escasos recursos, de "carácter estudioso y mente activa". Estuvo especialmente interesado en las matemáticas y la lógica. John dio a su hijo sus primeras lecciones, pero el extraordinario talento matemático de George Boole no se manifestó durante la juventud, ya que al principio mostraba mayor interés por las humanidades. En su adolescencia había aprendido latín, griego, alemán, italiano y francés.
Con estas lenguas fue capaz de leer una gran variedad de teología cristiana. La combinación de sus intereses en las matemáticas y la teología le llevó a comparar la trinidad cristiana del Padre, Hijo y Espíritu Santo con las tres dimensiones del espacio, y se sintió atraído por el concepto hebreo de Dios como una unidad absoluta. Boole consideró la conversión al judaísmo, pero al final optó por el unitarismo.
No fue hasta su establecimiento exitoso en una escuela en Lincoln, su traslado a Waddington, y más tarde su nombramiento en 1849 como el primer profesor de matemáticas del entonces Queen's College, Cork en Irlanda (en la actualidad la Universidad de Cork , en la biblioteca, lectura de metro complejo teatral y el Centro de Boole para la Investigación en Informática se nombran en su honor) que sus habilidades matemáticas se realizaron plenamente. En 1855 se casó con Mary Everest (sobrina de George Everest), que más tarde, como la señora de Boole, escribió varios trabajos educativos útiles en los inicios de su marido.
A pesar de que Boole publicó poco, excepto su lógica y obras matemáticas, su conocimiento de la literatura en general era amplia y profunda. Dante fue su poeta favorito, y que prefería el Paraíso al Infierno. La metafísica de Aristóteles, la ética de Spinoza, las obras filosóficas de Cicerón y muchas obras afines fueron también temas frecuentes de estudio. Sus reflexiones sobre cuestiones filosóficas y religiosas de carácter científico están contenidas en cuatro direcciones en el genio de Sir Isaac Newton, el uso correcto de ocio, Las demandas de la Ciencia y el aspecto social de la cultura intelectual, que se entrega y se imprimen en diferentes momentos.
El carácter personal de Boole inspiró a todos sus amigos con la estima más profunda. Él se caracterizó por la modestia, y entregó su vida a la búsqueda de la mente individual de la verdad. A pesar de que recibió una medalla de la Royal Society por sus memorias de 1844, y el doctor honoris causa en Derecho de la Universidad de Dublín, no solicitó ni recibió los beneficios ordinarios a los que sus descubrimientos le daría derecho.
El 8 de diciembre de 1864, en el pleno vigor de sus facultades intelectuales, murió de un ataque de fiebre, el cual termina en un derrame pleural, una acumulación de líquido alrededor de los pulmones. Está enterrado en el cementerio de Irlanda, en la Iglesia de San Miguel, Church Road, Blackrock (un suburbio de la ciudad de Cork).Hay una placa conmemorativa en la iglesia contigua.
Trabajo
Para el público más amplio Boole era conocido sólo como el autor de numerosos trabajos abstrusos en temas de matemáticas, y de distintas publicaciones que se han convertido en obras. Su primer trabajo publicado fue "Investigaciones en la teoría de las transformaciones de análisis, con una aplicación especial a la reducción de la ecuación general de segundo orden." impresa en el Diario Matemáticas de Cambridge en febrero de 1840 (Volumen 2, no. 8, pp 64-73), esta llevó a una amistad entre Boole y DF Gregory, el editor de la revista, que duró hasta la muerte prematura de este último en 1844.
Una larga lista de las memorias y documentos de Boole, tanto en temas de lógica y matemáticas, se encuentran en el Catálogo de las Memorias de la Ciencia publicada por la Royal Society, y en el volumen suplementario de Ecuaciones Diferenciales, editado por Isaac Todhunter.
Al Diario Cambridge y sus sucesores, la Dublin y Cambridge Diario de Matemáticas, Boole contribuyó con veintidós artículos en total. En la cuarta y la tercera serie de la revista de filosofía se encuentran documentos de dieciséis años. La Royal Society tiene impresas seis memorias importantes en la transición filosófica, y las memorias de algunos otros se encuentran en las Transacciones de la Royal Society de Edimburgo y de la Real Academia de Irlanda, en el Boletín de l'Academia de San Petersburgo- para 1862 (bajo el nombre de G Boldt, vol. iv. pp. 198-215), y en el Diario de Crelle. También se incluye un documento sobre la base matemática de la lógica, publicado en el Magazine de mecánica en 1848.
Las obras de Boole figuran de manera dispersa en cincuenta artículos y publicaciones separadas unos pocos. Sólo dos tratados sistemáticos sobre temas matemáticos fueron completados por Boole durante su vida. El conocido Tratado sobre Ecuaciones Diferenciales apareció en 1859, y fue seguido, al año siguiente, por un Tratado sobre el Cálculo de las Diferencias Finitas, diseñado para servir como una secuela de la obra anterior. Estos tratados son valiosas contribuciones a las ramas importantes de la matemática que se trate. Hasta cierto punto, estas obras representan los más importantes descubrimientos de su autor. En los capítulos decimosexto y decimoséptimo de la Ecuaciones Diferenciales encontramos, por ejemplo, una cuenta del método simbólico general, y el hábil empleo audaz de lo que llevó al jefe de los descubrimientos de Boole, y de un método general de análisis, descrito originalmente en su famosa memoria impresa en el Philosophical Transactionsde 1844. Boole fue uno de los más eminentes de aquellos que perciben que los símbolos de la operación podrían ser separados de los de cantidad y tratados como objetos distintos del cálculo.Su característica principal fue la confianza perfecta en cualquier resultado obtenido por el tratamiento de los símbolos de conformidad con sus leyes primarias y condiciones, y una habilidad casi inigualable y el poder en la localización de estos resultados.
Durante los últimos años de su vida Boole se dedicaba constantemente a la ampliación de sus investigaciones con el objeto de producir una segunda edición de sus ecuaciones diferenciales mucho más completa que la primera edición, y parte de sus últimas vacaciones las gastó en las bibliotecas de la Royal Society y el Museo Británico, pero esta nueva edición nunca se completó. Incluso los manuscritos dejados a su muerte fueron tan incompletos que Isaac Todhunter, en cuyas manos se puso, le fue imposible para el uso en la publicación de una segunda edición del tratado original, y los imprimió, en 1865, en un volumen suplementario.
Con la excepción de Augustus De Morgan, Boole fue probablemente el primer matemático Inglés desde los tiempos de John Wallis, que había escrito también sobre la lógica. Sus puntos de vista de la novela de método lógico se debían a la misma confianza profunda en el razonamiento simbólico con el que había confiado, con éxito, en la investigación matemática. Las especulaciones sobre un cálculo del razonamiento ocuparon los pensamientos de Boole, pero no fue hasta la primavera de 1847 que puso sus ideas en el panfleto llamado Análisis Matemático de la Lógica. Boole después de considerar esto como una precipitada e imperfecta exposición de su sistema lógico deseaba que su trabajo más grande, una investigación de las leyes del pensamiento (1854), en el que se sustentan las teorías matemáticas de Lógica y Probabilidad, solo debe ser considerada una declaración madura de sus puntos de vista. Esto marcó el comienzo de un nuevo enfoque sobre la naturaleza de las pruebas, argumentos y pruebas. Sin embargo, hay un encanto en la originalidad de su obra lógica anterior que es fácil de apreciar.
Él no consideraba la lógica como una rama de las matemáticas, como podría interpretarse con el título de su panfleto anterior, pero señaló una profunda analogía entre los símbolos del álgebra y las que se puede hacer, en su opinión, para representar formas lógicas y silogismos, que no podemos dejar de decir que (sobre todo la suya) la lógica formal es la matemática limitada a los, 0 y 1. Por la unidad Boole denotó el universo de objetos imaginables; literal símbolos, tales como x , y , z , v , u , etc, se utiliza con el significado electivos correspondientes a adjetivos y sustantivos comunes. Por lo tanto, si x = cuernos e y = oveja, entonces los sucesivos actos de elección representada por x e y , si se realiza en la unidad, que confiere al conjunto de la clase de ovejas con cuernos. Boole mostró que los símbolos elección de este tipo obedecen las mismas leyes primarias de la combinación de símbolos algebraicos, de donde se deducía que podían sumar, restar, multiplicar y hasta dividir, casi exactamente de la misma manera como los números. Por lo tanto, (1 - x ) representaría la operación de selección de todas las cosas en el mundo, excepto las cosas con cuernos, es decir, no todos los cuernos de las cosas, y (1 - x ) (1 - y ) nos daría todas las cosas ni cuernos ni ovejas . Mediante el uso de símbolos tales proposiciones se podría reducir a la forma de ecuaciones, y la conclusión silogística a partir de dos premisas se obtiene eliminando el término medio de acuerdo a las reglas ordinarias algebraicas.
Aún más original y notable, sin embargo, fue que parte de su sistema, totalmente afirmó en su leyes del pensamiento, formó un método simbólico general de la lógica de la inferencia. Dado que ninguna de las proposiciones que impliquen en cualquier número de términos, Boole mostró cómo, por el tratamiento puramente simbólica de los locales, para sacar cualquier conclusión lógica contenida en dichos locales. La segunda parte de la leyes del pensamiento contiene su correspondiente intento de descubrir un método general de las probabilidades, que nos debe permitir a partir de las probabilidades de cualquier sistema dado de eventos para determinar la probabilidad como consecuencia de cualquier otro evento lógicamente relacionada con los acontecimientos dados.
En 1921 el economista John Maynard Keynes publicó un libro que se ha convertido en un clásico en la teoría de la probabilidad, "Tratado de la probabilidad." Keynes comentó sobre la teoría de Boole de probabilidad.Keynes creía que Boole había cometido un error fundamental que adolece la mayor parte de su análisis. En un libro reciente, "The Last resolverlo", David Miller proporciona un método general de acuerdo con el sistema de Boole, y los intentos de resolver los problemas reconocidos antes por Keynes y otros.
Boole propuso que las proposiciones lógicas se deben expresar en forma de ecuaciones algebraicas. La manipulación algebraica de los símbolos en las ecuaciones proporciona un método a prueba de fallas de la deducción lógica, la lógica es decir, se reduce al álgebra. Boole sustituye la operación de la multiplicación por la palabra "y" y además por la palabra «o». Los símbolos en las ecuaciones pueden presentarse a las colecciones de objetos (conjuntos) o declaraciones en la lógica. Por ejemplo, si x es el conjunto de todas las vacas y marrón y es el conjunto de todas las vacas gordas, entonces x + y es el conjunto de todas las vacas que son de color marrón y son gordas, y xy es el conjunto de todas las vacas que son de color marrón y gordas. Sea z = el conjunto de todas las vacas de Irlanda. Entonces z (x + y) = zx + zy, es decir 'el conjunto de las vacas irlandesas que están o marrón y gordas es la misma que la recogida de las vacas que son irlandeses y marrón o irlandeses y gordas.
Familia
Boole tuvo cinco hijas:
- Mary Ellen, (1856-1908) que se casó con el matemático y escritor Charles Howard Hinton y tuvo cuatro hijos: George (1882-1943), Eric (* 1884), William (1886 a 1909) y Sebastián, ( 1887-1923) inventor del gimnasio de la selva . Sebastián tuvo tres hijos:
- William H. Hinton visitó China en la década de 1930 y 1940, y escribió un relato influyente sobre la reforma agraria comunista.
- Joan Hinton (1921-2010) trabajó en el Proyecto Manhattan y vivió en China desde 1948 hasta su muerte el 8 de junio de 2010, se casó con Sid Engst.
- Jean Hinton (nombre de casada Rosner) (1.917-2002) fue activista por la paz.
- Margarita, (1858 -?) Se casó con Edward Ingram Taylor, un artista.
- Su hijo mayor Geoffrey Ingram Taylor se convirtió en un matemático y un miembro de la Royal Society.
- Su hijo menor, Julián era un profesor de Cirugía.
- Alicia (1860-1940) hizo importantes contribuciones a la geometría de cuatro dimensiones.
- Lucy Everest (1862-1905) fue la primera mujer profesora de Química en Inglaterra.
- Ethel Lilian (1864-1960) se casó con el científico polaco y revolucionario Wilfrid Michael Voynich y fue el autor de la novela The Gadfly.
Legado
El Álgebra de Boole lleva su nombre.
El trabajo de Boole fue ampliado y perfeccionado por William Stanley Jevons, Augustus De Morgan, Charles Sanders Peirce y William Ernest Johnson. Este trabajo fue resumido por Ernst Schröder, Louis Couturat, y Clarence Irving Lewis.
El trabajo de Boole (así como el de su descendencia intelectual) fue relativamente oscuro, excepto entre los lógicos. En ese momento parecía no tener usos prácticos. Sin embargo, aproximadamente setenta años después de la muerte de Boole, Claude Shannon asistió a una clase de filosofía en la Universidad de Michigan que le introdujo en los estudios de Boole. Shannon reconoció que el trabajo de Boole podía ser la base de los mecanismos y procesos en el mundo real y que por lo tanto era de gran relevancia. En 1937 Shannon se dedicó a escribir una tesis de maestría en el Instituto de Tecnología de Massachusetts, en la que demostró cómo el álgebra de Boole puede optimizar el diseño de los sistemas electromecánicos de relés, entonces se utilizaban en conmutadores de enrutamiento de teléfono. También demostró que los circuitos con relés podrían resolver problemas de álgebra booleana. El empleo de las propiedades de los interruptores eléctricos a la lógica de proceso es el concepto básico que subyace en todos los sistemas electrónicos modernos en los equipos digitales. Shestakov Victor, de la Universidad Estatal de Moscú (1907-1987), propuso una teoría de los interruptores eléctricos basados en la lógica booleana, incluso antes de que Claude Shannon en 1935, en el testimonio de los lógicos y los matemáticos soviéticos Sofia Yanovskaya, Gaaze-Rapoport,Dobrushin, Lupanov, Dmitri Medvédev, y Uspensky, a pesar de que presentaron sus tesis académicas en el mismo año de 1938[ aclaración necesaria ]. Pero la primera publicación de los resultados Shestakov tuvo lugar sólo en 1941 (en ruso). Por lo tanto, el álgebra de Boole se convirtió en el fundamento de la práctica de circuitos digitales de diseño, y Boole, a través de Shannon y Shestakov, en la base teórica para la era digital.
El cráter de Boole en la Luna lleva dicho nombre en su honor.