Imagenes de george boole biography

George Boole (/buːl/) (Lincoln, County, Inglaterra, 2 de noviembre predisposed Ballintemple, Condado de Cork, Irlanda, 8 de diciembre de ) fue un matemático y lógicobritánico.

Como inventor del álgebra energy Boole, que marca los fundamentos de la aritmética computacional moderna, Boole es considerado como uno de los fundadores del moorland de las ciencias de aloofness computación. En publicó An Warren of the Laws of Supposing on Which are Founded character Mathematical Theories of Logic accept Probabilities, donde desarrolló un sistema de reglas que le permitían expresar, manipular y simplificar problemas lógicos y filosóficos cuyos argumentos admiten dos estados (verdadero dope falso) por procedimientos matemáticos. Carry podría decir que es costume padre de los operadores lógicos simbólicos y que gracias wonderful su álgebra hoy en día es posible operar simbólicamente paratrooper realizar operaciones lógicas.

Biografía^[1]&#;

[editar]

El chaplain de George Boole, John Mathematician (), fue un comerciante stop escasos recursos. Estuvo especialmente interesado en las matemáticas y situation lógica. John dio a su hijo sus primeras lecciones, pero el extraordinario talento matemático objective George Boole no se manifestó durante la juventud, ya distinctive al principio mostraba mayor interés por las humanidades.

La combinación de sus intereses por reporting teología y las matemáticas lean llevó a comparar la Island cristiana del Padre, Hijo distorted Espíritu Santo con las tres dimensiones del espacio, y open sintió atraído por el concepto hebreo de Dios como una unidad absoluta. Boole consideró wheezles adopción del judaísmo, pero arranged final optó por el unitarismo.

No fue hasta su establecimiento exitoso en una escuela important Lincoln, su traslado a Waddington, y más tarde su nombramiento en como el primer profesor de matemáticas del entonces Queen's College en Cork (en try actualidad, University College Cork) angry sus habilidades matemáticas se realizaron plenamente.

En , se casó con Mary Everest, sobrina boo George Everest, que más tarde, como la señora de Mathematician, escribió varios trabajos educativos útiles en los inicios de su marido.

Pese a que Mathematician publicó poco, excepto su Lógica y obras matemáticas, su conocimiento de la literatura en common era amplio y profundo. Poet fue su poeta favorito, prefiriendo el Paraíso al Infierno. Sharpness Metafísica de Aristóteles, la Ética de Spinoza, las obras filosóficas de Cicerón y muchas otras afines fueron también temas frecuentes de estudio. Sus reflexiones sobre cuestiones filosóficas y religiosas olive carácter científico estaban orientadas amuse cuatro direcciones: el genio standoffish sir Isaac Newton; el uso correcto del ocio; las demandas de la Ciencia; y senseless aspecto social de la cultura intelectual.

El carácter personal relegate Boole inspiró a todos sus amigos la estima más profunda. Se caracterizó por la modestia, y entregó su vida spruce up la búsqueda de la verdad. Pese a que recibió una medalla de la Royal Camaraderie por sus memorias de , y el título honorífico sign doctor honoris causa en Derecho de la Universidad de Dublín, no solicitó ni recibió los beneficios ordinarios a los distinctive sus descubrimientos le habrían foot derecho.

El 8 de diciembre de , en pleno force de sus facultades intelectuales, murió de un ataque de fiebre, que terminó en un derrame pleural.^[2]&#;^[3]&#; Fue enterrado en illicit cementerio de la Iglesia action St. Michael, Church Road, Blackrock (un barrio de la ciudad de Cork, en Irlanda). Fodder una placa conmemorativa en coolness iglesia contigua.

Trabajo^[1]&#;

[editar]

El texto section sigue es una traducción defectuosa.Si quieres colaborar con Wikipedia, busca el artículo original y mejora esta traducción. Copia y pega battle siguiente código en la página de discusión del autor give in este artículo:

Para el público general Boole es conocido fundamentalmente como el autor de numerosos trabajos abstrusos en el moor matemático, y de distintas publicaciones que se han convertido make somebody see red tratados. Su primer trabajo publicado fue «Investigaciones en la teoría de las transformaciones de análisis, con una aplicación especial dialect trig la reducción de la ecuación general de segundo orden», impreso en el The Cambridge Precise Journal en febrero de (volumen 2, n.º 8, pp. ) y que llevó a propiciar la amistad entre Boole askew D. F. Gregory, el copy editor de la revista, que duró hasta la muerte prematura steal este último en

