Verena Huber-Dyson - Verena Huber-Dyson
Verena Huber-Dyson | |
---|---|
Nascer |
Verena Esther Huber
6 de maio de 1923
Nápoles , Itália
|
Morreu | 12 de março de 2016 |
(92 anos)
Outros nomes | Verena Huber, Verena Haefeli |
Cidadania |
|
Educação | Universidade de Zurique |
Cônjuge (s) | |
Crianças | |
Carreira científica | |
Campos | Lógica, álgebra |
Instituições | |
Tese | Ein Dualismus als Klassifikationsprinzip in der abstrakten Gruppentheorie (1947) |
Orientador de doutorado | Andreas Speiser |
Verena Esther Huber-Dyson (6 de maio de 1923 - 12 de março de 2016) foi uma matemática suíça-americana, conhecida por seus trabalhos em teoria de grupos e lógica formal . Ela foi descrita como uma "matemática brilhante" e pesquisou a interface entre álgebra e lógica, com foco na indecidibilidade na teoria dos grupos . Na época de sua morte, ela era professora emérita no departamento de filosofia da Universidade de Calgary , Alberta.
vida e carreira
Família e início da vida
Huber-Dyson nasceu Verena Esther Huber em Nápoles , Itália , em 6 de maio de 1923. Seus pais, Karl (Charles) Huber (1893–1946) e Berthy Ryffel (1899–1945), eram cidadãos suíços que criaram Verena e sua irmã Adelheid ("Heidi", 1925–1987) em Atenas , Grécia , onde as meninas frequentaram a Deutsche Schule de língua alemã , ou Escola Alemã de Atenas , até que foram forçadas a retornar à Suíça em 1940 pela guerra.
Charles Huber, que administrava as operações da Bühler AG no Oriente Médio, uma empresa suíça de engenharia de processamento de alimentos, começou a trabalhar para o Comitê Internacional da Cruz Vermelha (CICV), monitorando o tratamento de prisioneiros de guerra em campos de internamento. Como delegado do CICV na Índia e no Ceilão, ele era responsável pelos prisioneiros italianos mantidos em campos britânicos, mas também visitou campos alemães e aliados na Europa e, em 1945-46, serviu como delegado do CICV nos Estados Unidos, que descreveu a Verena como um lugar que ela "definitivamente deveria experimentar longa e profundamente, mas da mesma forma definitivamente não deveria se estabelecer".
Ela estudou matemática, com especialização em física e filosofia, na Universidade de Zurique , onde obteve seu doutorado. em matemática em 1947 com uma tese em teoria dos grupos finitos . sob a supervisão de Andreas Speiser .
Crianças
Imagem externa | |
---|---|
Verena Huber-Dyson | |
New Jersey, 1949 , |
Verena se casou com Hans-Georg Haefeli, um colega matemático, em 1942, e se divorciou em 1948. Sua primeira filha, Katarina Haefeli (agora Halm), nasceu em 1945.
Em seguida, ela se casou com Freeman Dyson em Ann Arbor, Michigan, em 11 de agosto de 1950. Eles tiveram dois filhos juntos, Esther Dyson (nascida em 14 de julho de 1951, em Zurique) e George Dyson (nascido em 1953, Ithaca, Nova York), e se divorciaram em 1958.
Carreira
Huber-Dyson aceitou uma nomeação de pós-doutorado no Institute for Advanced Study em Princeton em 1948, onde trabalhou em teoria de grupo e lógica formal . Ela também começou a lecionar no Goucher College, perto de Baltimore, nessa época.
Ela se mudou para a Califórnia com sua filha Katarina, começou a lecionar na San Jose State University em 1959 e depois se juntou ao Grupo Alfred Tarski em Lógica e Metodologia da Ciência na Universidade da Califórnia, Berkeley .
Huber-Dyson lecionou na San Jose State University, na University of Zürich , na Monash University , bem como na University of California, Berkeley , Adelphi University , University of California, Los Angeles e na University of Illinois at Chicago , em matemática e em departamentos de filosofia. Ela aceitou um cargo no departamento de filosofia da Universidade de Calgary em 1973, tornando-se emérita em 1988.
Afiliações acadêmicas antes de junho de 1968
- Cornell University
- Goucher College
- San Jose State University (setembro de 1959)
- Adelphi University
- UCLA
- Universidade de londres
- ETH Zürich
- Warwick University
- Universidade de Melbourne
- Monash University
- Australian National University em Canberra
- Universidade de Zurique
- Mills College
- UC Berkeley
Afiliações acadêmicas após setembro de 1968
- Departamento de Matemática, Universidade de Illinois em Chicago (setembro de 1968 - junho de 1971) Professor Assistente
- Departamento de Filosofia da Universidade de Calgary (setembro de 1971 a junho de 1972) nontenure-track
- Departamento de Matemática da Universidade de Illinois em Chicago (setembro de 1972 - junho de 1973) Professor associado titular
- Departamento de Filosofia da Universidade de Calgary (setembro de 1973 - junho de 1975) Professor Assistente de estabilidade
- Departamento de Filosofia da Universidade de Calgary (setembro de 1977 - junho de 1981) Professor Associado titular.
- Departamento de Filosofia da Universidade de Calgary (setembro de 1981 - junho de 1988) Professor Titular
- Departamento de Filosofia da Universidade de Calgary (setembro de 1988 - março de 2016) Professor Emérito
Atividades em Calgary
- Ministrou cursos de pós-graduação em fundamentos da matemática e filosofia e metodologia das ciências
- Começou a trabalhar na monografia, teoremas de Gödel: um manual de formalização
Emprego não acadêmico
- Consultor da Remington Rand (Univac) na Filadélfia
- Consultor da Hughes Aircraft em Los Angeles
Vida posterior
Imagem externa | |
---|---|
Verena Huber-Dyson | |
Mais tarde na vida , |
Depois de se aposentar de Calgary, Verena Huber-Dyson voltou para South Pender Island na Colúmbia Britânica , onde morou por 14 anos. Ela morreu em 12 de março de 2016 em Bellingham, Washington , aos 92 anos.
Publicações selecionadas
“Há mais na verdade do que pode ser apurado pela prova ”.
Monografias
- Haefeli-Huber, Verena Esther (1948). Ein Dualismus als Klassifikationsprinzip in der abstrakten Gruppentheorie [ Um dualismo como princípio de classificação na teoria abstrata dos grupos ] (PhD) (em alemão). Universidade de Zurique. OCLC 2277810 .
- Roggenkamp, Klaus W .; Huber-Dyson, Verena (1970). Grades sobre ordens que eu . Notas de aula em matemática (no 115). Springer-Verlag . doi : 10.1007 / BFb0068796 . ISBN 978-3-540-04904-3.
- Huber-Dyson, Verena (1991). Teoremas de Gödel: um manual de formalização . 122 em Teubner-Texte zur Mathematik. BG Teubner Verlagsgesellschaft. ISBN 978-3-8154-2023-2.
Artigos
Imagem externa | |
---|---|
Verena Huber-Dyson | |
28 de julho de 2006 |
- Huber-Dyson, Verena; Kreisel, Georg (1961). "Análise da Construção Semântica da Lógica Intuicionista de Beth". Relatório de pesquisa de Stanford . 3 .
- Huber-Dyson, Verena (1964). "Sobre o problema de decisão para teorias de modelos finitos" . Israel Journal of Mathematics . 2 (1): 55–70. doi : 10.1007 / bf02759735 . S2CID 122395102 .
- Huber-Dyson, Verena (1965). "Forte representabilidade das funções teóricas dos números". Relatório de aeronaves Hughes .
- Huber-Dyson, Verena (1969). "Sobre o problema de decisão para extensões de uma teoria decidível" . Fundamenta Mathematicae . 64 : 7–40. doi : 10.4064 / fm-64-1-7-40 .
- Huber-Dyson, Verena (1974). "Uma família de grupos com problemas com palavras bonitas". Journal of the Australian Mathematical Society . 17 .
- Huber-Dyson, Verena (1977). "Falando sobre Grupos Livres em Línguas Naturalmente Enriquecidas". Comunicações em Álgebra . 5 (11): 1163–1191. doi : 10.1080 / 00927877708822214 .
- Huber-Dyson, Verena (1979). "Uma teoria indutiva para produtos livres de grupos". Algebra Universalis . 9 : 35–44. doi : 10.1007 / BF02488014 . S2CID 119943802 .
- Huber-Dyson, Verena (1981). "Uma redução do problema de frase aberta para grupos finitos". Boletim da London Mathematical Society . 13 (4): 331–338. doi : 10.1112 / blms / 13.4.331 .
- Huber-Dyson, Verena (1982). "Grupos simétricos e o problema da frase aberta". Simpósio Patras Logic . Holanda do Norte.
- Huber-Dyson, Verena (1982). "Condições de finitude e o problema da palavra". Grupos St. Andrews 1981 . Notas da aula do LMS. 71 .
- Huber-Dyson, Verena; Jones, James Parks; Shepherdson, John Cedric (1982). "Algumas formas diofantinas do teorema de Gödel". Archiv für Mathematische Logik . 22 .
- Huber-Dyson, Verena (1982). "Problemas de decisão na teoria dos grupos". Recent Trends in Mathematics, Reinhardsbrunn 1982 . Teubner Texte zur Mathematik. 50 .
- Huber-Dyson, Verena (1984). "Grupos Finitos de construção de HNN". Groups Korea 1983 . Springer Lecture Notes in Mathematics. 1098 .
- Huber-Dyson, Verena (1981). "Notificação crítica sobre Gödel, Escher, Bach por DR Hofstadter". Canadian Journal of Philosophy . 11 (4).
- Huber-Dyson, Verena (1996). "Reflexões sobre a ocasião do 70º aniversário de Kreisel". Em Odifreddi (ed.). Kreiseliana, sobre e ao redor de George Kreisel . AK Peters.
- Huber-Dyson, Verena (junho de 1996). "Gritos e sombras sobre os avisos" (PDF) . Avisos da AMS . 43 (6): 653 . Retirado em 2 de novembro de 2020 .CS1 manutenção: data e ano ( link )
- Huber-Dyson, Verena (15 de fevereiro de 1998). "Sobre a natureza dos conceitos matemáticos: por que e como os matemáticos tiram conclusões precipitadas?" . Edge.org . Obtido em 2020-02-26 .
- Huber-Dyson, Verena (27 de julho de 2005). "Gödel e a natureza da verdade matemática II" . Edge.org . Obtido em 2020-02-26 .
- Huber-Dyson, Verena (13 de maio de 2006). "Gödel em poucas palavras" . edge.org . Retirado em 2 de novembro de 2020 .
Referências
Notas
Citações
Origens
- Brockman, John (13 de março de 2016). "Verena Huber-Dyson 6 de maio de 1923 - 12 de março de 2016" . edge.org . Retirado em 2 de novembro de 2020 .
- Brooks, Pamela (3 de janeiro de 2002). "Pender Snippets" (PDF) . Driftwood da Ilha do Golfo . p. 20 . Retirado em 2 de novembro de 2020 .
- Dawidoff, Nicholas (25 de março de 2009). "O Herege Civil" . nytimes.com . Página visitada em 30 de outubro de 2020 .
- Feferman, Soloman; Feferman, Anita (2004). Alfred Tarski: Life and Logic . Cambridge University Press. ISBN 9780521802406.
- Roberts, Siobhan (29 de junho de 2016). "Esperando por Gödel" . The New Yorker . Retirado em 2 de novembro de 2020 .
- Schewe, Phillip (2013). "Maverick Genius: The Pioneering Odyssey of Freeman Dyson". Física hoje . 66 (6): 52. bibcode : 2013PhT .... 66f..52B . doi : 10.1063 / PT.3.2012 .
- Sherman, Linda (24 de março de 2009). "Esther Dyson Visionary Extraordinaire" . É diferente para meninas . Retirado em 2 de novembro de 2020 .