Verena Huber-Dyson - Verena Huber-Dyson

Verena Huber-Dyson
Verena Huber-Dyson (oříznuto) .jpg
narozený
Verena Esther Huber

(1923-05-06)6. května 1923
Neapol, Itálie
Zemřel12. března 2016(2016-03-12) (ve věku 92)[1]
Bellingham, Washington
Ostatní jménaVerena Huber, Verena Haefeli
Státní občanstvíŠvýcarsko, USA, Kanada
VzděláváníUniverzita v Curychu
Manžel (y)
Děti
Vědecká kariéra
PoleLogika, algebra
Instituce
TezeEin Dualismus jako Klassifikationsprinzip in der abstrakten Gruppentheorie (1947)
Doktorský poradceAndreas Speiser

Verena Esther Huber-Dyson (06.05.1923 - 12.03.2016) byl švýcarsko-americký matematik, známý pro práci v teorie skupin a formální logika.[1][2] Byla popsána jako „brilantní matematička“,[2] a provedl výzkum rozhraní mezi algebrou a logikou se zaměřením na nerozhodnutelnost v teorie skupin. V době její smrti působila jako emeritní fakulta na katedře filozofie University of Calgary, Alberta.

Život a kariéra

Rodina a časný život

Huber-Dyson se narodila jako Verena Esther Huberová Neapol, Itálie, 6. května 1923. Její rodiče, Karl (Charles) Huber (1893–1946) a Berthy Ryffel (1899–1945), byli švýcarští státní příslušníci[3] kdo vychoval Verenu a její sestru Adelheid („Heidi“, 1925–1987) v Athény, Řecko, kde se dívky zúčastnily německy mluvících Deutsche Schulenebo Německá škola v Aténách, dokud nebyl nucen vrátit se do Švýcarska v roce 1940 válkou.

Charles Huber, který řídil operace na Středním východě společnosti Bühler AG, švýcarské firmy zabývající se potravinářským zpracováním, začal pracovat pro Mezinárodní výbor Červeného kříže (ICRC), sledování zacházení s válečnými zajatci v internačních táborech. Jako delegát ICRC v Indii a na Cejlonu byl odpovědný za italské vězně držené v britských táborech, ale také navštívil německé a spojenecké tábory v Evropě a v letech 1945–46 působil jako delegát ICRC ve Spojených státech, které popsal pro Verenu jako místo, které „by určitě měla zažít zdlouhavě a do hloubky, ale stejně by se rozhodně neměla usadit“.[1]

Vystudovala matematiku, fyziku a filozofii na nezletilých University of Zurich, kde získala titul Ph.D. v matematice v roce 1947 s diplomovou prací v teorie konečných grup.[4][5][6] pod dohledem Andreas Speiser.

Děti

Externí obrázek
Verena Huber-Dyson
ikona obrázku New Jersey, 1949,[7]

Verena se v roce 1942 provdala za matematika Hanse-Georga Haefeliho a byla rozvedena v roce 1948. Její první dcera Katarina Haefeli (nyní Halm) se narodila v roce 1945.[3][8]

Následně se provdala Freeman Dyson v Ann Arbor, Michigan, 11. srpna 1950.[5] Měli spolu dvě děti, Esther Dyson (narozen 14. července 1951 v Curychu) a George Dyson (narozen 1953, Ithaca, New York),[2][5] a rozvedli se v roce 1958.[8]

Kariéra

Huber-Dyson přijal postdoktorské jmenování kolegy na Institut pro pokročilé studium v Princeton v roce 1948,[9] kde pracovala teorie skupin a formální logika.[10][8] Začala také učit na Goucher College během této doby poblíž Baltimoru.[10]

Přestěhovala se do Kalifornie s dcerou Katarinou, začala učit na Státní univerzita v San Jose v roce 1959, a poté se připojil Alfred Tarski Skupina logiky a metodologie vědy na University of California, Berkeley.[8][11]

Huber-Dyson učil na San Jose State University, USA Univerzita v Curychu, Monash University, stejně jako v University of California, Berkeley, Adelphi University, University of California, Los Angeles a University of Illinois v Chicagu, v katedrách matematiky a filozofie. Přijala místo na filozofickém oddělení University of Calgary v roce 1973 se stala emeritou v roce 1988.[12]

Akademické vztahy před červnem 1968

Autoportrét
Autoportrét, 1954[7]

Akademická příslušnost po září 1968

  • Katedra matematiky, University of Illinois v Chicagu (Září 1968 - červen 1971) odborný asistent
  • Katedra filozofie, University of Calgary (Září 1971 – červen 1972) nontenure-track
  • Katedra matematiky, University of Illinois v Chicagu (září 1972 - červen 1973), docentka
  • Katedra filozofie, University of Calgary (září 1973 - červen 1975) odborný asistent
  • Katedra filozofie, University of Calgary (září 1977 - červen 1981), docent.
  • Katedra filozofie, University of Calgary (září 1981 - červen 1988), řádný profesor
  • Katedra filozofie, University of Calgary (Září 1988 - březen 2016) Emerita Professor

Aktivity v Calgary

  • Učil postgraduální kurzy základů matematiky a filozofie a metodologie věd
  • Začala práce na monografii, Gödelovy věty: sešit o formalizaci[13]

Neakademické zaměstnání

Pozdější život

Externí obrázek
Verena Huber-Dyson
ikona obrázku Pozdější život,[14]

Po odchodu z Calgary se Verena Huber-Dyson přestěhovala zpět do South Pender Island v Britská Kolumbie, kde žila 14 let.[15][16] Zemřela 12. března 2016 v Bellingham, Washington ve věku 92 let.[1][7]

Vybrané publikace

„Je toho víc pravda než může být chycen důkaz".

