Verena Huber-Dyson - Verena Huber-Dyson

Verena Huber-Dyson
Verena Huber-Dyson (przycięte).jpg
Urodzić się
Verena Esther Huber

( 1923-05-06 )6 maja 1923
Neapol , Włochy
Zmarł 12 marca 2016 (2016-03-12)(w wieku 92 lat)
Bellingham, Waszyngton
Inne nazwy Verena Huber, Verena Haefeli
Obywatelstwo
  • Szwajcaria
  • Stany Zjednoczone
Edukacja Uniwersytet w Zurychu
Małżonka(e)
Dzieci
Kariera naukowa
Pola Logika, algebra
Instytucje
Praca dyplomowa Ein Dualismus als Klassifikationsprinzip in der abstrakten Gruppentheorie  (1947)
Doradca doktorski Andreas Speiser

Verena Esther Huber-Dyson (6 maja 1923 – 12 marca 2016) była szwajcarsko-amerykańską matematyką, znaną z pracy w teorii grup i logice formalnej . Została opisana jako „genialna matematyka” i prowadziła badania nad stykiem algebry i logiki, koncentrując się na nierozstrzygalności w teorii grup . W chwili śmierci była emerytowanym wykładowcą na wydziale filozofii Uniwersytetu Calgary w Albercie.

życie i kariera

Rodzina i wczesne życie

Huber-Dyson urodził Verena Esther Huber w Neapolu , we Włoszech , w dniu 6 maja 1923. Jej rodzice, Karl (Karol) Huber (1893/46) oraz Berthy Ryffel (1899/45), byli obywatelami Szwajcarii, którzy podniesione Verena i jej siostrę Adelheid ("Heidi", 1925-1987) w Atenach , Grecja , gdzie dziewczęta uczęszczały do ​​niemieckojęzycznej Deutsche Schule , czyli Niemieckiej Szkoły w Atenach , aż do powrotu do Szwajcarii w 1940 roku przez wojnę.

Charles Huber, który kierował bliskowschodnimi operacjami Bühler AG, szwajcarskiej firmy zajmującej się inżynierią przetwórstwa żywności, rozpoczął pracę dla Międzynarodowego Komitetu Czerwonego Krzyża (MKCK), monitorując traktowanie jeńców wojennych w obozach internowania. Jako delegat MKCK do Indii i Cejlonu był odpowiedzialny za więźniów włoskich przetrzymywanych w obozach brytyjskich, ale odwiedzał także obozy niemieckie i alianckie w Europie, a w latach 1945-46 był delegatem MKCK do Stanów Zjednoczonych, co opisał Verenie jako miejsca, które „zdecydowanie powinna doświadczyć szczegółowo i dogłębnie, ale równie zdecydowanie nie powinna się zadomowić”.

Studiowała matematykę, z maturą z fizyki i filozofii, na Uniwersytecie w Zurychu , gdzie uzyskała stopień doktora. w matematyce w 1947 z pracą magisterską z teorii grup skończonych . pod nadzorem Andreasa Speisera .

Dzieci

Obraz zewnętrzny
Verena Huber-Dyson
ikona obrazu New Jersey, 1949 ,

Verena wyszła za mąż za znajomego matematyka Hansa-Georga Haefeli w 1942 roku i rozwiodła się w 1948 roku. Jej pierwsza córka, Katarina Haefeli (obecnie Halm), urodziła się w 1945 roku.

Następnie wyszła za Freemana Dysona w Ann Arbor w stanie Michigan, 11 sierpnia 1950 roku. Mieli razem dwoje dzieci, Esther Dyson (ur. 14 lipca 1951 w Zurychu) i George'a Dysona (ur. 1953, Ithaca, Nowy Jork) i rozwiedli się. w 1958 roku.

Kariera zawodowa

Huber-Dyson przyjęła stanowisko habilitacyjne w Institute for Advanced Study w Princeton w 1948 roku, gdzie pracowała nad teorią grup i logiką formalną . W tym czasie zaczęła także uczyć w Goucher College niedaleko Baltimore.

