stringtranslate.com

George Boole

George Boole Jnr FRS ( 2 de noviembre de 1815 - 8 de diciembre de 1864) fue un matemático , filósofo y lógico inglés , en gran parte autodidacta , que pasó la mayor parte de su corta carrera como el primer profesor de matemáticas en el Queen 's College de Cork, Irlanda. Trabajó en los campos de las ecuaciones diferenciales y la lógica algebraica , y es más conocido como el autor de The Laws of Thought (1854), que contiene álgebra de Boole . A la lógica de Boole, esencial para la programación informática , [4] se le atribuye haber ayudado a sentar las bases de la era de la información . [5] [6] [7]

Boole era hijo de un zapatero. Recibió educación primaria y aprendió latín y lenguas modernas por diversos medios. A los 16 años comenzó a enseñar para mantener a su familia. Fundó su propia escuela a los 19 años y más tarde dirigió un internado en Lincoln. Boole fue un miembro activo de las sociedades locales y colaboró ​​con otros matemáticos.

En 1849, Boole fue nombrado primer profesor de matemáticas en el Queen's College de Cork (hoy University College Cork) en Irlanda, donde conoció a su futura esposa, Mary Everest . Continuó su participación en causas sociales y mantuvo conexiones con Lincoln. En 1864, Boole murió debido a un derrame pleural inducido por fiebre después de desarrollar neumonía .

Boole publicó alrededor de 50 artículos y varias publicaciones independientes durante su vida. Algunas de sus obras clave incluyen un artículo sobre la teoría de invariantes temprana y "El análisis matemático de la lógica", que introdujo la lógica simbólica. Boole también escribió dos tratados sistemáticos: "Tratado sobre ecuaciones diferenciales" y "Tratado sobre el cálculo de diferencias finitas". Contribuyó a la teoría de ecuaciones diferenciales lineales y al estudio de la suma de residuos de una función racional. En 1847, Boole desarrolló el álgebra de Boole, un concepto fundamental en la lógica binaria, que sentó las bases para la tradición del álgebra de la lógica y forma la base del diseño de circuitos digitales y la informática moderna. Boole también intentó descubrir un método general en probabilidades, centrándose en la determinación de la probabilidad consecuente de eventos lógicamente conectados con probabilidades dadas. Su trabajo fue ampliado por varios académicos, como Charles Sanders Peirce y William Stanley Jevons. Las ideas de Boole adquirieron posteriormente aplicaciones prácticas cuando Claude Shannon y Victor Shestakov emplearon el álgebra de Boole para optimizar el diseño de sistemas de relés electromecánicos, lo que condujo al desarrollo de las computadoras digitales electrónicas modernas. La University College Cork celebró el 200 aniversario del nacimiento de Boole en 2015, destacando su importante impacto en la era digital.

Las contribuciones de Boole a las matemáticas le valieron varios honores, incluido el primer premio de oro de la Royal Society para matemáticas, la Medalla Keith y títulos honorarios de las Universidades de Dublín y Oxford.

Primeros años de vida

La casa y la escuela de Boole en Lincoln

Boole nació en 1815 en Lincoln , Lincolnshire , Inglaterra, hijo de John Boole Snr (1779-1848), un zapatero [8] y Mary Ann Joyce. [9] Recibió una educación primaria y recibió lecciones de su padre, pero debido a un grave declive en los negocios, recibió poca enseñanza formal y académica. [10] William Brooke, un librero en Lincoln, pudo haberlo ayudado con el latín, que también pudo haber aprendido en la escuela de Thomas Bainbridge. Fue autodidacta en lenguas modernas. [2] De hecho, cuando un periódico local publicó su traducción de un poema en latín, un erudito lo acusó de plagio con el pretexto de que no era capaz de tales logros. [11] A los 16 años, Boole se convirtió en el sostén de sus padres y tres hermanos menores, y ocupó un puesto de profesor junior en Doncaster en la Escuela Heigham. [12] Enseñó brevemente en Liverpool . [1]

Greyfriars, Lincoln, que albergaba el Instituto Mecánico

Boole participó en el Lincoln Mechanics' Institute , en Greyfriars, Lincoln , que fue fundado en 1833. [2] [13] Edward Bromhead , que conocía a John Boole a través de la institución, ayudó a George Boole con libros de matemáticas [14] y recibió el texto de cálculo de Sylvestre François Lacroix del reverendo George Stevens Dickson de St Swithin's, Lincoln . [15] Sin un maestro, le llevó muchos años dominar el cálculo. [1]

A los 19 años, Boole estableció con éxito su propia escuela en Lincoln: Free School Lane. [16] Cuatro años más tarde se hizo cargo de la Academia Hall en Waddington , en las afueras de Lincoln, tras la muerte de Robert Hall. En 1840, regresó a Lincoln, donde dirigió un internado. [1] Boole se involucró inmediatamente en la Sociedad Topográfica de Lincoln, sirviendo como miembro del comité y presentando un trabajo titulado "Sobre el origen, el progreso y las tendencias del politeísmo, especialmente entre los antiguos egipcios y persas, y en la India moderna". [17]

Boole se convirtió en una figura local prominente, admirador de John Kaye , el obispo. [18] Participó en la campaña local para el cierre temprano . [2] Con Edmund Larken y otros, creó una sociedad de construcción en 1847. [19] También se asoció con el cartista Thomas Cooper , cuya esposa era pariente. [20]

A partir de 1838, Boole estableció contactos con matemáticos académicos británicos afines y comenzó a leer más ampliamente. Estudió álgebra en forma de métodos simbólicos, en la medida en que estos se entendían en ese momento, y comenzó a publicar artículos de investigación. [1]

Profesorado y vida en Cork

La casa del número 5 de Grenville Place en Cork , en la que Boole vivió entre 1849 y 1855, y donde escribió Las leyes del pensamiento (fotografía tomada durante la renovación)

El estatus de Boole como matemático fue reconocido con su nombramiento en 1849 como el primer profesor de matemáticas en el Queen's College, Cork (actualmente University College Cork (UCC)) en Irlanda. Conoció a su futura esposa, Mary Everest , allí en 1850 mientras ella visitaba a su tío John Ryall, que era profesor de griego. Se casaron en 1855. [21] [22] Mantuvo sus vínculos con Lincoln, trabajando allí con ER Larken en una campaña para reducir la prostitución. [23]

