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
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, tuvo 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]
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]
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
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 e intereses de propiedad" 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.
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 una amistad entre Boole y 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]
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]
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 ciertas 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 que la ecuación x + x = 0 implica 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
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
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.
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 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 en 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 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]
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 presentaron 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 grandes cantidades de evidencias sobre hechos externos. [73]
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:
Mary Ellen (1856–1908) [77] , que se casó con el matemático y escritor Charles Howard Hinton y tuvo cuatro hijos. Tras la repentina muerte de su marido, Mary Ellen se suicidó en Washington, DC , en mayo de 1908. [78]
George Hinton (1882-1943), ingeniero de minas y botánico
Jean Hinton (nombre de casada Rosner) (1917–2002), activista por la paz.
William H. Hinton (1919-2004) visitó China en las décadas de 1930 y 1940 y escribió un influyente relato sobre la reforma agraria comunista.
Joan Hinton (1921–2010) trabajó para el Proyecto Manhattan y vivió en China desde 1948 hasta su muerte el 8 de junio de 2010; estuvo casada con Sid Engst .
Margaret (1858-1935) se casó con Edward Ingram Taylor, un artista.
Su hijo Leonard Stott, médico y pionero de la tuberculosis, inventó una máquina de rayos X portátil , un aparato de neumotórax y un sistema de navegación basado en coordenadas esféricas. [81]
Lucy Everest (1862-1904), quien fue la primera profesora de química en Inglaterra.
^ abcd Hill, pág. 149; Google Books Archivado el 17 de marzo de 2016 en Wayback Machine .
^ Ivor Grattan-Guinness (ed.), Enciclopedia complementaria de la historia y la filosofía de las ciencias matemáticas , Routledge, 2002, cap. 5.1.
^ 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 .
^ 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 .
^ 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. ISBN978-0691176000.JSTOR j.cttq957s .
^ 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 .
^ "John Boole". Fundación Lincoln Boole. Archivado desde el original el 8 de marzo de 2016. Consultado el 6 de noviembre de 2015 .
^ "Árbol genealógico de George Boole". Archivado desde el original el 24 de febrero de 2021 . Consultado el 12 de abril de 2021 .
^ 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. ISBN0787638137.OCLC 41497065 .{{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )
^ 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. ISBN0787638137.OCLC 41497065 .{{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )
^ 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
^ "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 .
^ 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).
^ George Boole: Autoeducación y primeros años de carrera Archivado el 22 de noviembre de 2017 en Wayback Machine University College Cork
^ 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.
^ Hill, p. 172 nota 2; Google Books Archivado el 10 de junio de 2016 en Wayback Machine .
^ Hill, p. 130 nota 1; Google Books Archivado el 27 de abril de 2016 en Wayback Machine .
^ Hill, pág. 148; Google Books Archivado el 4 de mayo de 2016 en Wayback Machine .
^ 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 .
^ ab Hill, p. 138 nota 4; Google Books Archivado el 27 de mayo de 2016 en Wayback Machine .
^ 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, Esquire, de la primera parte, George Boole de Blackrock en el condado de Cork, Esquire, 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, Esquire, 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 obtuvo en o a partir del período de Trinity de mil ochocientos sesenta y uno un fallo 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...
^ 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...
^ 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 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.
^ MacHale, Desmond. La vida y obra de George Boole: un preludio a la era digital . pág. 97.
^ "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 .
^ 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 .
^ "Catedral de Lincoln | Cosas que hacer". Archivado desde el original el 9 de noviembre de 2019 . Consultado el 16 de noviembre de 2019 .
↑ 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 suplementario 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 imprimió 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.
^ 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-132; Google Books Archivado el 10 de mayo de 2016 en Wayback Machine .
^ 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).
^ George Boole, Un tratado sobre ecuaciones diferenciales (1859), Internet Archive.
^ George Boole, Un tratado sobre el cálculo de diferencias finitas (1860), Internet Archive.
^ 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.
^ 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.
^ 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.
^ 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).
^ de Witold Marciszewski (editor), Diccionario de lógica aplicada al estudio del lenguaje (1981), págs. 194-5.
^ Corcoran, John (2003). "Aristotle's Prior Analytics and Boole's Laws of Thought". 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).
↑ 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.
^ Boole, George (1854). Una investigación de las leyes del pensamiento. Londres: Walton & Maberly. pp. 265–275. ISBN9780790592428.
^ "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 .
^ 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 .
^ 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. ISBN0787638137.OCLC 41497065 .{{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )
^ 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.
^ "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 .
^ "Muerte-su-vida-- George Boole 200". Archivado desde el original el 7 de febrero de 2020. Consultado el 10 de febrero de 2015 .
^ PJ Brown, Pascal de Basic , Addison-Wesley, 1982. ISBN 0-201-13789-5 , página 72
^ "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 .
^ 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 .
^ 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 condicionados cuando no sean 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 que emplee 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."
^ "ZETETIC GLEANINGS". Archivado desde el original el 18 de julio de 2011. Consultado el 10 de marzo de 2009 .
^ "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 .
^ "George Boole 200 – Celebraciones del bicentenario de George Boole". Archivado desde el original el 21 de septiembre de 2014.
^ "Cork University Press". Archivado desde el original el 8 de noviembre de 2015. Consultado el 6 de noviembre de 2014 .
^ 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 .
^ Gasser, pág. 10; Google Books Archivado el 11 de mayo de 2016 en Wayback Machine .
^ 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 .
^ 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 .
^ 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.
^ 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.
^ Boole, George. Estudios de lógica y probabilidad. 2002. Courier Dover Publications. págs. 201-202.
^ Boole, George. Estudios de lógica y probabilidad. 2002. Courier Dover Publications. pág. 451.
↑ Some-Side of a Scientific Mind (2013). pp. 112-113. The University Magazine, 1878. Londres: Forgotten Books. (Obra original publicada en 1878)
^ 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)
^ 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
^ 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 .
^ 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
^ Grattan-Guinness y Bornet, pág. 16; Google Books Archivado el 8 de mayo de 2016 en Wayback Machine .
^ Kak, S. (2018) Las leyes del pensamiento de George Boole y la lógica india. Current Science, vol. 114, 2570–2573
^ 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. ISBN978-0-486-48826-4Archivado desde el original el 5 de mayo de 2016 . Consultado el 27 de octubre de 2015 .
^ "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 .
^ "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 ).
^ "|George Boole 200|Noticias".
^ "Smothers In Orchard" en The Los Angeles Times v. 27 de febrero de 1909.
^ D. MacHale, La vida y la obra de George Boole: un preludio a la era digital , Cork University Press, 2014. citado en El caso extraordinario de la familia Boole Archivado el 16 de noviembre de 2019 en Wayback Machine por Moira Chas
Referencias
Walker, A. (ed) (2019) Lincoln de George Boole, 1815–49. The Survey of Lincoln, vol. 16. ISBN 9780993126352
University College Cork , Celebración del bicentenario de George Boole 200 , GeorgeBoole.com.
Ivor Grattan-Guinness , La búsqueda de raíces matemáticas 1870–1940 . Princeton University Press. 2000.
Francis Hill (1974), Lincoln victoriano ; Google Books Archivado el 17 de marzo de 2016 en Wayback Machine .
Des MacHale , George Boole: Su vida y obra . Boole Press. 1985.
Des MacHale , La vida y la obra de George Boole: un preludio a la era digital (nueva edición). Cork University Press Archivado el 8 de noviembre de 2015 en Wayback Machine . 2014
El cálculo de la lógica de George Boole; una transcripción de un artículo que apareció originalmente en Cambridge and Dublin Mathematical Journal , Vol. III (1848), págs. 183–98.
Trabajo de George Boole como primer profesor de matemáticas en el University College de Cork, Irlanda Archivado el 19 de noviembre de 2017 en Wayback Machine.