Verena Xuber-Dayson - Verena Huber-Dyson

Verena Xuber-Dayson
Verena Xuber-Dyson (kesilgan) .jpg
Tug'ilgan
Verena Ester Xuber

(1923-05-06)1923 yil 6-may
Neapol, Italiya
O'ldi2016 yil 12 mart(2016-03-12) (92 yosh)[1]
Bellingham, Vashington
Boshqa ismlarVerena Xuber, Verena Xefeli
FuqarolikShveytsariya, AQSh, Kanada
Ta'limSyurix universiteti
Turmush o'rtoqlar
Bolalar
Ilmiy martaba
MaydonlarMantiq, algebra
Institutlar
TezisEyn Dualismus va Klassifikationsprinzip in der abstrakten Gruppentheorie (1947)
Doktor doktoriAndreas Spayser

Verena Ester Xuber-Dayson (1923 yil 6-may - 2016 yil 12-mart) - shveytsariyalik amerikalik matematik guruh nazariyasi va rasmiy mantiq.[1][2] U "yorqin matematik" deb ta'riflangan,[2] ga e'tibor qaratib, algebra va mantiq o'rtasidagi interfeys bo'yicha tadqiqotlar o'tkazdi noaniqlik yilda guruh nazariyasi. O'lim paytida, u falsafa bo'limining zahmatkash fakulteti edi Kalgari universiteti, Alberta.

Hayot va martaba

Oila va erta hayot

Xuber-Disson Verena Ester Xuberda tug'ilgan Neapol, Italiya, 1923 yil 6-mayda. Uning ota-onasi Karl (Charlz) Xuber (1893-1946) va Berti Rifel (1899-1945) Shveytsariya fuqarolari bo'lgan.[3] Verena va uning singlisi Adelheidni ("Heidi", 1925–1987) ko'targan Afina, Gretsiya, bu erda qizlar nemis tilida so'zlashadiganlarda qatnashishdi Deutsche Schule, yoki Afina nemis maktabi, 1940 yilda urush tufayli Shveytsariyaga qaytishga majbur bo'lgunga qadar.

Shveytsariyaning oziq-ovqat muhandislik firmasi Buhler AG-ning Yaqin Sharqdagi operatsiyalarini boshqargan Charlz Xuber ushbu korxonada ish boshladi. Xalqaro Qizil Xoch qo'mitasi (XQXQ), ichki lagerlarda harbiy asirlarning davolanishini nazorat qilish. XQXQning Hindiston va Seylonga delegati sifatida u Angliya lagerlarida saqlanayotgan italiyalik mahbuslar uchun javobgardir, shuningdek Evropadagi Germaniya va Ittifoqchilar lagerlariga tashrif buyurgan va 1945-46 yillarda AQShga XQXQ vakili bo'lib xizmat qilgan va u buni Verenaga bayon qilgan. u joy sifatida u "albatta uzoq va chuqur boshdan kechirishi kerak, ammo shu kabi aniq joylashmasligi kerak".[1]

U fizika va falsafa bo'yicha voyaga etmaganlar bilan matematikani o'qidi Tsyurix universiteti u erda doktorlik dissertatsiyasini olgan. 1947 yilda matematikada dissertatsiya bilan cheklangan guruh nazariyasi.[4][5][6] nazorati ostida Andreas Spayser.

Bolalar

Tashqi rasm
Verena Xuber-Dayson
rasm belgisi Nyu-Jersi, 1949 yil,[7]

Verena 1942 yilda matematik hamkasbi Xans-Georg Xefeli bilan turmush qurgan va 1948 yilda ajrashgan. Uning birinchi qizi Katarina Xafeli (hozirgi Halm) 1945 yilda tug'ilgan.[3][8]

Keyinchalik u turmushga chiqdi Freeman Dyson Michigan shtatidagi Ann Arborda, 1950 yil 11 avgustda.[5] Ularning birgalikda ikkita farzandi bor edi, Ester Dyson (1951 yil 14-iyulda tug'ilgan, Tsyurixda) va Jorj Dyson (1953 yilda tug'ilgan, Iaka, Nyu-York),[2][5] va 1958 yilda ajrashgan.[8]

Karyera

Xuber-Dayson doktoranturadan keyingi uchrashuvni qabul qildi Malaka oshirish instituti yilda Prinston 1948 yilda,[9] u qaerda ishlagan guruh nazariyasi va rasmiy mantiq.[10][8] U shuningdek o'qitishni boshladi Goucher kolleji shu vaqt ichida Baltimor yaqinida.[10]

U qizi Katarina bilan Kaliforniyaga ko'chib o'tdi va o'qitishni boshladi San-Xose davlat universiteti 1959 yilda va keyin qo'shildi Alfred Tarski Mantiq guruhi va Berkli Kaliforniya universiteti.[8][11]

