Verena Esther Huber-Dyson (6 de mayo de 1923 - 12 de marzo de 2016) fue una matemática suizo-estadounidense, conocida por su trabajo en teoría de grupos y lógica formal . [1] [2] Ha sido descrita como una "matemática brillante", [2] e investigó la interfaz entre el álgebra y la 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.
Verena Huber-Dyson | |
---|---|
Nació | Verena Esther Huber 6 de mayo de 1923 Nápoles , italia |
Fallecido | 12 de marzo de 2016 [1] | (92 años)
Otros nombres | Verena Huber, Verena Haefeli |
Ciudadanía |
|
Educación | Universidad de Zúrich |
Esposos) |
|
Niños |
|
Carrera científica | |
Campos | Lógica, álgebra |
Instituciones | |
Tesis | Ein Dualismus als Klassifikationsprinzip in der abstrakten Gruppentheorie (1947) |
Asesor de doctorado | Andreas Speiser |
Vida y carrera
Familia y vida temprana
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] que 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 de alimentos, comenzó 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 detenidos en los campos británicos, pero también visitó campos alemanes y aliados en Europa, y en 1945-46 se desempeñó como delegado del CICR en los Estados Unidos, lo que describió a Verena. como un lugar que "definitivamente debería experimentar en profundidad y en profundidad, pero con la misma seguridad no debería asentarse". [1]
Estudió matemáticas, con especialización en física y filosofía, en la Universidad de Zúrich , donde obtuvo su doctorado. en matemáticas en 1947 con una tesis en teoría de grupos finitos . [4] [5] [6] bajo la supervisión de Andreas Speiser .
Niños
Imagen externa | |
---|---|
Verena Huber-Dyson | |
Nueva Jersey, 1949 , [7] |
Verena se casó con Hans-Georg Haefeli, un compañero matemático, en 1942, y se divorció en 1948. Su primera hija, Katarina Haefeli (ahora 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]
Carrera profesional
Huber-Dyson aceptó un nombramiento como becaria postdoctoral en el Instituto de Estudios Avanzados de Princeton en 1948, [9] donde trabajó en teoría de grupos y lógica formal . [10] [8] También comenzó a enseñar en Goucher College cerca de Baltimore durante este tiempo. [10]
Se mudó a California con su hija Katarina, comenzó a enseñar en la Universidad Estatal de San José en 1959 y luego se unió al Grupo de Alfred Tarski en Lógica y Metodología de la Ciencia en la Universidad de California, Berkeley . [8] [11]
Huber-Dyson enseñó en la Universidad Estatal de San José, la Universidad de Zürich , la Universidad de Monash , así como en la Universidad de California, Berkeley , la Universidad Adelphi , la Universidad de California, Los Ángeles y la Universidad de Illinois en Chicago , en matemáticas y en departamentos de filosofía. Aceptó un puesto en el departamento de filosofía de la Universidad de Calgary en 1973, y se convirtió en emérita en 1988. [12]
Afiliaciones académicas anteriores a junio de 1968
- Universidad de Cornell
- Colegio Goucher
- Universidad Estatal de San José (septiembre de 1959)
- Universidad Adelphi
- UCLA
- Universidad de londres
- ETH Zürich
- Universidad de Warwick
- Universidad de Melbourne
- Universidad Monash
- Universidad Nacional Australiana en Canberra
- Universidad de Zúrich
- Mills College
- UC Berkeley
Afiliaciones académicas posteriores a septiembre de 1968
- Departamento de Matemáticas de la Universidad de Illinois en Chicago (septiembre de 1968 a junio de 1971) Profesor asistente de trayectoria permanente
- Departamento de Filosofía, Universidad de Calgary (septiembre de 1971 a junio de 1972) no permanente
- Departamento de Matemáticas, Universidad de Illinois en Chicago (septiembre de 1972 - junio de 1973) Profesor asociado titular
- Departamento de Filosofía de la Universidad de Calgary (septiembre de 1973 a junio de 1975) Profesor adjunto de permanencia
- Departamento de Filosofía de la Universidad de Calgary (septiembre de 1977 a junio de 1981) Profesor asociado titular.
- Departamento de Filosofía, Universidad de Calgary (septiembre de 1981 - junio de 1988) Profesor titular
- Departamento de Filosofía, Universidad de Calgary (septiembre de 1988 - marzo de 2016) Profesora emérita
Actividades en Calgary
- Impartió cursos de posgrado sobre los fundamentos de las matemáticas y la filosofía y metodología de las ciencias.
- Comenzó a trabajar en la monografía, Teoremas de Gödel: un libro de trabajo sobre formalización [13]
Empleo no académico
- Consultor de Remington Rand (Univac) en Filadelfia
- Consultor de Hughes Aircraft en Los Ángeles
Vida posterior
Imagen externa | |
---|---|
Verena Huber-Dyson | |
Vida posterior , [14] |
Después de retirarse de Calgary, Verena Huber-Dyson regresó a South Pender Island en Columbia Británica , donde vivió durante 14 años. [15] [16] Murió el 12 de marzo de 2016 en Bellingham, Washington , a la edad de 92 años. [1] [7]
Publicaciones Seleccionadas
"Hay más en la verdad de lo que se puede captar mediante pruebas ".
- 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 de grupos abstracta ] (PhD) (en alemán). Universidad de Zurich. OCLC 2277810 .
- Roggenkamp, Klaus W .; Huber-Dyson, Verena (1970). Vallados sobre Órdenes I . Apuntes de clase en Matemáticas (No 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
Imagen externa | |
---|---|
Verena Huber-Dyson | |
28 de julio de 2006 [17] |
- 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 las teorías de modelos finitos". Revista de Matemáticas de Israel . 2 (1): 55–70. doi : 10.1007 / bf02759735 . S2CID 122395102 .
- Huber-Dyson, Verena (1965). "Fuerte representabilidad de funciones teóricas de números". Informe de la aeronave Hughes .
- Huber-Dyson, Verena (1969). "Sobre el problema de decisión para extensiones de una teoría decidible" . Fundamenta Mathematicae . 64 : 7–40. doi : 10.4064 / fm-64-1-7-40 .
- Huber-Dyson, Verena (1974). "Una familia de grupos con problemas de palabras agradables". Revista de la Sociedad Matemática Australiana . 17 .
- Huber-Dyson, Verena (1977). "Hablar de grupos libres en lenguas naturalmente enriquecidas". 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 Universalis . 9 : 35–44. doi : 10.1007 / BF02488014 . S2CID 119943802 .
- Huber-Dyson, Verena (1981). "Una reducción del problema de oración abierta para grupos finitos". Boletín de la London Mathematical Society . 13 (4): 331–338. doi : 10.1112 / blms / 13.4.331 .
- Huber-Dyson, Verena (1982). "Grupos simétricos y el problema de la oración abierta". Simposio de Patras Logic . Holanda Septentrional.
- Huber-Dyson, Verena (1982). "Condiciones de finitud y el problema de la palabra". Grupos St. Andrews 1981 . Notas de la conferencia de LMS. 71 .
- Huber-Dyson, Verena; Jones, James Parks; Shepherdson, John Cedric (1982). "Algunas formas diofánticas del teorema de Gödel". Archiv für Mathematische Logik . 22 .
- Huber-Dyson, Verena (1982). "Problemas de decisión en la teoría de grupos". Tendencias recientes en matemáticas, Reinhardsbrunn 1982 . Teubner Texte zur Mathematik. 50 .
- Huber-Dyson, Verena (1984). "Grupos finitos de construcción de HNN". Grupos Corea 1983 . Springer Lecture Notes in Mathematics. 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). "Pensamientos con motivo del 70 cumpleaños de Kreisel". En Odifreddi (ed.). Kreiseliana, alrededor de George Kreisel . AK Peters.
- Huber-Dyson, Verena (junio de 1996). "Gritos y sombras sobre los avisos" (PDF) . Avisos del AMS . 43 (6): 653 . Consultado el 2 de noviembre de 2020 .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 llegan los matemáticos a conclusiones?" . 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" . edge.org . Consultado el 2 de noviembre de 2020 .
Referencias
Notas
Citas
- ^ a b c d "Obituario de Verena Huber-Dyson" . Homenajes de despedida de los lunares . 12 de marzo de 2016. Archivado desde el original el 26 de febrero de 2020 . Consultado el 26 de febrero de 2020 .
- ↑ a b c Dawidoff, 2009 .
- ↑ a b Schewe , 2013 , p. 52.
- ^ Haefeli-Huber, 1948 .
- ^ a b c O'Connor, John J .; Robertson, Edmund F. , "Freeman Dyson" , archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews
- ^ Verena Huber-Dyson en el Proyecto de genealogía matemática
- ^ a b c Brockman, 2016 .
- ↑ a b c d Feferman y Feferman , 2004 , págs. 272-276.
- ^ "Una comunidad de eruditos" . Instituto de Estudios Avanzados . Archivado desde el original el 7 de enero de 2013 . Consultado el 14 de marzo de 2014 .
- ↑ a b Schewe , 2013 , p. 72.
- ^ Huber-Dyson, 2006 .
- ^ Schewe, 2013 .
- ^ Huber-Dyson 1991 .
- ^ Sherman, 2009 .
- ^ Huber-Dyson 1996a , p. 653.
- ^ Brooks 2002 , p. 20.
- ^ Verena Huber-Dyson en Flickr
Fuentes
- Brockman, John (13 de marzo de 2016). "Verena Huber-Dyson 6 de mayo de 1923 - 12 de marzo de 2016" . edge.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" . nytimes.com . Consultado el 30 de octubre de 2020 .
- Feferman, Soloman; Feferman, Anita (2004). Alfred Tarski: vida y lógica . Prensa de la Universidad de Cambridge.
- Roberts, Siobhan (29 de junio de 2016). "Esperando a Gödel" . The New Yorker . Consultado el 2 de noviembre de 2020 .
- Schewe, Phillip (2013). "Genio inconformista: la odisea pionera de Freeman Dyson". La física hoy . 66 (6): 52. Bibcode : 2013PhT .... 66f..52B . doi : 10.1063 / PT.3.2012 .
- Sherman, Linda (24 de marzo de 2009). "Esther Dyson Visionary Extraordinaire" . Es diferente para las niñas . Consultado el 2 de noviembre de 2020 .