— Roberts 2016

Monografie

  • Haefeli-Huber, Verena Esther (1948). Ein Dualismus jako Klassifikationsprinzip in der abstrakten Gruppentheorie [Dualismus jako princip klasifikace v teorii abstraktních skupin] (PhD) (v němčině). Curychská univerzita. OCLC  2277810.CS1 maint: ref = harv (odkaz)
  • Roggenkamp, ​​Klaus W .; Huber-Dyson, Verena (1970). Mřížky nad objednávkami I. Přednášky z matematiky (č. 115). Springer-Verlag. doi:10.1007 / BFb0068796. ISBN  978-3-540-04904-3.
  • Huber-Dyson, Verena (1991). Gödelovy věty: sešit o formalizaci. 122 v Teubner-Texte zur Mathematik. B.G. Teubner Verlagsgesellschaft. ISBN  978-3-8154-2023-2.CS1 maint: ref = harv (odkaz)

Články

Externí obrázek
Verena Huber-Dyson
ikona obrázku 28. července 2006[17]
  • Huber-Dyson, Verena; Kreisel, Georg (1961). „Analýza Bethovy sémantické konstrukce intuitivní logiky“. Stanfordská výzkumná zpráva. 3.
  • Huber-Dyson, Verena (1964). „K problému rozhodování pro teorie konečných modelů“. Israel Journal of Mathematics. 2 (1): 55–70. doi:10.1007 / bf02759735.
  • Huber-Dyson, Verena (1965). "Silná reprezentovatelnost číselně teoretických funkcí". Hughes Aircraft Report.
  • Huber-Dyson, Verena (1969). „K problému rozhodování o rozšíření rozhodující teorie“. Fundamenta Mathematicae. 64.
  • Huber-Dyson, Verena (1974). "Rodina skupin s pěknými problémy se slovy". Journal of the Australian Mathematical Society. 17.
  • Huber-Dyson, Verena (1977). "Mluvit o svobodných skupinách v přirozeně obohacených jazycích". Komunikace v algebře. 5 (11).
  • Huber-Dyson, Verena (1979). „Induktivní teorie pro bezplatné produkty skupin“. Algebra Universalis. 9.
  • Huber-Dyson, Verena (1981). "Snížení problému otevřené věty pro konečné skupiny". Bulletin of London Mathematical Society. 13 (4): 331–338. doi:10.1112 / blms / 13.4.331.
  • Huber-Dyson, Verena (1982). "Symetrické skupiny a problém otevřené věty". Logické sympozium Patras. Severní Holandsko.
  • Huber-Dyson, Verena (1982). "Podmínky konečnosti a slovní problém". Skupiny St. Andrews 1981. Poznámky k přednášce LMS. 71.
  • Huber-Dyson, Verena; Jones, James Parks; Shepherdson, John Cedric (1982). „Některé diofantické formy Gödelovy věty“. Archiv für Mathematische Logik. 22.
  • Huber-Dyson, Verena (1982). "Problémy s rozhodováním v teorii skupiny". Poslední trendy v matematice, Reinhardsbrunn 1982. Teubner Texte zur Mathematik. 50.
  • Huber-Dyson, Verena (1984). "Konečné skupiny vytvářející HNN". Skupiny Korea 1983. Springerova přednáška z matematiky. 1098.
  • Huber-Dyson, Verena (1981). „Kritické oznámení Gödela, Eschera, Bacha od D.R. Hofstadtera“. Canadian Journal of Philosophy. 11 (4).
  • Huber-Dyson, Verena (1996). „Myšlenky k 70. narozeninám Kreisela“. V Odifreddi (ed.). Kreiseliana, kolem a kolem George Kreisel. AK Peters.
  • Huber-Dyson, Verena (červen 1996). „Křik a stíny nad oznámeními“ (PDF). Oznámení AMS. 43 (6): 653. Citováno 2. listopadu 2020.CS1 maint: datum a rok (odkaz)
  • Huber-Dyson, Verena (15. února 1998). „O povaze matematických konceptů: Proč a jak matematici přeskakují závěry?“. Edge.org. Citováno 2020-02-26.
  • Huber-Dyson, Verena (27. července 2005). „Gödel a podstata matematické pravdy II“. Edge.org. Citováno 2020-02-26.
  • Huber-Dyson, Verena (13. května 2006). „Gödel v kostce“. edge.org. Citováno 2. listopadu 2020.

Reference

Poznámky

Citace

  1. ^ A b C d „Nekrolog Vereny Huber-Dysonové“. Moles Rozloučení Pocty. 12. března 2016. Archivováno z původního dne 2020-02-26. Citováno 2020-02-26.
  2. ^ A b C Dawidoff 2009.
  3. ^ A b Schewe 2013, str. 52.
  4. ^ Haefeli-Huber 1948.
  5. ^ A b C O'Connor, John J.; Robertson, Edmund F., „Freeman Dyson“, MacTutor Historie archivu matematiky, University of St Andrews.
  6. ^ Verena Huber-Dyson na Matematický genealogický projekt
  7. ^ A b C Brockman 2016.
  8. ^ A b C d Feferman a Feferman 2004, str. 272-276.
  9. ^ „Společenství učenců“. Institut pro pokročilé studium. Archivovány od originál dne 01.01.2013. Citováno 14. března 2014.
  10. ^ A b Schewe 2013, str. 72.
  11. ^ Huber-Dyson 2006.
  12. ^ Schewe 2013.
  13. ^ Huber-Dyson 1991.
  14. ^ Sherman 2009.
  15. ^ Huber-Dyson 1996a, str. 653.
  16. ^ Brooks 2002, str. 20.
  17. ^ Verena Huber-Dyson na Flickr

Zdroje