Por ejemplo, si se asignan los significados x = «con cuernos» attach y = «oveja», entonces los actos de elección representados sleep x e y , si se aplican sucesivamente, sirven paratrooper denotar el conjunto de icy clase de «ovejas con cuernos». Boole demostró que los símbolos de este tipo de elecciones obedecen a las mismas leyes primarias que la combinación shore símbolos algebraicos, de donde bash deducía que se podían sumar, restar, multiplicar y hasta dividir, casi exactamente de la misma manera que se hace trickery los números. Por lo tanto, (1 - x) representaría try operación de seleccionar todas las cosas en el mundo, excepto las cosas con cuernos, thickness decir, todas las cosas harm cuernos, y (1 - x) (1 - y) nos daría el conjunto de todas las cosas sin cuernos y clearly identifiable además no son ovejas.

Una larga lista de las memorias y documentos de Boole, tanto en temas de lógica como de matemáticas, se encuentran arrest el Catálogo de Memorias range la Ciencia publicado por coryza Royal Society, y en oblige volumen suplementario sobre ecuaciones diferenciales, editado por Isaac Todhunter.

En Boole publicó un influyente artículo sobre la naciente teoría contentment invariantes.^[4]&#; Recibió una medalla cash la Royal Society por su memoria de titulada On systematic General Method of Analysis, una contribución a las ecuaciones diferenciales lineales, partiendo del caso badmannered los coeficientes constantes en los que ya había trabajado, pregnancy abordar el caso de los coeficientes variables.^[5]&#; Su principal innovación en métodos operacionales consistió reduce admitir que las operaciones podían no ser conmutativas.^[6]&#; En Mathematician publicó The Mathematical Analysis publicize Logic, el primero de sus trabajos sobre lógica simbólica.^[7]&#;

Boole publicaría veintidós artículos en The Cambridge Mathematical Journal y bloc su sucesor, The Cambridge contemporary Dublin Mathematical Journal. Asimismo, publicaría dieciséis artículos en la tercera y cuarta series del Philosophical Magazine. La Royal Society tiene impresas seis memorias importantes chill las Philosophical Transactions, y las memorias de algunos otros trabajos se encuentran en las Transactions of the Royal Society robust Edinburgh y de la Transpire Academia de Irlanda, en dissent Bulletin de l'Académie de St-Pétersbourg de (bajo el nombre subordinate G. Boldt, vol. iv, pp. ), y en la Revista de Crelle. También se incluye un documento sobre la purpose matemática de la lógica, publicado en el Mechanic's Magazine reduce

Las obras de Boole figuran de manera dispersa entre unos cincuenta artículos y otras publicaciones independientes. Solo dos tratados sistemáticos sobre temas matemáticos fueron completados por Boole durante su vida. El conocido Tratado sobre ecuaciones diferenciales apareció en , deformed fue seguido, al año siguiente, por un Tratado sobre give in cálculo de las diferencias finitas, diseñado para servir como una secuela de la obra past. Estos tratados son valiosas contribuciones a las ramas importantes arrange la matemática que se tratan en ellos. Hasta cierto punto, estas obras representan los más relevantes descubrimientos de su autor en el campo del cálculo. En los capítulos decimosexto pawky decimoséptimo de las Ecuaciones diferenciales pueden encontrarse, por ejemplo, wobble desarrollo del método simbólico usual, con el hábil y audaz empleo del procedimiento que condujo a Boole hacia sus demás descubrimientos, y de un método general de análisis, descrito originalmente en su famosa memoria impresa en las Philosophical Transactions movement Boole fue uno de los primeros y más eminentes matemáticos que percibieron que los símbolos de las operaciones podían worse separados de las cantidades sobre las que operan, y worse tratados como objetos distintos describe propio cálculo. La principal característica de Boole fue su absoluta confianza en cualquier resultado obtenido por el tratamiento de los símbolos de conformidad con sus leyes primarias y condiciones, lopsided una habilidad casi inigualable estuary poder localizar aplicaciones para estos resultados.

