Verena Esther Huber-Dyson (6 de mayo de 1923 - 12 de marzo de 2016) fue una matemática suiza-estadounidense, conocida por su trabajo sobre teoría de grupos y lógica formal . [1] [2] Ha sido descrita como una "matemática brillante", [2] que investigó la interfaz entre álgebra y lógica , centrándose en la indecidibilidad en la teoría de grupos. En el momento de su muerte, era profesora emérita del departamento de filosofía de la Universidad de Calgary , Alberta.
Biografía
Temprana edad y educación
Huber-Dyson nació como Verena Esther Huber en Nápoles , Italia , el 6 de mayo de 1923. Sus padres, Karl (Charles) Huber (1893–1946) y Berthy Ryffel (1899–1945), eran ciudadanos suizos [3] quienes criaron a Verena. y su hermana Adelheid ("Heidi", 1925-1987) en Atenas , Grecia , donde las niñas asistieron a la Deutsche Schule , o Escuela Alemana de Atenas , de habla alemana , hasta que la guerra las obligó a regresar a Suiza en 1940.
Charles Huber, que había dirigido las operaciones en Oriente Medio de Bühler AG, una empresa suiza de ingeniería de procesos alimentarios, empezó a trabajar para el Comité Internacional de la Cruz Roja (CICR), supervisando el tratamiento de los prisioneros de guerra en los campos de internamiento. Como delegado del CICR en India y Ceilán, fue responsable de los prisioneros italianos retenidos en campos británicos, pero también visitó campos alemanes y aliados en Europa. En 1945-46 se desempeñó como delegado del CICR en los Estados Unidos, país que describió a Verena como un lugar que "definitivamente debería experimentar en profundidad y profundidad, pero en el que definitivamente no debería establecerse". [1]
Verena se casó con Hans-Georg Haefeli, un colega matemático, en 1942 y se divorció en 1948. Su primera hija, Katarina Halm (de soltera Halm), nació en 1945. [3] [8]
Posteriormente se casó con Freeman Dyson en Ann Arbor, Michigan, el 11 de agosto de 1950. [5] Tuvieron dos hijos juntos, Esther Dyson (nacida el 14 de julio de 1951 en Zurich) y George Dyson (nacido en 1953, Ithaca, Nueva York). , [2] [5] y divorciado en 1958. [8]
Publicaciones Seleccionadas
"Hay más en la verdad de lo que la prueba puede captar ".
—Roberts 2016
Monografías
Haefeli-Huber, Verena Esther (1948). Ein Dualismus als Klassifikationsprinzip in der abstrakten Gruppentheorie [ Un dualismo como principio de clasificación en la teoría abstracta de grupos ] (PhD) (en alemán). Universidad de Zúrich. OCLC 2277810.
Roggenkamp, Klaus W.; Huber-Dyson, Verena (1970). Celosías sobre Órdenes I. Apuntes de conferencias de matemáticas (n.º 115). Springer-Verlag . doi :10.1007/BFb0068796. ISBN 978-3-540-04904-3.
Huber-Dyson, Verena (1991). Teoremas de Gödel: un libro de trabajo sobre formalización. 122 en Teubner-Texte zur Mathematik. BG Teubner Verlagsgesellschaft. ISBN 978-3-8154-2023-2.
Artículos
Huber-Dyson, Verena; Kreisel, Georg (1961). "Análisis de la construcción semántica de la lógica intuicionista de Beth". Informe de investigación de Stanford . 3 .
Huber-Dyson, Verena (1964). "Sobre el problema de decisión para teorías de modelos finitos". Revista Israelí de Matemáticas . 2 (1): 55–70. doi :10.1007/bf02759735. S2CID 122395102.
Huber-Dyson, Verena (1965). "Fuerte representabilidad de funciones de teoría de números". Informe de aviones Hughes .
Huber-Dyson, Verena (1969). "Sobre el problema de decisión para extensiones de una teoría decidible". Fundamentos Mathematicae . 64 : 7–40. doi : 10.4064/fm-64-1-7-40 .
Huber-Dyson, Verena (1974). "Una familia de grupos con bonitos problemas verbales". Revista de la Sociedad Australiana de Matemáticas . 17 .
Huber-Dyson, Verena (1977). "Hablando de grupos libres en lenguajes naturalmente enriquecidos". Comunicaciones en Álgebra . 5 (11): 1163-1191. doi :10.1080/00927877708822214.
Huber-Dyson, Verena (1979). "Una teoría inductiva para productos libres de grupos". Álgebra universal . 9 : 35–44. doi :10.1007/BF02488014. S2CID 119943802.
Huber-Dyson, Verena (1981). "Una reducción del problema de las oraciones abiertas para grupos finitos". Boletín de la Sociedad Matemática de Londres . 13 (4): 331–338. doi :10.1112/blms/13.4.331.
Huber-Dyson, Verena (1982). "Grupos simétricos y el problema de las oraciones abiertas". Simposio de lógica de Patras . Holanda del Norte.
Huber-Dyson, Verena (1982). "Condiciones de finitud y el problema verbal". Grupos St. Andrews 1981 . Notas de la conferencia de LMS. vol. 71.
Huber-Dyson, Verena; Jones, James Parques; Shepherdson, John Cedric (1982). "Algunas formas diofánticas del teorema de Gödel". Archivo para la lógica matemática . 22 .
Huber-Dyson, Verena (1982). "Problemas de decisión en teoría de grupos". Tendencias recientes en matemáticas, Reinhardsbrunn 1982 . Teubner Texte zur Mathematik. vol. 50.
Huber-Dyson, Verena (1984). "Grupos finitos de construcción de HNN". Grupos Corea 1983 . Notas de la conferencia de Springer sobre matemáticas. vol. 1098.
Huber-Dyson, Verena (1981). "Aviso crítico sobre Gödel, Escher, Bach por DR Hofstadter". Revista Canadiense de Filosofía . 11 (4).
Huber-Dyson, Verena (1996). "Reflexiones con motivo del 70 cumpleaños de Kreisel". En Odifreddi (ed.). Kreiseliana, sobre y alrededor de George Kreisel . AK Peters.
Huber-Dyson, Verena (junio de 1996). "Gritos y sombras sobre los avisos" (PDF) . Avisos de la AMS . 43 (6): 653 . Consultado el 2 de noviembre de 2020 .{{cite journal}}: Mantenimiento CS1: fecha y año ( enlace )
Huber-Dyson, Verena (15 de febrero de 1998). "Sobre la naturaleza de los conceptos matemáticos: ¿por qué y cómo los matemáticos sacan conclusiones precipitadas?". Edge.org . Consultado el 26 de febrero de 2020 .
Huber-Dyson, Verena (27 de julio de 2005). "Gödel y la naturaleza de la verdad matemática II". Edge.org . Consultado el 26 de febrero de 2020 .
Huber-Dyson, Verena (13 de mayo de 2006). "Gödel en pocas palabras". borde.org . Consultado el 2 de noviembre de 2020 .
Referencias
Notas
Citas
^ abcd "Obituario de Verena Huber-Dyson". Homenajes de despedida de los Moles . 12 de marzo de 2016. Archivado desde el original el 26 de febrero de 2020 . Consultado el 26 de febrero de 2020 .
^ "Una comunidad de académicos". Instituto de Estudios Avanzados . Archivado desde el original el 7 de enero de 2013 . Consultado el 14 de marzo de 2014 .
Brockman, John (13 de marzo de 2016). "Verena Huber-Dyson del 6 de mayo de 1923 al 12 de marzo de 2016". borde.org . Consultado el 2 de noviembre de 2020 .
Brooks, Pamela (3 de enero de 2002). "Fragmentos de Pender" (PDF) . Madera flotante de la isla del golfo . pag. 20 . Consultado el 2 de noviembre de 2020 .
Dawidoff, Nicholas (25 de marzo de 2009). "El hereje civil". Los New York Times . Consultado el 30 de octubre de 2020 .
Feferman, Solomán; Feferman, Anita (2004). Alfred Tarski: vida y lógica . Prensa de la Universidad de Cambridge. ISBN 9780521802406.
Roberts, Siobhan (29 de junio de 2016). "Esperando a Gödel". El neoyorquino . Consultado el 2 de noviembre de 2020 .
Schewe, Phillip (2013). "Maverick Genius: La odisea pionera de Freeman Dyson". Física hoy . 66 (6): 52. Código Bib :2013PhT....66f..52B. doi : 10.1063/PT.3.2012 .
Sherman, Linda (24 de marzo de 2009). "Esther Dyson visionaria extraordinaria". Es diferente para las niñas . Consultado el 2 de noviembre de 2020 .