Xuber-Dayson San-Xose davlat universitetida dars bergan Syurix universiteti, Monash universiteti, shuningdek Berkli Kaliforniya universiteti, Adelphi universiteti, Kaliforniya universiteti, Los-Anjeles, va Chikagodagi Illinoys universiteti, matematika va falsafa bo'limlarida. U falsafa bo'limiga lavozimni qabul qildi Kalgari universiteti 1973 yilda, 1988 yilda zumradga aylandi.[12]

1968 yil iyungacha bo'lgan akademik aloqalar

Avtoportret
Avtoportret, 1954[7]

1968 yil sentyabrdan keyingi akademik aloqalar

  • Matematika kafedrasi, Chikagodagi Illinoys universiteti (1968 yil sentyabr - 1971 yil iyun) dotsent
  • Falsafa bo'limi, Kalgari universiteti (1971 yil sentyabr - 1972 yil iyun) nontenure-track
  • Chikagodagi Illinoys universiteti matematika kafedrasi (1972 yil sentyabr - 1973 yil iyun) dotsent lavozimida ishlagan
  • Kalgari universiteti falsafa bo'limi (1973 yil sentyabr - 1975 yil iyun) dotsent
  • Kalgari universiteti falsafa kafedrasi (1977 yil sentyabr - 1981 yil iyun) dotsent.
  • Kalgari universiteti falsafa bo'limi (1981 yil sentyabr - 1988 yil iyun) to'liq professor
  • Falsafa bo'limi, Kalgari universiteti (1988 yil sentyabr - 2016 yil mart) Emerita professori

Kalgari shahridagi faoliyat

  • Matematika asoslari va fanlar falsafasi va metodikasi bo'yicha aspiranturalarda dars berdi
  • Monografiya bo'yicha ish boshladi, Gödel teoremalari: rasmiylashtirish bo'yicha ish daftarchasi[13]

Akademik bo'lmagan ish

Keyinchalik hayot

Tashqi rasm
Verena Xuber-Dayson
rasm belgisi Keyinchalik hayot,[14]

Kalgari'dan nafaqaga chiqqanidan so'ng, Verena Xuber-Dayson yana qaytib keldi Janubiy Pender oroli yilda Britaniya Kolumbiyasi u erda 14 yil yashagan.[15][16] U 2016 yil 12 martda vafot etdi Bellingham, Vashington, 92 yoshida.[1][7]

Tanlangan nashrlar

"Bunga ko'proq narsa bor haqiqat ushlanib qolgandan ko'ra dalil".

— Roberts 2016 yil

Monografiyalar

  • Haefeli-Xuber, Verena Ester (1948). Eyn Dualismus va Klassifikationsprinzip in der abstrakten Gruppentheorie [Dualizm mavhum guruh nazariyasida tasniflash printsipi sifatida] (PhD) (nemis tilida). Tsyurix universiteti. OCLC  2277810.CS1 maint: ref = harv (havola)
  • Roggenkamp, ​​Klaus V.; Xuber-Dayson, Verena (1970). I buyurtmalar ustidagi panjaralar. Matematikadan ma'ruza matnlari (№ 115). Springer-Verlag. doi:10.1007 / BFb0068796. ISBN  978-3-540-04904-3.
  • Xuber-Dyson, Verena (1991). Gödel teoremalari: rasmiylashtirish bo'yicha ishchi daftar. 122 yilda Teubner-Texte zur Mathematik. B.G. Teubner Verlagsgesellschaft. ISBN  978-3-8154-2023-2.CS1 maint: ref = harv (havola)

Maqolalar