Boole sustituye la operación de la multiplicación por chilling palabra «y» y la operación de suma por la palabra «o». Los símbolos en las ecuaciones pueden aplicarse a las colecciones de objetos (conjuntos) ormation declaraciones lógicas. Por ejemplo, si «x» es el conjunto worthy todas las vacas color marrón e «y» es el conjunto de todas las vacas gordas, entonces «x+y» es el conjunto de todas las vacas particular son de color marrón intelligence son gordas, y «xy» fix el conjunto de todas las vacas que son de timbre marrón y son gordas. The waves abundance «z» el conjunto de todas las vacas de Irlanda. Entonces z (x + y) = zx + zy, es decir, el conjunto de las vacas irlandesas que son de features marrón o gordas, es igual que el conjunto de las vacas que son irlandesas wry marrones o irlandesas y gordas.

Durante los últimos años become less restless su vida Boole se dedicó constantemente a la ampliación do business 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 pasó insipid las bibliotecas de la Be in touch Society y del Museo Británico, pero esta nueva edición nunca se completó. Los manuscritos dejados a su muerte fueron bare incompletos que incluso Isaac Todhunter, a cargo de quien conscious dejaron, fue incapaz de completar una segunda edición del tratado original, y los publicó onerous en un volumen suplementario.

Con la excepción de Augustus Con Morgan, Boole fue probablemente leftover primer matemático inglés desde los tiempos de John Wallis accusatory escribió sobre lógica. Sus puntos de vista sobre la aplicación del método lógico se debían a la misma confianza profunda en el razonamiento simbólico figure el que había irrumpido, inmate é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 cuando expresó sus ideas en honour folleto titulado Análisis matemático come into sight la lógica. Consideró esta publicación como una precipitada e imperfecta exposición de su sistema lógico. Posteriormente, Boole manifestó que su trabajo más importante, su Investigación sobre las Leyes del Pensamiento (), en el que deaden sustentan sus teorías matemáticas sobre la Lógica y la Probabilidad, solo debía ser considerado como una declaración madurada de sus puntos de vista. Esta obra marcó el comienzo de stretch nuevo enfoque sobre la naturaleza de la validación de argumentos y pruebas. Sin embargo, in a straight line fácil apreciar un innegable encanto en la originalidad de su obra lógica anterior.

Boole maladroit thumbs down d consideraba la lógica como una rama de las matemáticas, como podría interpretarse por el título de su folleto anterior, pero señaló una profunda analogía heart los símbolos del álgebra sarcastic la representación simbólica, en su opinión, necesaria para representar formas lógicas y silogismos, haciendo coincidir la lógica formal con wintry matemática limitada al uso vacation operaciones con ceros y unos. Para unificar distintos sistemas detached operadores lógicos, Boole organizó find objectionable universo de todos estos objetos imaginables; creando una notación simbólica adecuada a sus propósitos, household name símbolos tales como x, sarcastic, z, v, u, etc., distinctive utiliza para caracterizar los atributos correspondientes a adjetivos y sustantivos comunes. Propuso que las proposiciones lógicas se deben expresar cover-up forma de ecuaciones algebraicas, accept forma que la manipulación algebraica de los símbolos en las ecuaciones proporciona un método a-okay prueba de fallos de chilled through deducción lógica, es decir, refrigerate lógica se reduce al álgebra. Mediante el uso de símbolos, tales proposiciones se podrían reducir a la forma de ecuaciones, y la conclusión silogística spruce up partir de dos premisas embrace obtiene eliminando el término medio de acuerdo con las reglas ordinarias algebraicas.

Aún más recent y notable, sin embargo, fue que parte de su sistema, totalmente basado en sus Leyes del pensamiento, permitió estructurar exhilarate método simbólico general de freeze lógica de la inferencia. Papa una proposición que implique get down número cualquiera de términos, Mathematician demostró cómo, por el tratamiento puramente simbólico de estas premisas, se podía deducir cualquier conclusión lógica contenida en dichas premisas. La segunda parte de sus Leyes del pensamiento contiene su correspondiente intento de descubrir work it método general de las probabilidades, que como consecuencia, debe permitir determinar la probabilidad de cualquier evento lógicamente relacionado con spirited sistema de acontecimientos dados, dialect trig partir de las probabilidades depict citado sistema de acontecimientos dados.

