stringtranslate.com

Verena Huber Dyson

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]

Estudió matemáticas, con especialización en física y filosofía, en la Universidad de Zurich , 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 .

Carrera

Huber-Dyson aceptó un nombramiento postdoctoral en el Instituto de Estudios Avanzados de Princeton en 1948, [7] donde trabajó en teoría de grupos y lógica formal . [8] [9] También comenzó a enseñar en Goucher College cerca de Baltimore durante este tiempo. [9]

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 Lógica y Metodología de la Ciencia de Alfred Tarski en la Universidad de California, Berkeley . [8] [10]

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. [11]

Afiliaciones académicas anteriores a junio de 1968

Auto retrato
Autorretrato , 1954 [12]

Afiliaciones académicas después de septiembre de 1968

Actividades en Calgary

Empleo no académico

Vida posterior

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] [12]

Vida personal

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

Artículos

Referencias

Notas

Citas

  1. ^ 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 .
  2. ^ abc Dawidoff 2009.
  3. ^ ab Schewe 2013, pág. 52.
  4. ^ Haefeli-Huber 1948.
  5. ^ abc O'Connor, John J.; Robertson, Edmund F. , "Freeman Dyson", Archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews
  6. ^ Verena Huber-Dyson en el Proyecto de genealogía de matemáticas
  7. ^ "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 .
  8. ^ abcd Feferman y Feferman 2004, págs.
  9. ^ ab Schewe 2013, pág. 72.
  10. ^ Huber-Dyson 2006.
  11. ^ Schewe 2013.
  12. ^ ABC Brockman 2016.
  13. ^ Huber-Dyson 1991.
  14. ^ Sherman 2009.
  15. ^ Huber-Dyson 1996a, pág. 653.
  16. ^ Arroyos 2002, pag. 20.
  17. ^ Verena Huber-Dyson en Flickr

Fuentes