En 1861, Boole estuvo involucrado en un juicio en el Tribunal de la Reina en Irlanda contra un tal John Hewitt Wheatley de Craig House, Sligo por la suma de £400, por el cual el patrimonio y los intereses de Wheatley en las tierras de Maghan/Mahon, en el condado de Cork, pasaron a pertenecer a Boole. [24]

En marzo de 1863, Boole alquiló Litchfield Cottage, Cork, la casa en la que viviría con su esposa Mary hasta su muerte en diciembre del año siguiente. [25] Las instalaciones se describían en las escrituras como "todo eso y aquello que la casa de vivienda llamada Litchfield Cottage con las instalaciones y accesorios que le pertenecían y el jardín y el campo amurallado en la parte trasera de la misma". El testamento de Boole legó todos sus "términos de propiedad e intereses" en el arrendamiento de Litchfield Cottage a su esposa. [26] En agosto de 1865, unos 8 meses después de su muerte, Mary (que entonces vivía en 68 Harley Street, Londres) cedió la casa a Francis Heard de Ballintemple, Cork, Esquire, un capitán del 87.º Regimiento de Su Majestad de South Cork.

Honores y premios

Vidriera de la catedral de Lincoln dedicada a Boole

En 1844, el artículo de Boole "Sobre un método general de análisis" ganó el primer premio de oro de matemáticas otorgado por la Royal Society . [28] Fue galardonado con la Medalla Keith por la Royal Society de Edimburgo en 1855 [29] y fue elegido miembro de la Royal Society (FRS) en 1857. [ 15] Recibió los títulos honorarios de LL.D. de la Universidad de Dublín y la Universidad de Oxford . [30]

Obras

El primer artículo publicado de Boole fue "Investigaciones en la teoría de transformaciones analíticas, con una aplicación especial a la reducción de la ecuación general de segundo orden", impreso en el Cambridge Mathematical Journal en febrero de 1840 (volumen 2, n.º 8, págs. 64-73), y condujo a su amistad con Duncan Farquharson Gregory , el editor de la revista. [21] Sus trabajos se encuentran en alrededor de 50 artículos y algunas publicaciones separadas. [31] [23]

En 1841, Boole publicó un influyente artículo sobre la teoría invariante temprana . [15] Recibió una medalla de la Royal Society por sus memorias de 1844, "Sobre un método general en análisis". [21] Fue una contribución a la teoría de ecuaciones diferenciales lineales , pasando del caso de coeficientes constantes sobre el que ya había publicado, al de coeficientes variables. [32] La innovación en los métodos operacionales es admitir que las operaciones pueden no conmutar . [33] En 1847, Boole publicó El análisis matemático de la lógica , el primero de sus trabajos sobre lógica simbólica. [34]

Ecuaciones diferenciales

Boole completó dos tratados sistemáticos sobre temas matemáticos durante su vida. El Tratado sobre ecuaciones diferenciales [35] apareció en 1859, y fue seguido, al año siguiente, por un Tratado sobre el cálculo de diferencias finitas [36] , una secuela del trabajo anterior. [21] Poco después de su muerte, Todhunter volvió a publicar el tratado de Boole con algunas de las revisiones de Boole, junto con un suplemento que originalmente estaba destinado a ser fusionado en la realización de la segunda edición.

Análisis

En 1857, Boole publicó el tratado "Sobre la comparación de las trascendentes, con ciertas aplicaciones a la teoría de las integrales definidas", [37] en el que estudiaba la suma de los residuos de una función racional . Entre otros resultados, demostró lo que hoy se denomina la identidad de Boole:

para cualquier número real a k  > 0, b k y t  > 0. [38] Las generalizaciones de esta identidad juegan un papel importante en la teoría de la transformada de Hilbert . [38]

Lógica binaria

En 1847, Boole publicó el panfleto Análisis matemático de la lógica . Más tarde lo consideró como una exposición defectuosa de su sistema lógico y quería que Una investigación de las leyes del pensamiento en las que se fundan las teorías matemáticas de la lógica y las probabilidades se considerara la declaración madura de sus puntos de vista. [21] Contrariamente a la creencia generalizada, Boole nunca tuvo la intención de criticar o estar en desacuerdo con los principios fundamentales de la lógica de Aristóteles . Más bien, pretendió sistematizarla, proporcionarle una base y ampliar su rango de aplicabilidad. [39] La participación inicial de Boole en la lógica fue motivada por un debate actual sobre la cuantificación , entre Sir William Hamilton, que apoyaba la teoría de la "cuantificación del predicado", y el partidario de Boole, Augustus De Morgan, que propuso una versión de la dualidad de De Morgan , como se la llama ahora. El enfoque de Boole fue en última instancia mucho más amplio que el de cualquiera de los dos lados en la controversia. [40] Fundó lo que primero se conoció como la tradición del "álgebra de la lógica". [41]

Entre sus muchas innovaciones se encuentra su principio de referencia holística , que fue adoptado posteriormente, y probablemente de forma independiente, por Gottlob Frege y por los lógicos que suscriben la lógica estándar de primer orden. Un artículo de 2003 [42] proporciona una comparación sistemática y una evaluación crítica de la lógica aristotélica y la lógica booleana ; también revela la centralidad de la referencia holística en la filosofía de la lógica de Boole .

Definición de 1854 del universo del discurso

En todo discurso, ya se trate del espíritu que conversa con sus propios pensamientos o del individuo en su trato con los demás, hay un límite supuesto o expreso dentro del cual se confinan los objetos de su operación. El discurso más libre es aquel en el que las palabras que empleamos se entienden en la aplicación más amplia posible, y para ellas los límites del discurso son coextensivos con los del universo mismo. Pero lo más habitual es que nos limitemos a un campo menos amplio. A veces, al hablar de los hombres, damos a entender (sin expresar la limitación) que sólo hablamos de los hombres en determinadas circunstancias y condiciones, como de los hombres civilizados, o de los hombres en el vigor de la vida, o de los hombres en alguna otra condición o relación. Ahora bien, cualquiera que sea la extensión del campo dentro del cual se encuentran todos los objetos de nuestro discurso, ese campo puede llamarse apropiadamente el universo del discurso . Además, este universo del discurso es, en el sentido más estricto, el objeto último del discurso. [43]

Tratamiento de la adición en lógica