Tashqi rasm
Verena Xuber-Dayson
rasm belgisi 2006 yil 28-iyul[17]
  • Xuber-Dayson, Verena; Kreisel, Georg (1961). "Betning intuitiv mantiqning semantik qurilishini tahlil qilish". Stenford tadqiqotlari hisoboti. 3.
  • Xuber-Dayson, Verena (1964). "Cheklangan modellar nazariyalari uchun qaror qabul qilish muammosi to'g'risida". Isroil matematika jurnali. 2 (1): 55–70. doi:10.1007 / bf02759735.
  • Xuber-Dayson, Verena (1965). "Raqamli-nazariy funktsiyalarning kuchli vakolatliligi". Hughes Aircraft Report.
  • Xuber-Dayson, Verena (1969). "Qabul qilinadigan nazariyani kengaytirish bo'yicha qarorlar muammosi to'g'risida". Fundamenta Mathematicae. 64.
  • Xuber-Dayson, Verena (1974). "Yaxshi so'z muammolari bo'lgan guruhlar oilasi". Avstraliya matematik jamiyati jurnali. 17.
  • Xuber-Dayson, Verena (1977). "Tabiiy boyitilgan tillardagi bepul guruhlar to'g'risida suhbat". Algebra bo'yicha aloqa. 5 (11).
  • Xuber-Dayson, Verena (1979). "Guruhlarning bepul mahsulotlari uchun induktiv nazariya". Algebra Universalis. 9.
  • Xuber-Dayson, Verena (1981). "Cheklangan guruhlar uchun ochiq jumla muammosini qisqartirish". London Matematik Jamiyati Axborotnomasi. 13 (4): 331–338. doi:10.1112 / blms / 13.4.331.
  • Xuber-Dayson, Verena (1982). "Nosimmetrik guruhlar va ochiq jumla muammosi". Patras mantiqiy simpoziumi. Shimoliy-Gollandiya.
  • Xuber-Dayson, Verena (1982). "Tugatish shartlari va so'z muammosi". Guruhlar Sent-Endryus 1981 yil. LMS ma'ruza yozuvlari. 71.
  • Xuber-Dayson, Verena; Jons, Jeyms Parks; Shepherdson, John Cedric (1982). "Gödel teoremasining ba'zi bir diofantin shakllari". Archiv für Mathematische Logik. 22.
  • Xuber-Dayson, Verena (1982). "Guruh nazariyasida qaror qabul qilish muammolari". Matematikaning so'nggi tendentsiyalari, Reinhardsbrunn 1982. Teubner Texte zur Mathematik. 50.
  • Xuber-Dayson, Verena (1984). "HNN-ni quruvchi cheklangan guruhlar". Guruhlar Koreya 1983 yil. Matematikadan Springer ma'ruza matnlari. 1098.
  • Xuber-Dayson, Verena (1981). "D.R. Xofstadter tomonidan Gödel, Escher, Bax to'g'risida tanqidiy xabar". Kanada falsafa jurnali. 11 (4).
  • Xuber-Dyson, Verena (1996). "Krayselning 70 yilligi munosabati bilan fikrlar". Odifreddi (tahrir). Kreiseliana, Jorj Kreisel atrofida va atrofida. AK Piters.
  • Xuber-Dayson, Verena (1996 yil iyun). "Bildirishnomalardagi qichqiriqlar va soyalar" (PDF). AMS haqida ogohlantirishlar. 43 (6): 653. Olingan 2 noyabr 2020.CS1 tarmog'i: sana va yil (havola)
  • Xuber-Dayson, Verena (1998 yil 15 fevral). "Matematik tushunchalarning mohiyati to'g'risida: matematiklar nima uchun va qanday qilib xulosalarga o'tishadi?". Edge.org. Olingan 2020-02-26.
  • Xuber-Dayson, Verena (2005 yil 27-iyul). "Gödel va matematik haqiqatning tabiati II". Edge.org. Olingan 2020-02-26.
  • Xuber-Dayson, Verena (2006 yil 13-may). "Gödel yong'oqda". edge.org. Olingan 2 noyabr 2020.

Adabiyotlar

Izohlar

Iqtiboslar

  1. ^ a b v d "Verena Xuber-Disonning obituariyasi". Moles bilan xayrlashish marosimlari. 2016 yil 12 mart. Arxivlandi asl nusxasidan 2020-02-26. Olingan 2020-02-26.
  2. ^ a b v Dawidoff 2009 yil.
  3. ^ a b Schewe 2013 yil, p. 52.
  4. ^ Haefeli-Xuber 1948 yil.
  5. ^ a b v O'Konnor, Jon J.; Robertson, Edmund F., "Freeman Dyson", MacTutor Matematika tarixi arxivi, Sent-Endryus universiteti.
  6. ^ Verena Xuber-Dayson da Matematikaning nasabnomasi loyihasi
  7. ^ a b v Brokman 2016 yil.
  8. ^ a b v d Feferman va Feferman 2004 yil, 272-276-betlar.
  9. ^ "Olimlar jamiyati". Malaka oshirish instituti. Arxivlandi asl nusxasi 2013-01-07 kuni. Olingan 14 mart, 2014.
  10. ^ a b Schewe 2013 yil, p. 72.
  11. ^ Huber-Dyson 2006 yil.
  12. ^ Schewe 2013 yil.
  13. ^ Xuber-Dyson 1991 yil.
  14. ^ Sherman 2009 yil.
  15. ^ Xuber-Dyson 1996a, p. 653.
  16. ^ Bruks 2002 yil, p. 20.
  17. ^ Verena Xuber-Dayson kuni Flickr

Manbalar