Przeprowadziła się do Kalifornii z córką Katariną, zaczęła uczyć na Uniwersytecie Stanowym w San Jose w 1959 roku, a następnie dołączyła do grupy Alfreda Tarskiego w dziedzinie logiki i metodologii nauki na Uniwersytecie Kalifornijskim w Berkeley .

Huber-Dyson wykładał na Uniwersytecie Stanowym San Jose, Uniwersytecie w Zurychu , Uniwersytecie Monash , a także na Uniwersytecie Kalifornijskim w Berkeley , Uniwersytecie Adelphi , Uniwersytecie Kalifornijskim w Los Angeles oraz Uniwersytecie Illinois w Chicago w zakresie matematyki i wydziały filozofii. W 1973 r. przyjęła stanowisko na wydziale filozofii Uniwersytetu w Calgary , a w 1988 r. została emerytką.

afiliacje akademickie przed czerwcem 1968

Autoportret
Autoportret , 1954

Przynależność akademicka po wrześniu 1968 r.

  • Department of Mathematics, University of Illinois at Chicago (wrzesień 1968 – czerwiec 1971) asystent profesora
  • Department of Philosophy, University of Calgary (wrzesień 1971 – czerwiec 1972) nontenure track
  • Department of Mathematics, University of Illinois at Chicago (wrzesień 1972 – czerwiec 1973) mianowany profesorem nadzwyczajnym
  • Department of Philosophy, University of Calgary (wrzesień 1973 – czerwiec 1975) etat adiunkt
  • Wydział Filozofii Uniwersytetu w Calgary (wrzesień 1977 – czerwiec 1981) mianowany profesorem nadzwyczajnym.
  • Wydział Filozofii Uniwersytetu w Calgary (wrzesień 1981 – czerwiec 1988) Profesor zwyczajny
  • Department of Philosophy, University of Calgary (wrzesień 1988 – marzec 2016) Emerita Professor

Aktywności w Calgary

  • Prowadził kursy magisterskie z podstaw matematyki oraz filozofii i metodologii nauk science
  • Rozpoczęcie pracy nad monografią, twierdzenia Gödla: zeszyt ćwiczeń na temat formalizacji

Zatrudnienie pozaakademickie

Poźniejsze życie

Obraz zewnętrzny
Verena Huber-Dyson
ikona obrazu Późniejsze życie ,

Po przejściu na emeryturę z Calgary Verena Huber-Dyson wróciła na wyspę South Pender w Kolumbii Brytyjskiej , gdzie mieszkała przez 14 lat. Zmarła 12 marca 2016 roku w Bellingham w stanie Waszyngton w wieku 92 lat.

Wybrane publikacje

„W prawdzie jest więcej, niż można uchwycić na podstawie dowodów ”.

—  Roberts 2016

Monografie

  • Haefeli-Huber, Verena Estera (1948). Ein Dualismus als Klassifikationsprinzip in der abstrakten Gruppentheorie [ Dualizm jako zasada klasyfikacji w abstrakcyjnej teorii grup ] (doktorat) (w języku niemieckim). Uniwersytet w Zurychu. OCLC  2277810 .
  • Roggenkamp, ​​Klaus W.; Huber-Dyson, Verena (1970). Kraty nad Orderami I . Notatki z matematyki (nr 115). Springer-Verlag . doi : 10.1007/BFb0068796 . Numer ISBN 978-3-540-04904-3.
  • Huber-Dyson, Verena (1991). Twierdzenia Gödla: skoroszyt o formalizacji . 122 w Teubner-Texte zur Mathematik. BG Teubner Verlagsgesellschaft. Numer ISBN 978-3-8154-2023-2.

Artykuły