Boole concibió los "símbolos electivos" de su tipo como una estructura algebraica . Pero este concepto general no estaba disponible para él: no tenía el estándar de segregación en álgebra abstracta de propiedades postuladas (axiomáticas) de operaciones y propiedades deducidas. [44] Su trabajo fue un comienzo para el álgebra de conjuntos , nuevamente un concepto no disponible para Boole como modelo familiar. Sus esfuerzos pioneros encontraron dificultades específicas, y el tratamiento de la adición fue una dificultad obvia en los primeros días.

Boole reemplazó la operación de multiplicación por la palabra "y" y la adición por la palabra "o". Pero en el sistema original de Boole, + era una operación parcial : en el lenguaje de la teoría de conjuntos correspondería solo a la unión disjunta de subconjuntos. Autores posteriores cambiaron la interpretación, leyéndola comúnmente como o exclusivo , o en términos de teoría de conjuntos, diferencia simétrica ; este paso significa que la adición siempre está definida. [41] [45]

De hecho, existe la otra posibilidad, que + se deba leer como disyunción . [44] Esta otra posibilidad se extiende desde el caso de unión disjunta, donde o exclusiva y o no exclusiva ambas dan la misma respuesta. Manejar esta ambigüedad fue un problema temprano de la teoría, reflejando el uso moderno tanto de anillos booleanos como de álgebras booleanas (que son simplemente diferentes aspectos de un tipo de estructura). Boole y Jevons lucharon sobre este tema en 1863, en la forma de la evaluación correcta de x + x . Jevons argumentó a favor del resultado x , que es correcto para + como disyunción. Boole mantuvo el resultado como algo indefinido. Argumentó en contra del resultado 0, que es correcto para o exclusiva, porque vio la ecuación x + x = 0 como implicando x = 0, una falsa analogía con el álgebra ordinaria. [15]

Teoría de la probabilidad

La segunda parte de las Leyes del pensamiento contenía un intento correspondiente de descubrir un método general en probabilidades . Aquí el objetivo era algorítmico: a partir de las probabilidades dadas de cualquier sistema de eventos, determinar la probabilidad consecuente de cualquier otro evento lógicamente relacionado con esos eventos. [46] [21]

Muerte

Lápida de Boole en Blackrock , Cork, Irlanda

A finales de noviembre de 1864, Boole caminó, bajo una intensa lluvia, desde su casa en Lichfield Cottage en Ballintemple [47] hasta la universidad, una distancia de tres millas, y dio una conferencia con la ropa mojada. [48] Pronto enfermó, desarrollando neumonía. Como su esposa creía que los remedios debían parecerse a su causa, lo envolvió en mantas mojadas, ya que la humedad había provocado su enfermedad. [48] [49] [50] La condición de Boole empeoró y el 8 de diciembre de 1864, [51] murió de derrame pleural inducido por fiebre .

Fue enterrado en el cementerio de la Iglesia de Irlanda de St Michael's, Church Road, Blackrock (un suburbio de Cork ). Hay una placa conmemorativa dentro de la iglesia contigua. [52]

Legado

Busto de Boole en el University College de Cork

Boole es el homónimo de la rama del álgebra conocida como álgebra de Boole , así como el homónimo del cráter lunar Boole . La palabra clave Bool representa un tipo de datos booleano en muchos lenguajes de programación, aunque Pascal y Java , entre otros, usan el nombre completo Boolean . [53] La biblioteca, el complejo de salas de conferencias subterráneas y el Centro Boole para la Investigación en Informática [54] en el University College Cork llevan su nombre en su honor. Una calle llamada Boole Heights en Bracknell, Berkshire, lleva su nombre.

Desarrollo del siglo XIX

El trabajo de Boole fue ampliado y refinado por varios escritores, comenzando por William Stanley Jevons , quien también fue autor del artículo sobre Boole en la Enciclopedia Británica . Augustus De Morgan había trabajado en la lógica de relaciones , y Charles Sanders Peirce integró su trabajo con el de Boole durante la década de 1870. [55] Otras figuras significativas fueron Platon Sergeevich Poretskii y William Ernest Johnson . La concepción de una estructura de álgebra de Boole sobre enunciados equivalentes de un cálculo proposicional se le atribuye a Hugh MacColl (1877), en un trabajo examinado 15 años después por Johnson. [55] Ernst Schröder , Louis Couturat y Clarence Irving Lewis publicaron estudios de estos desarrollos .

Desarrollo del siglo XX

En notación moderna, el álgebra de Boole libre se basa en las proposiciones básicas p y q dispuestas en un diagrama de Hasse . Las combinaciones booleanas forman 16 proposiciones diferentes y las líneas muestran cuáles están relacionadas lógicamente.

En 1921, el economista John Maynard Keynes publicó un libro sobre la teoría de la probabilidad, Tratado de probabilidad . Keynes creía que Boole había cometido un error fundamental en su definición de independencia que viciaba gran parte de su análisis. [56] En su libro The Last Challenge Problem , David Miller proporciona un método general de acuerdo con el sistema de Boole e intenta resolver los problemas reconocidos anteriormente por Keynes y otros. Theodore Hailperin demostró mucho antes que Boole había utilizado la definición matemática correcta de independencia en sus problemas resueltos. [57]

El trabajo de Boole y el de los lógicos posteriores inicialmente no parecían tener usos en la ingeniería. Claude Shannon asistió a una clase de filosofía en la Universidad de Michigan , que le presentó los estudios de Boole. Shannon reconoció que el trabajo de Boole podía formar la base de los mecanismos y procesos en el mundo real y que, por lo tanto, era muy relevante. En 1937, Shannon escribió una tesis de maestría en el Instituto Tecnológico de Massachusetts , en la que mostró cómo el álgebra de Boole podía optimizar el diseño de sistemas de relés electromecánicos que se usaban entonces en los conmutadores de enrutamiento telefónico. También demostró que los circuitos con relés podían resolver problemas de álgebra de Boole. El uso de las propiedades de los interruptores eléctricos para procesar la lógica es el concepto básico que subyace a todas las computadoras digitales electrónicas modernas . En 1935, Victor Shestakov, de la Universidad Estatal de Moscú (1907-1987), propuso una teoría de interruptores eléctricos basada en la lógica de Boole incluso antes que Claude Shannon , basándose en el testimonio de los lógicos y matemáticos soviéticos Sofya Yanovskaya , Gaaze-Rapoport, Roland Dobrushin , Lupanov, Medvedev y Uspensky. Pero la primera publicación del resultado de Shestakov tuvo lugar recién en 1941 (en ruso). Por lo tanto, el álgebra de Boole se convirtió en la base del diseño práctico de circuitos digitales ; y Boole, a través de Shannon y Shestakov, proporcionó la base teórica para la Era de la Información . [58]