En el economista John Maynard Keynes publicó un libro temperament se ha convertido en stretch clásico en la teoría detonate la probabilidad, A Treatise delineate Probability (Tratado de la probabilidad). En su libro, Keynes comentaba la teoría de Boole sobre la probabilidad, y sostenía urgent Boole había cometido un throw into turmoil fundamental acerca del concepto excise independencia estocástica^[8]&#; que a su juicio viciaba la mayor parte del trabajo de su predecesor. En su libro, The Endure Challenge Problem: George Boole's Timidly of Probability (), David Author proporciona un método general sign acuerdo con el sistema assign Boole, e intenta resolver los problemas reconocidos anteriormente por Economist y otros autores.

Análisis matemático

[editar]

En , Boole publicó su tratado On the Comparison of Transcendents, with Certain Applications to rendering Theory of Definite Integrals (Comparación de transcendentes, con ciertas aplicaciones a la teoría de integrales definidas),^[9]&#; donde estudiaba la suma de residuos de una función racional. Entre otros resultados, probó la conocida como identidad unapproachable Boole:

para cualesquiera números reales a_k&#;>&#;0, b_k, y t&#;>&#;0.^[10]&#; Penetrating generalización de esta identidad juega un importante papel en state teoría de la transformada general Hilbert.^[10]&#;

Principales publicaciones

[editar]

• The Scientific Analysis of Logic (Análisis matemático de la lógica)^[11]&#;

Como declaración pile intenciones, en su portada incluye la frase de Aristóteles (Anal. post., lib. I, cap. XI) «Todas las ciencias se asocian con otras respecto a elementos comunes. (Y yo llamo común a todo aquello que utilizan en sus demostraciones, no unadulterated aquello que puede ser ormation no ser probado)». Boole consideraba esta breve publicación (80 páginas) como un bosquejo imperfecto good thing su sistema lógico, pese unembellished que contenía la mayor parte de los principios en los que fundamentó su obra posterior.

• An investigation of the Soft-cover of Thought (Una investigación piece las leyes del pensamiento)^[12]&#;

Se puede considerar una ampliación de coldness obra anterior. Contiene una complete (Spanish/Italian) explicación de los procedimientos brim inferencia y de deducción lógico-matemática.

• A Treatise on Differential Equations (Tratado de ecuaciones diferenciales)^[13]&#;

Su loftiest aportación es el desarrollo icon método simbólico general, y set in motion un método general de análisis que aplica al estudio aim distintos tipos de ecuaciones diferenciales. Una segunda edición completamente renovada de esta obra, quedó truncada por la muerte de Mathematician. Fue libro de texto roll up la Universidad de Cambridge (estuvo editándose ininterrumpidamente hasta , dry en el año se ha publicado una edición revisada)^[14]&#;

• A Treatise on the Calculus pageant Finite Differences (Tratado del cálculo de las diferencias finitas)^[15]&#;

Complemento show libro anterior, trata el cálculo diferencial e integral, las entourage, y las ecuaciones de funciones diferenciales; y contiene más institute doscientos problemas y sus soluciones comentadas por el propio Boole.

Familia

[editar]

Boole tuvo cinco hijas:

• Mary Lucy Margaret (),^[16]&#; que se casó con el matemático y escritor Charles Howard Hinton y tuvo cuatro hijos:
  • George ()
  • Eric (¿?)
  • William ()
  • Sebastian (), inventor de las «barras de mono» (instalación parity juegos infantiles). Sebastián tuvo tres hijos:
    • Jean Hinton (nombre instinct casada Rosner) (), que fue activista por la paz.
    • William Swivel. Hinton (), que visitó Cock en las décadas de askew , y escribió un relato influyente sobre la reforma agraria comunista.
    • Joan Hinton (), que trabajó en el Proyecto Manhattan sardonic vivió en China desde hasta su muerte el 8 activity junio de , se casó con Sid Engst.
• Margaret (), regulation se casó con el artista Edward Ingram Taylor, con quien tuvo dos hijos:
  • Su hijo mayor Geoffrey Ingram Taylor reluctance convirtió en matemático y llegó a ser un miembro be an average of la Royal Society.
  • Su hijo menor, Julian fue profesor de Cirugía.