Obraz zewnętrzny
Verena Huber-Dyson
ikona obrazu 28 lipca 2006
  • Huber-Dyson, Verena; Kreisel Georg (1961). „Analiza semantycznej konstrukcji Beth logiki intuicjonistycznej”. Raport z badań Stanforda . 3 .
  • Huber-Dyson, Verena (1964). „O problemie decyzyjnym dla teorii modeli skończonych” . Izrael Dziennik Matematyki . 2 (1): 55–70. doi : 10.1007/bf02759735 . S2CID  122395102 .
  • Huber-Dyson, Verena (1965). „Silna reprezentacyjność funkcji liczbowych”. Raport lotniczy Hughesa .
  • Huber-Dyson, Verena (1969). „O problemie decyzyjnym dla rozszerzeń rozstrzygalności teorii” . Fundamenta Mathematicae . 64 : 7–40. doi : 10.4064/fm-64-1-7-40 .
  • Huber-Dyson, Verena (1974). „Rodzina grup z ładnymi problemami słownymi”. Dziennik Australijskiego Towarzystwa Matematycznego . 17 .
  • Huber-Dyson, Verena (1977). „Mówiąc o wolnych grupach w językach naturalnie wzbogaconych”. Komunikacja w algebrze . 5 (11): 1163-1191. doi : 10.1080/00927877708822214 .
  • Huber-Dyson, Verena (1979). „Teoria indukcyjna bezpłatnych produktów grup”. Algebra uniwersalna . 9 : 35–44. doi : 10.1007/BF02488014 . S2CID  119943802 .
  • Huber-Dyson, Verena (1981). „Redukcja problemu otwartego zdania dla grup skończonych”. Biuletyn Londyńskiego Towarzystwa Matematycznego . 13 (4): 331–338. doi : 10.1112/blms/13.4.331 .
  • Huber-Dyson, Verena (1982). „Grupy symetryczne i problem otwartego zdania”. Sympozjum Logiczne Patras . Północna Holandia.
  • Huber-Dyson, Verena (1982). „Warunki skończoności i problem Word”. Grupy St. Andrews 1981 . Notatki do wykładu LMS. 71 .
  • Huber-Dyson, Verena; Jones, James Parks; Pasterz, John Cedric (1982). „Niektóre formy diofantyczne twierdzenia Gödla”. Archiwum logiki matematycznej . 22 .
  • Huber-Dyson, Verena (1982). „Problemy decyzyjne w teorii grup”. Najnowsze trendy w matematyce, Reinhardsbrunn 1982 . Teubner Texte zur Mathematik. 50 .
  • Huber-Dyson, Verena (1984). „Grupy skończone konstruujące HNN”. Grupy Korea 1983 . Springer Notatki do wykładu z matematyki. 1098 .
  • Huber-Dyson, Verena (1981). „Uwaga krytyczna w sprawie Gödla, Eschera, Bacha autorstwa DR Hofstadtera”. Kanadyjski Dziennik Filozofii . 11 (4).
  • Huber-Dyson, Verena (1996). „Myśli z okazji 70. urodzin Kreisela”. W Odifreddi (red.). Kreiseliana, wokół George'a Kreisela i wokół niego . AK Petersa.
  • Huber-Dyson, Verena (czerwiec 1996). „Wrzaski i cienie nad zawiadomieniami” (PDF) . Zawiadomienia AMS . 43 (6):653 . Źródło 2 listopada 2020 .CS1 maint: data i rok ( link )
  • Huber-Dyson, Verena (15 lutego 1998). „O naturze pojęć matematycznych: dlaczego i jak matematycy przeskakują do wniosków?” . Edge.org . Źródło 2020-02-26 .
  • Huber-Dyson, Verena (27 lipca 2005). „Gödel i natura prawdy matematycznej II” . Edge.org . Źródło 2020-02-26 .
  • Huber-Dyson, Verena (13 maja 2006). „Gödel w pigułce” . krawędź.org . Źródło 2 listopada 2020 .

Bibliografia

Uwagi

Cytaty

Źródła