Celebración del siglo XXI

"El legado de Boole nos rodea por todas partes, en las computadoras, en los sistemas de almacenamiento y recuperación de información, en los circuitos electrónicos y los controles que sustentan la vida, el aprendizaje y las comunicaciones en el siglo XXI. Sus avances fundamentales en matemáticas, lógica y probabilidad proporcionaron las bases esenciales para las matemáticas modernas, la ingeniería microelectrónica y la ciencia informática".

—Universidad de Cork. [5]

En 2015 se cumplió el bicentenario del nacimiento de Boole. Para conmemorar el bicentenario, la University College Cork se unió a admiradores de Boole de todo el mundo para celebrar su vida y su legado.

El proyecto George Boole 200 [59] de la UCC presentó eventos, actividades de extensión estudiantil y conferencias académicas sobre el legado de Boole en la era digital, incluida una nueva edición de la biografía de Desmond MacHale de 1985 , The Life and Work of George Boole: A Prelude to the Digital Age , [60] 2014.

El motor de búsqueda Google celebró el 200 aniversario de su nacimiento el 2 de noviembre de 2015 con una reinterpretación algebraica de su Google Doodle . [5]

5, Grenville Place en 2017 después de la restauración realizada por la UCC
La obra de arte muestra a Boole en una pizarra enseñando a un niño y a una niña que los símbolos de la lógica están sujetos a una ley especial.
Estatua de bronce de Boole situada en la estación central de trenes de Lincoln . El diseño, obra del escultor Antony Dufort , fue financiado en parte por el Heslam Trust.

En septiembre de 2022, se inauguró una estatua de George Boole en su papel de maestro en la estación central de trenes de Lincoln , en la ciudad natal de Boole, Lincoln .

Vistas

Las opiniones de Boole se expusieron en cuatro discursos publicados: El genio de Sir Isaac Newton ; El uso correcto del ocio ; Las reivindicaciones de la ciencia ; y El aspecto social de la cultura intelectual . [21] El primero de ellos fue de 1835, cuando Charles Anderson-Pelham, primer conde de Yarborough, donó un busto de Newton al Instituto de Mecánica de Lincoln. [61] El segundo justificó y celebró en 1847 el resultado de la exitosa campaña para el cierre temprano en Lincoln, encabezada por Alexander Leslie-Melville, de Branston Hall . [62] Las reivindicaciones de la ciencia se presentó en 1851 en el Queen's College, Cork. [63] El aspecto social de la cultura intelectual también se presentó en Cork, en 1855, a la Sociedad Cuvieriana. [64]

Aunque su biógrafo Des MacHale describe a Boole como un "deísta agnóstico", [65] [66] Boole leyó una amplia variedad de teología cristiana. Combinando sus intereses en matemáticas y teología, comparó la trinidad cristiana de Padre, Hijo y Espíritu Santo con las tres dimensiones del espacio, y se sintió atraído por la concepción hebrea de Dios como una unidad absoluta. Boole consideró convertirse al judaísmo , pero al final se dice que eligió el unitarismo . [¿referencia?] Boole llegó a hablar en contra de lo que veía como escepticismo "orgulloso", y en su lugar favoreció la creencia en una "Causa Inteligente Suprema". [67] También declaró: "Creo firmemente, para el logro de un propósito de la Mente Divina ". [68] [69] Además, afirmó: "Inferir la existencia de una causa inteligente a partir de la abundante evidencia del diseño circundante , llegar a la concepción de un Gobernador moral del Mundo, a partir del estudio de la constitución y las disposiciones morales de nuestra propia naturaleza; estos, aunque no son más que los pasos débiles de un entendimiento limitado en sus facultades y sus materiales de conocimiento, son de más utilidad que el ambicioso intento de llegar a una certeza inalcanzable sobre la base de la religión natural. Y como estos fueron los más antiguos, así son todavía los fundamentos más sólidos, dejando aparte la Revelación, de la creencia de que el curso de este mundo no está abandonado al azar y al destino inexorable". [70] [71]

Su esposa, Mary Everest Boole , afirmó más tarde que Boole había tenido dos influencias : un misticismo universal atemperado por el pensamiento judío y la lógica india . [72] Mary Boole afirmó que una experiencia mística adolescente fue la base de su obra:

Mi marido me dijo que cuando era un muchacho de diecisiete años, de repente se le ocurrió una idea que se convirtió en la base de todos sus descubrimientos futuros. Fue un destello de intuición psicológica sobre las condiciones en las que una mente acumula más fácilmente conocimientos [...] Durante unos años creyó estar convencido de la verdad de "la Biblia" en su totalidad, e incluso tuvo la intención de ordenarse como clérigo de la Iglesia inglesa. Pero con la ayuda de un judío erudito de Lincoln descubrió la verdadera naturaleza del descubrimiento que había tenido en la mente: que la mente del hombre funciona por medio de algún mecanismo que "funciona normalmente hacia el monismo ". [73]

En el capítulo 13 de Las leyes del pensamiento, Boole utilizó ejemplos de proposiciones de Baruch Spinoza y Samuel Clarke . La obra contiene algunas observaciones sobre la relación entre la lógica y la religión, pero son superficiales y crípticas. [74] Boole aparentemente estaba desconcertado por la recepción del libro simplemente como un conjunto de herramientas matemáticas:

George se enteró después, para su gran alegría, de que Leibniz , contemporáneo de Newton, sostenía la misma concepción de la base de la lógica . De Morgan, por supuesto, comprendió la fórmula en su verdadero sentido; fue colaborador de Boole desde el principio. Herbert Spencer, Jowett y Robert Leslie Ellis la comprendieron, estoy seguro; y algunos otros, pero casi todos los lógicos y matemáticos ignoraron [953] la afirmación de que el libro pretendía arrojar luz sobre la naturaleza de la mente humana; y trataron la fórmula enteramente como un maravilloso nuevo método de reducir al orden lógico masas de evidencias sobre hechos externos. [73]