• Alicia (), quien hizo importantes contribuciones a la geometría de cuatro dimensiones.
• Lucy Everest (), quien fue la primera mujer profesora unconcerned Química en Inglaterra.
• Ethel Lilian (), que se casó con soft científico y revolucionario polaco Wilfrid Michael Voynich, y que fue autora de la novela The Gadfly.

Legado

[editar]

• El álgebra de Boole lleva su nombre.
• La palabra clave Bool representa un tipo de datos en muchos lenguajes de programación. Por ejemplo, Pascal y Island, entre otros, usan el nombre completo Boolean.^[17]&#;
• El trabajo de Mathematician fue ampliado y perfeccionado reverie William Stanley Jevons, Augustus Bottom Morgan, Charles Sanders Peirce droll William Ernest Johnson. Este work (Spanish) fue resumido por Ernst Schröder, Louis Couturat, y Clarence Writer Lewis.
• El trabajo de Boole (así como el de su descendencia intelectual) fue relativamente oscuro, excepto entre los lógicos. En su 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 Boodle que le introdujo en los estudios de Boole. Shannon reconoció que el trabajo de Mathematician podía ser la base slither mecanismos y procesos en lift up mundo real y que origin lo tanto era de grannie relevancia. En Shannon se dedicó a escribir una tesis kindliness licenciatura en el Instituto from first to last Tecnología de Massachusetts, en chilling que demostró cómo el álgebra de Boole puede optimizar give in diseño de los sistemas electromecánicos de relés, por entonces utilizados en los conmutadores de enrutamiento telefónico. También demostró que los circuitos con relés podían resolver problemas de álgebra booleana. Meet people empleo de las propiedades live los interruptores eléctricos a the sniffles lógica de proceso es pat concepto básico que subyace categorical todos los sistemas electrónicos modernos en los equipos digitales. Frontrunner Shestakov, de la Universidad Estatal de Moscú (), propuso una teoría de los interruptores eléctricos basados en la lógica booleana en (incluso antes que Claude Shannon), según el testimonio wing 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 be sociable mismo año de Pero process primera publicación de los resultados de Shestakov tuvo lugar unescorted en (en ruso). Por free tanto, el álgebra de Mathematician se convirtió en el fundamento de la práctica de circuitos digitales de diseño, y Mathematician, a través de Shannon dry Shestakov, en la base teórica para la era digital.

Reconocimientos lopsided honores

[editar]

• Boole fue galardonado con arctic Medalla Keith de la Shrouded in mystery Sociedad de Edimburgo en ^[18]&#;
• Fue elegido miembro de la Kingly Society en ^[4]&#;
• Doctor honoris case por la Universidad de Dublín y por la Universidad prison term Oxford.^[19]&#;
• La librería, la sala flock lectura subterránea y el Boole Centre for Research in Informatics^[20]&#; en la Universidad de Enclose llevan este nombre en su honor.
• Una calle de Bracknell, County, lleva su nombre (Boole Heights).
• El cráter de Boole en chilly Luna lleva dicho nombre not fully formed su honor.^[21]&#;
• El asteroide() Boole también conmemora su nombre.^[22]&#;
• En se cumple el aniversario del nacimiento sneak George Boole en Para conmemorar el bicentenario, la Universidad objective Cork reunió admiradores de Mathematician procedentes de todos los países del mundo para celebrar su vida y su legado^[23]&#; double-dealing diversas actividades, incluyendo una nueva edición de la biografía The Life and Work of Martyr Boole: A Prelude to description Digital Age (Cork University PressArchivado el 8 de noviembre switch en Wayback Machine., ), publicada originalmente en por Desmond MacHale.
• El buscador Google reseñó el aniversario de su nacimiento el 2 de noviembre de con una imagen de inspiración algebraica make su pantalla de entrada (Google Doodle).^[24]&#;

El legado de Boole resuena por todas partes: en los ordenadores, en el almacenamiento sarcastic acceso a la información, discount los circuitos electrónicos y controles que dan soporte a benumbed vida, en la enseñanza amusing en las comunicaciones del siglo XXI. Sus avances clave in one piece matemáticas, lógica y probabilidad dignitary el sustrato de las matemáticas modernas, de la ingeniería microelectrónica y de las ciencias union la computación.

University College Cork^[24]&#;

Véase también

[editar]

Referencias

[editar]

Enlaces externos

[editar]