Mary Boole afirmó que hubo una profunda influencia –a través de su tío George Everest– del pensamiento indio en general y de la lógica india , en particular, en George Boole, así como en Augustus De Morgan y Charles Babbage : [75]

Piensen en el efecto que debió tener la intensa hinduización de tres hombres como Babbage, De Morgan y George Boole en la atmósfera matemática de 1830-1865. ¿Qué papel tuvo en la generación del análisis vectorial y de las matemáticas con las que se realizan hoy las investigaciones en las ciencias físicas? [73]

Boole sostuvo que:

No se puede establecer un método general para la solución de cuestiones de teoría de probabilidades que no reconozca explícitamente, no sólo las bases numéricas especiales de la ciencia, sino también aquellas leyes universales del pensamiento que son la base de todo razonamiento y que, cualesquiera que sean en cuanto a su esencia, son al menos matemáticas en cuanto a su forma. [76]

Familia

En 1855, Boole se casó con Mary Everest (sobrina de George Everest ), quien más tarde escribió varias obras educativas sobre los principios de su marido.

Los Boole tuvieron cinco hijas:

Véase también

Conceptos

Otro

Notas

  1. ^ abcde O'Connor, John J.; Robertson, Edmund F. , "George Boole", Archivo de Historia de las Matemáticas MacTutor , Universidad de St Andrews
  2. ^ abcd Hill, pág. 149; Google Books Archivado el 17 de marzo de 2016 en Wayback Machine .
  3. ^ Ivor Grattan-Guinness (ed.), Enciclopedia complementaria de la historia y la filosofía de las ciencias matemáticas , Routledge, 2002, cap. 5.1.
  4. ^ Klein, Michael (21 de marzo de 2022). «Qué es la lógica booleana y cómo se utiliza en la programación». Codecademy . Consultado el 31 de agosto de 2024 .
  5. ^ abc «¿Quién es George Boole: el matemático detrás del doodle de Google?». Sydney Morning Herald . 2 de noviembre de 2015. Archivado desde el original el 4 de septiembre de 2017 . Consultado el 20 de febrero de 2020 .
  6. ^ Nahin, Paul J. (2012). El lógico y el ingeniero: cómo George Boole y Claude Shannon crearon la era de la información. Princeton University Press. ISBN 978-0691176000.JSTOR j.cttq957s  .
  7. ^ Mulcahy, Colm (1 de noviembre de 2015). «El bicentenario de George Boole, el hombre que sentó las bases de la era digital». Red de blogs de Scientific American . Consultado el 30 de septiembre de 2023 .
  8. ^ "John Boole". Fundación Lincoln Boole. Archivado desde el original el 8 de marzo de 2016. Consultado el 6 de noviembre de 2015 .
  9. ^ "Árbol genealógico de George Boole". Archivado desde el original el 24 de febrero de 2021. Consultado el 12 de abril de 2021 .
  10. ^ C., Bruno, Leonard (2003) [1999]. Matemáticas y matemáticos: la historia de los descubrimientos matemáticos en todo el mundo . Baker, Lawrence W. Detroit, Michigan: UX L. pp. 49. ISBN 0787638137.OCLC 41497065  .{{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )
  11. ^ C., Bruno, Leonard (2003) [1999]. Matemáticas y matemáticos: la historia de los descubrimientos matemáticos en todo el mundo . Baker, Lawrence W. Detroit, Michigan: UX L. pp. 49–50. ISBN 0787638137.OCLC 41497065  .{{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )
  12. ^ Rhees, Rush . (1954) "George Boole como estudiante y profesor. Por algunos de sus amigos y alumnos", Actas de la Real Academia Irlandesa. Sección A: Ciencias matemáticas y físicas . Vol. 57. Real Academia Irlandesa
  13. ^ "Sociedad para la Historia de la Astronomía, Lincolnshire". Archivado desde el original el 1 de marzo de 2017 . Consultado el 2 de septiembre de 2019 .
  14. ^ Edwards, AWF "Bromhead, Sir Edward Thomas French". Oxford Dictionary of National Biography (edición en línea). Oxford University Press. doi :10.1093/ref:odnb/37224. (Se requiere suscripción o membresía a una biblioteca pública del Reino Unido).
  15. ^ abcd Burris, Stanley. "George Boole". En Zalta, Edward N. (ed.). Enciclopedia de filosofía de Stanford .
  16. ^ George Boole: Autoeducación y primeros años de carrera Archivado el 22 de noviembre de 2017 en Wayback Machine University College Cork
  17. ^ Selección de documentos relativos al condado de Lincoln, leídos ante la Sociedad Topográfica de Lincolnshire, 1841-1842. Impreso por W. y B. Brooke, High-Street, Lincoln, 1843.
  18. ^ Hill, p. 172 nota 2; Google Books Archivado el 10 de junio de 2016 en Wayback Machine .
  19. ^ Hill, p. 130 nota 1; Google Books Archivado el 27 de abril de 2016 en Wayback Machine .
  20. ^ Hill, pág. 148; Google Books Archivado el 4 de mayo de 2016 en Wayback Machine .
  21. ^ abcdefg  Una o más de las oraciones anteriores incorporan texto de una publicación que ahora es de dominio públicoJevons, William Stanley (1911). "Boole, George". En Chisholm, Hugh (ed.). Encyclopædia Britannica . Vol. 4 (11.ª ed.). Cambridge University Press. págs. 235–236.
  22. ^ Ronald Calinger, Vita mathematica: investigación histórica e integración con la enseñanza (1996), pág. 292; Google Books Archivado el 27 de abril de 2016 en Wayback Machine .
  23. ^ ab Hill, p. 138 nota 4; Google Books Archivado el 27 de mayo de 2016 en Wayback Machine .
  24. ^ Registro de escrituras, Dublín. Memorial: 1863-007-257 (extracto). Un Memorial de un contrato de recompra con fecha del séptimo día de febrero de mil ochocientos sesenta y tres hecho entre William Hutchinson Massey de Mountmassey en el condado de Cork, señor, de la primera parte, George Boole de Blackrock en el condado de Cork, señor, profesor de matemáticas de la segunda parte, Wilhelmina Smithwick de Dunmanway en dicho condado de Cork, solterona, de la tercera parte y John Hewitt Wheatley de Craig House en el condado de Sligo, señor, de la cuarta parte recitando un cierto contrato de hipoteca con fecha del quinto día de enero de mil ochocientos sesenta y uno por el cual el mencionado John Hewitt Wheatley en consideración a la suma.... Y recitando que George Boole con el nombre y descripción de George Boole de Blackrock en el condado de Corke, profesor de matemáticas, en o a partir del período de Trinity de mil ochocientos sesenta y uno obtuvo una Sentencia en el Tribunal del Tribunal de la Reina en Irlanda contra dicho John Hewitt Wheatley por la suma de cuatrocientas libras de deuda además de las costas Y recitando que dicha Sentencia fue debidamente registrada el nueve de noviembre de mil ochocientos sesenta y uno por la cual de conformidad con el estatuto en tal Caso hecho y provisto el Patrimonio e interés de dicho John Hewitt Wheatley en dichas tierras y locales pasaron a ser propiedad de un tal George Boole pero sujetos a Redención...
  25. ^ Registro de escrituras, Dublín. Memorial: 1863-011-164 (extracto). Registrado: 30/03/1863. Memorial de una escritura de intención [..] hecha entre Edwards Casey, entonces de Waterloo Place en la ciudad de Cork, Esquire [..] y George Boole, entonces de Blackrock en el condado de Cork, Esquire, LLD, entonces profesor de matemáticas en el Queens College en Cork [..] Después de recitar que por escritura de arrendamiento con fecha del día veintisiete de marzo de mil ochocientos cincuenta y seis, John Litchfield, entonces de Ballymaloo en el condado de Cork, Esquire, hizo por las consideraciones mencionadas en el mismo la muerte y fijó para el mencionado William Jackson Cummins todo eso y aquello, la casa de vivienda con las instalaciones y el jardín y el campo amurallado a su parte posterior que a continuación se menciona y describe particularmente Mantener las mencionadas instalaciones arrendadas [..] Mantener la mencionada casa de vivienda y las instalaciones con las pertenencias para el mencionado George Boole, sus ejecutores, administradores y cesionarios, desde entonces en adelante por el residuo de dicho plazo de cien años y luego hasta venga y no vencido investido en él el susodicho Edwards Casey...
  26. ^ Registro de escrituras, Dublín. Memorial: 1865-030-121 (extracto). Registrado: 20/10/1865. Memorial de una cierta escritura de cesión con fecha del veintiún día de agosto de mil ochocientos sesenta y cinco y realizada entre Mary Boole de 68 Harley Street, Londres, viuda y albacea del último testamento de George Boole, fallecido de Litchfield Cottage Blackrock en el condado de Cork, señor LLD, por una parte, y Francis Heard de Ballintemple en el condado de Cork, señor, capitán del ochenta y siete regimiento de Su Majestad de South Cork, milicia, por la otra parte Por el cual, después de recitar que mediante escritura de arrendamiento con fecha del veintisiete día de marzo de mil ochocientos cincuenta y seis realizada entre John Litchfield de Ballymaloo en el condado de Cork, señor, por una parte, y William Jackson Cummins de la ciudad de Cork, doctor en medicina, por la otra parte, el susodicho John Litchfield cedió al susodicho William Jackson Cummins Todo eso y aquello, la casa de vivienda llamada Litchfield Cottage con las instalaciones y accesorios de la misma [..] también recitando que el susodicho George Boole [..] habiendo antes de su muerte debidamente hecho y publicado su último Testamento por escrito y por lo tanto legando todos sus bienes, términos e intereses en dicho contrato de arrendamiento antes recitado y las instalaciones por lo tanto cedidas a la susodicha Mary Boole parte de dicha escritura de la cual este es el Memorial y dicho Testamento fue posteriormente debidamente probado por la susodicha Mary Boole en el Tribunal de Sucesiones del Distrito de Cork... testigos en cuanto a la ejecución de dicha Escritura y este Memorial por la susodicha Mary Boole son testigos John Knights, Portero en Queens College, Harley Street, Londres y Jane White, Ama de Llaves 68 Harley Street, Londres.
  27. ^ "Catedral de Lincoln | Cosas que hacer". Archivado desde el original el 9 de noviembre de 2019 . Consultado el 16 de noviembre de 2019 .
  28. ^ MacHale, Desmond. La vida y obra de George Boole: un preludio a la era digital . pág. 97.
  29. ^ "Premios Keith 1827–1890". Earth and Environmental Science Transactions of the Royal Society of Edinburgh . 36 (3). Cambridge Journals Online: 767–770. Enero de 1892. doi :10.1017/S0080456800037984. S2CID  251574207. Archivado desde el original el 20 de agosto de 2016 . Consultado el 29 de noviembre de 2014 .
  30. ^ Ivor Grattan-Guinness , Gérard Bornet, George Boole: Manuscritos seleccionados sobre lógica y su filosofía (1997), pág. xiv; Google Books Archivado el 22 de mayo de 2016 en Wayback Machine .
  31. ^ Una lista de las memorias y artículos de Boole se encuentra en el Catálogo de memorias científicas publicado por la Royal Society , y en el volumen complementario sobre ecuaciones diferenciales, editado por Isaac Todhunter . Para el Cambridge Mathematical Journal y su sucesor, el Cambridge and Dublin Mathematical Journal , Boole contribuyó con 22 artículos en total. En la tercera y cuarta serie de la Philosophical Magazine se encuentran 16 artículos. La Royal Society publicó seis memorias en las Philosophical Transactions , y algunas otras memorias se pueden encontrar en las Transactions of the Royal Society of Edinburgh y of the Royal Irish Academy , en el Bulletin de l'Académie de St-Pétersbourg de 1862 (bajo el nombre de G. Boldt, vol. iv. pp. 198-215), y en Crelle's Journal . También se incluye un artículo sobre la base matemática de la lógica, publicado en The Mechanics' Magazine en 1848.
  32. ^ Andrei Nikolaevich Kolmogorov , Adolf Pavlovich Yushkevich (editores), Matemáticas del siglo XIX: teoría de funciones según Chebyshev, ecuaciones diferenciales ordinarias, cálculo de variaciones, teoría de diferencias finitas (1998), págs. 130-2; Google Books Archivado el 10 de mayo de 2016 en Wayback Machine .
  33. ^ Jeremy Gray , Karen Hunger Parshall , Episodios en la historia del álgebra moderna (1800–1950) (2007), pág. 66; Google Books Archivado el 16 de mayo de 2016 en Wayback Machine .
  34. ^ George Boole, El análisis matemático de la lógica, un ensayo hacia un cálculo del razonamiento deductivo Archivado el 11 de mayo de 2016 en Wayback Machine . (Londres, Inglaterra: Macmillan, Barclay y Macmillan, 1847).
  35. ^ George Boole, Un tratado sobre ecuaciones diferenciales (1859), Internet Archive.
  36. ^ George Boole, Un tratado sobre el cálculo de diferencias finitas (1860), Internet Archive.
  37. ^ Boole, George (1857). "Sobre la comparación de lo trascendente, con ciertas aplicaciones a la teoría de las integrales definidas". Philosophical Transactions of the Royal Society of London . 147 : 745–803. doi : 10.1098/rstl.1857.0037 . JSTOR  108643.
  38. ^ ab Cima, Joseph A.; Matheson, Alec; Ross, William T. (2005). "La transformada de Cauchy". Dominios cuádruples y sus aplicaciones . Oper. Theory Adv. Appl. Vol. 156. Basilea: Birkhäuser. págs. 79–111. MR  2129737.
  39. ^ John Corcoran , Los análisis previos de Aristóteles y las leyes del pensamiento de Boole, Historia y filosofía de la lógica, vol. 24 (2003), págs. 261–288.
  40. ^ Grattan-Guinness, I. "Boole, George". Oxford Dictionary of National Biography (edición en línea). Oxford University Press. doi :10.1093/ref:odnb/2868. (Se requiere suscripción o membresía a una biblioteca pública del Reino Unido).
  41. ^ de Witold Marciszewski (editor), Diccionario de lógica aplicada al estudio del lenguaje (1981), págs. 194-5.
  42. ^ Corcoran, John (2003). "Los análisis previos de Aristóteles y las leyes del pensamiento de Boole". Historia y filosofía de la lógica , 24 : 261–288. Reseñado por Risto Vilkko. Boletín de lógica simbólica , 11 (2005) 89–91. También por Marcel Guillaume, Mathematical Reviews 2033867 (2004m:03006).
  43. George Boole. 1854/2003. The Laws of Thought , facsímil de la edición de 1854, con una introducción de John Corcoran . Buffalo: Prometheus Books (2003). Reseñado por James van Evra en Philosophy in Review.24 (2004) 167–169.
  44. ^ ab Andrei Nikolaevich Kolmogorov , Adolf Pavlovich Yushkevich , Matemáticas del siglo XIX: lógica matemática, álgebra, teoría de números, teoría de la probabilidad (2001), pp. 15 (nota 15)–16; Google Books Archivado el 17 de mayo de 2016 en Wayback Machine .
  45. ^ Burris, Stanley. "El álgebra de la tradición lógica". En Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy .
  46. ^ Boole, George (1854). Una investigación de las leyes del pensamiento. Londres: Walton & Maberly. pp. 265–275. ISBN 9780790592428.
  47. ^ "Búsqueda rápida de la ciudad de Dublín: Edificios de Irlanda: Inventario nacional del patrimonio arquitectónico". Archivado desde el original el 4 de noviembre de 2016 . Consultado el 3 de noviembre de 2016 .
  48. ^ ab Barker, Tommy (13 de junio de 2015). "Eche un vistazo al interior de la casa del profesor de matemáticas de la UCC George Boole". Irish Examiner . Archivado desde el original el 3 de julio de 2019 . Consultado el 6 de noviembre de 2015 .
  49. ^ C., Bruno, Leonard (2003) [1999]. Matemáticas y matemáticos: la historia de los descubrimientos matemáticos en todo el mundo . Baker, Lawrence W. Detroit, Michigan: UX L. pp. 52. ISBN 0787638137.OCLC 41497065  .{{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )
  50. ^ Burris, Stanley (2 de septiembre de 2018). Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archivado desde el original el 2 de septiembre de 2019. Consultado el 2 de septiembre de 2019 a través de Stanford Encyclopedia of Philosophy.
  51. ^ "George Boole". Encyclopædia Britannica . Encyclopædia Britannica, inc. 30 de enero de 2017. Archivado desde el original el 7 de diciembre de 2017 . Consultado el 7 de diciembre de 2017 .
  52. ^ "Muerte-su-vida-- George Boole 200". Archivado desde el original el 7 de febrero de 2020. Consultado el 10 de febrero de 2015 .
  53. ^ PJ Brown, Pascal de Basic , Addison-Wesley, 1982. ISBN 0-201-13789-5 , página 72 
  54. ^ "Centro Boole de Investigación en Informática". Archivado desde el original el 16 de agosto de 2019. Consultado el 18 de diciembre de 2021 .
  55. ^ ab Ivor Grattan-Guinness , Gérard Bornet, George Boole: Manuscritos seleccionados sobre lógica y su filosofía (1997), pág. xlvi; Google Books Archivado el 25 de abril de 2016 en Wayback Machine .
  56. ^ Capítulo XVI, p. 167, sección 6 de Un tratado sobre probabilidad , volumen 4: "El error central en su sistema de probabilidad surge de dar dos definiciones inconsistentes de 'independencia' (2) Primero gana la aquiescencia del lector dando una definición perfectamente correcta: "Se dice que dos eventos son independientes cuando la probabilidad de cualquiera de ellos no se ve afectada por nuestra expectativa de la ocurrencia o falla del otro". (3) Pero un momento después interpreta el término en un sentido completamente diferente; porque, según la segunda definición de Boole, debemos considerar los eventos como independientes a menos que se nos diga que deben coincidir o que no pueden coincidir. Es decir, son independientes a menos que sepamos con certeza que hay, de hecho, una conexión invariable entre ellos. "Los eventos simples, x , y , z , se dirán que están condicionados cuando no son libres de ocurrir en cada combinación posible; en otras palabras, cuando se impide que ocurra algún evento compuesto que dependa de ellos. ... Los sucesos simples incondicionados son por definición independientes." (1) De hecho, mientras xz sea posible , x y z son independientes. Esto es claramente incompatible con la primera definición de Boole, con la que no intenta conciliarla. Las consecuencias de emplear el término independencia en un doble sentido son de largo alcance. Porque utiliza un método de reducción que sólo es válido cuando los argumentos a los que se aplica son independientes en el primer sentido y supone que es válido si son independientes en el segundo sentido. Aunque sus teoremas son verdaderos si todas las proposiciones o sucesos implicados son independientes en el primer sentido, no son verdaderos, como supone que lo son, si los sucesos son independientes sólo en el segundo sentido."
  57. ^ "Zetetic Glanings". Archivado desde el original el 18 de julio de 2011. Consultado el 10 de marzo de 2009 .
  58. ^ "Desde entonces, esa tesis ha sido aclamada como una de las tesis de maestría más importantes del siglo XX. A todos los efectos, su uso del código binario y el álgebra de Boole allanó el camino para los circuitos digitales que son cruciales para el funcionamiento de las computadoras y los equipos de telecomunicaciones modernos". Emerson, Andrew (8 de marzo de 2001). "Claude Shannon". The Guardian . Reino Unido. Archivado desde el original el 10 de abril de 2019 . Consultado el 14 de diciembre de 2016 .
  59. ^ "George Boole 200 – Celebraciones del bicentenario de George Boole". Archivado desde el original el 21 de septiembre de 2014.
  60. ^ "Cork University Press". Archivado desde el original el 8 de noviembre de 2015. Consultado el 6 de noviembre de 2014 .
  61. ^ James Gasser, Una antología de Boole: estudios recientes y clásicos sobre la lógica de George Boole (2000), pág. 5; Google Books Archivado el 10 de mayo de 2016 en Wayback Machine .
  62. ^ Gasser, pág. 10; Google Books Archivado el 11 de mayo de 2016 en Wayback Machine .
  63. ^ Boole, George (1851). Las afirmaciones de la ciencia, especialmente en lo que se refiere a su relación con la naturaleza humana; una conferencia. Archivado desde el original el 1 de febrero de 2014 . Consultado el 4 de marzo de 2012 .
  64. ^ Boole, George (1855). El aspecto social de la cultura intelectual: discurso pronunciado en el Cork Athenæum, el 29 de mayo de 1855, en la velada de la Cuvierian Society. George Purcell & Co. Archivado desde el original el 1 de febrero de 2014. Consultado el 4 de marzo de 2012 .
  65. ^ Asociación Internacional de Estudios Semióticos; Consejo Internacional de Filosofía y Estudios Humanísticos; Consejo Internacional de Ciencias Sociales (1995). "Una historia de dos aficionados". Semiotica, Volumen 105. Mouton. p. 56. La biografía de MacHale llama a George Boole "un deísta agnóstico". La clasificación de ambos Boole de las "filosofías religiosas" como monistas, dualistas y trinitarias dejó pocas dudas sobre su preferencia por "la religión de la unidad", ya fuera judía o unitaria.
  66. ^ Asociación Internacional de Estudios Semióticos; Consejo Internacional de Filosofía y Estudios Humanísticos; Consejo Internacional de Ciencias Sociales (1996). Semiotica, Volumen 105. Mouton. p. 17. MacHale no reprime esta u otra evidencia de las creencias y prácticas de Boole en el siglo XIX en lo paranormal y en el misticismo religioso. Incluso admite que las numerosas y distinguidas contribuciones de George Boole a la lógica y las matemáticas pueden haber estado motivadas por sus distintivas creencias religiosas como "deísta agnóstico" y por una sensibilidad personal inusual hacia los sufrimientos de otras personas.
  67. ^ Boole, George. Estudios de lógica y probabilidad. 2002. Courier Dover Publications. págs. 201-202.
  68. ^ Boole, George. Estudios de lógica y probabilidad. 2002. Courier Dover Publications. pág. 451.
  69. Some-Side of a Scientific Mind (2013). pp. 112-113. The University Magazine, 1878. Londres: Forgotten Books. (Obra original publicada en 1878)
  70. Observaciones finales de su tratado sobre "Clarke y Spinoza", que se encuentran en Boole, George (2007). Una investigación sobre las leyes del pensamiento. Cosimo, Inc. Cap. XIII. págs. 217-218. (Obra original publicada en 1854)
  71. ^ Boole, George (1851). Las pretensiones de la ciencia, especialmente las fundadas en sus relaciones con la naturaleza humana; una conferencia, Volumen 15, pág. 24
  72. ^ Jonardon Ganeri (2001), Indian Logic: a reader , Routledge, pág. 7, ISBN 0-7007-1306-9 ; Google Books Archivado el 19 de abril de 2016 en Wayback Machine
  73. ^ abc Boole, Mary Everest El pensamiento indio y la ciencia occidental en el siglo XIX , Boole, Mary Everest Collected Works eds. EM Cobham y ES Dummer, Londres, Daniel 1931 pp.947–967
  74. ^ Grattan-Guinness y Bornet, pág. 16; Google Books Archivado el 8 de mayo de 2016 en Wayback Machine .
  75. ^ Kak, S. (2018) Las leyes del pensamiento de George Boole y la lógica india. Current Science, vol. 114, 2570–2573
  76. ^ Boole, George (2012) [Publicado originalmente por Watts & Co., Londres, en 1952]. Rhees, Rush (ed.). Estudios de lógica y probabilidad (edición reimpresa). Mineola, Nueva York: Dover Publications. p. 273. ISBN 978-0-486-48826-4Archivado desde el original el 5 de mayo de 2016 . Consultado el 27 de octubre de 2015 .
  77. ^ "Familia y genealogía: su vida George Boole 200". Georgeboole.com. Archivado desde el original el 28 de agosto de 2017. Consultado el 7 de marzo de 2016 .
  78. ^ "Mi derecho a morir", Mujer se suicida en The Washington Times v. 28 de mayo de 1908 (PDF archivado el 5 de junio de 2012 en Wayback Machine ); La señora Mary Hinton se suicida en The New York Times v. 29 de mayo de 1908 (PDF archivado el 25 de febrero de 2021 en Wayback Machine ).
  79. ^ "|George Boole 200|Noticias".
  80. ^ "Smothers In Orchard" en The Los Angeles Times v. 27 de febrero de 1909.
  81. ^ D. MacHale, La vida y la obra de George Boole: un preludio a la era digital , Cork University Press, 2014. citado en El extraordinario caso de la familia Boole Archivado el 16 de noviembre de 2019 en Wayback Machine por Moira Chas

Referencias

Enlaces externos