Η Βερίνα Έστερ Χούμπερ-Ντάισον (Verena Esther Huber-Dyson, 6 Μαΐου 192312 Μαρτίου 2016) ήταν Ελβετίδα-Αμερικανίδα μαθηματικός, γνωστή για το έργο της στην θεωρία ομάδων και την τυπική λογική.[2] Έχει περιγραφεί ως "λαμπρή μαθηματικός",[2] και έκανε  έρευνα για τη διασύνδεση μεταξύ άλγεβρας και λογικής, με έμφαση στη μη-αποφασισιμότητα στην θεωρία ομάδων. Τη χρονιά του θανάτου της ήταν ομότιμη καθηγήτρια της σχολής στο τμήμα φιλοσοφίας του Πανεπιστημίου του Κάλγκαρι, Αλμπέρτα.

Βερίνα Χούμπερ-Ντάισον
Γενικές πληροφορίες
Γέννηση6  Μαΐου 1923
Νάπολη
Θάνατος12  Μαρτίου 2016
Μπέλινγχαμ
Χώρα πολιτογράφησηςΕλβετία
Εκπαίδευση και γλώσσες
ΣπουδέςΠανεπιστήμιο Ζυρίχης (έως 1947)
Γερμανική Σχολή Αθηνών (έως 1940)
Πληροφορίες ασχολίας
Ιδιότηταμαθηματικός
ΕργοδότηςΠανεπιστήμιο της Καλιφόρνιας, Μπέρκλεϋ
Πανεπιστήμιο του Κάλγκαρι (από 1973)
Goucher College
Πολιτειακό Πανεπιστήμιο του Σαν Χοσέ (από 1959)
Οικογένεια
ΣύζυγοςΦρήμαν Ντάυσον (1950–1958)[1]
ΤέκναEsther Dyson
George Dyson
Commons page Σχετικά πολυμέσα

Βίος και Καριέρα

Επεξεργασία

Οικογένεια και Πρώιμος βίος

Επεξεργασία

Η Χούμπερ-Ντάισον γεννήθηκε ως Βερίνα Έστερ Χούμπερ στην Νάπολη, της Ιταλίας, στις 6 Μαΐου του 1923. Οι γονείς της, Καρλ Χούμπερ (1893-1946) και Μπέρθυ Ρίφελ (1899-1945), υπήκοοι της Ελβετίας[3] οι οποίοι ανέθρεψαν τη Βερίνα και την αδερφή της Αδελαΐδα ("Χάιντι", 1925-1987) στην Αθήνα, Ελλάδα, όπου τα κορίτσια παρακολούθησαν τη γερμανόφωνη Deutsche Schule, ή Γερμανική Σχολή Αθηνών, μέχρι την αναγκαστική επιστροφή τους στην Ελβετία το 1940 λόγω του πολέμου.

Ο Καρλ Χούμπερ, ο οποίος ήταν μάνατζερ στις δραστηριότητες της εταιρείας Bühler AG στη Μέση Ανατολή, ελβετικής εταιρείας επεξεργασίας τροφίμων, άρχισε να εργάζεται για τον Διεθνής Επιτροπή Ερυθρού Σταυρού (ΔΕΕΣ), παρακολουθώντας τη θεραπείας των αιχμαλώτων πολέμου σε στρατόπεδα συγκέντρωσης. Ως εκπρόσωπος της ΔΕΕΣ στην Ινδία και την Κεϋλάνη, ήταν υπεύθυνος για τους Ιταλούς κρατούμενους στα Βρετανικά στρατόπεδα, αλλά επισκέφθηκε, επίσης, τα Γερμανικά και Συμμαχικά στρατόπεδα στην Ευρώπη, και στο διάστημα 1945-46 υπηρέτησε ως εκπρόσωπος της ΔΕΕΣ στις Ηνωμένες Πολιτείες, τις οποίες περιέγραψε στη Βερίνα ως μέρος που "σίγουρα θα έπρεπε να βιώσει σε μήκος και σε βάθος, αλλά στο οποίο σίγουρα δε θα έπρεπε να εγκατασταθεί."[4]

Η Χούμπερ-Ντάισον σπούδασε μαθηματικά, με πτυχίο στη φυσική και τη φιλοσοφία, στο Πανεπιστήμιο της Ζυρίχης, όπου έλαβε τον τίτλο του διδακτορικού στα μαθηματικά το 1947, με διατριβή στην πεπερασμένη θεωρία ομάδων[5][6][7] υπό την επίβλεψη του Ανδρέα Σπάιζερ.

Μετά τη διδακτορική της διατριβή η Χούμπερ-Ντάισον αποδέχτηκε τη θέση της επιστημονικής συνεργάτιδος στο Ινστιτούτο Προηγμένων μελετών στο Πρίνστον το 1948,[8] , όπου εργάστηκε στη θεωρία ομάδων και την τυπική λογική.[9][10] Ξεκίνησε, επίσης, να διδάσκει στο Κολλέγιο Γκουσέρ κοντά στη Βαλτιμόρη στο ίδιο διάστημα.[3]

Μετακόμισε στην Καλιφόρνια με την κόρη της Καταρίνα, άρχισε να διδάσκει στο Πανεπιστήμιο του Σαν Χοσέ Στέιτ, το 1959, και στη συνέχεια εντάχθηκε στην Ομάδα Λογικής και Μεθοδολογίας της Επιστήμης του Άλφρεντ Τάρσκι στο Πανεπιστήμιο της Καλιφόρνια, Μπέρκλεϊ.[10][11]

Η Χούμπερ-Ντάισον δίδαξε στο Πανεπιστήμιο του Σαν Χοσέ Στέιτ, το Πανεπιστήμιο της Ζυρίχης, το Πανεπιστήμιο του Μόνας, καθώς και στο Πανεπιστήμιο της Καλιφόρνια, Μπέρκλεϊ, Πανεπιστήμιο Αντέλφι, το UCLA και το Πανεπιστήμιο του Ιλινόις, στα τμήματα μαθηματικών και φιλοσοφίας. Δέχτηκε μια θέση στο τμήμα φιλοσοφίας του Πανεπιστημίου του Κάλγκαρι , το 1973, όπου έγινε ομότιμη το 1988.[12]

Ύστερος βίος

Επεξεργασία

Η Βερίνα Χούμπερ-Ντάισον πέθανε στις 12 Μαρτίου, 2016 στο Μπέλινγκχαμ της Ουάσιγκτον, σε ηλικία 92 ετών.[13][14]

Επιλεγμένες δημοσιεύσεις

Επεξεργασία
  • Huber-Dyson, Verena; Kreisel, Georg (1961). «Analysis of Beth’s Semantic Construction of Intuitionistic Logic». Stanford Research Report 3. "Analysis of Beth’s Semantic Construction of Intuitionistic Logic". Stanford Research Report 3. 
  • Huber-Dyson, Verena (1964). «On the Decision Problem for Theories of Finite Models». Israel Journal of Mathematics 2 (1). "On the Decision Problem for Theories of Finite Models". Israel Journal of Mathematics 2 (1). 
  • Huber-Dyson, Verena (1965). «Strong representability of Number-Theoretic Functions,». Hughes Aircraft Report. "Strong representability of Number-Theoretic Functions,". Hughes Aircraft Report. 
  • Huber-Dyson, Verena (1969). «On the Decision Problem for Extensions of a Decidable Theory». Fundamenta Mathematica 64. "On the Decision Problem for Extensions of a Decidable Theory". Fundamenta Mathematica 64. 
  • Huber-Dyson, Verena (1974). «A Family of Groups with Nice Word Problems». Journal of the Australian Mathematical Society 17. "A Family of Groups with Nice Word Problems". Journal of the Australian Mathematical Society 17. 
  • Huber-Dyson, Verena (1977). «Talking about Free Groups in Naturally Enriched Languages». Communications in Algebra 5 (11). "Talking about Free Groups in Naturally Enriched Languages". Communications in Algebra 5 (11). 
  • Huber-Dyson, Verena (1979). «An Inductive Theory for Free Products of Groups». Algebra Universalis 9. "An Inductive Theory for Free Products of Groups". Algebra Universalis 9. 
  • Huber-Dyson, Verena (1981). «A Reduction of the Open Sentence Problem for Finite Groups». Bulletin of the London Mathematical Society 13. "A Reduction of the Open Sentence Problem for Finite Groups". Bulletin of the London Mathematical Society 13. 
  • Huber-Dyson, Verena (1982). «Symmetric Groups and the Open Sentence Problem». Patras Logic Symposium. North-Holland. "Symmetric Groups and the Open Sentence Problem". Patras Logic Symposium. North-Holland. 
  • Huber-Dyson, Verena (1982). «Finiteness Conditions and the Word Problem». Groups St. Andrews 1981. LMS Lecture Notes. 71. "Finiteness Conditions and the Word Problem". Groups St. Andrews 1981. LMS Lecture Notes. 
  • Huber-Dyson, Verena; Jones, J; Shepherdson, J (1982). «Some Diophantine Forms of Gödel’s Theorem». Archiv für Mathematische Logik 22. "Some Diophantine Forms of Gödel’s Theorem". Archiv für Mathematische Logik 22. 
  • Huber-Dyson, Verena (1982). «Decision Problems in Group Theory». Recent Trends in Mathematics, Reinhardsbrunn 1982. Teubner Texte zur Mathematik. 50. "Decision Problems in Group Theory". Recent Trends in Mathematics, Reinhardsbrunn 1982. Teubner Texte zur Mathematik. 
  • Huber-Dyson, Verena (1984). «HNN-constructing Finite Groups». Groups Korea 1983. Springer Lecture Notes in Mathematics. 1098. "HNN-constructing Finite Groups". Groups Korea 1983. Springer Lecture Notes in Mathematics. 
  • Huber-Dyson, Verena (1981). «Critical Notice on Gödel, Escher, Bach by D.R. Hofstadter». Canadian Journal of Philosophy 11 (4). "Critical Notice on Gödel, Escher, Bach by D.R. Hofstadter". Canadian Journal of Philosophy 11 (4). 
  • Huber-Dyson, Verena (1996). «Thoughts on the Occasion of Kreisel's 70th Birthday». Στο: Odifreddi. Kreiseliana, about and around George Kreisel. AK Peters. "Thoughts on the Occasion of Kreisel’s 70th Birthday". In Odifreddi. Kreiseliana, about and around George Kreisel. AK Peters. 

Σημειώσεις

Επεξεργασία
  1. MacTutor History of Mathematics archive.
  2. 2,0 2,1 Nicholas Dawidoff, "The Civil Heretic", New York Times, March 29, 2009.
  3. 3,0 3,1 Schewe, p.72.
  4. «Obituary of Verena Huber-Dyson». molesfarewelltributes.com. Αρχειοθετήθηκε από το πρωτότυπο στις 26 Αυγούστου 2016. Ανακτήθηκε στις 10 Μαΐου 2016. 
  5. Ein Dualismus als Klassifikationsprinzip in der abstrakten Gruppentheorie (dissertation).
  6. John J. O'Connor and Edmund F. Robertson, Freeman Dyson, MacTutor History of Mathematics Archive, University of St. Andrews Scotland (last visited March 14, 2014).
  7. Βερίνα Χούμπερ-Ντάισον στο Mathematics Genealogy Project
  8. Directory Αρχειοθετήθηκε 2013-01-07 στο Wayback Machine., A Community of Scholars: Institute for Advanced Study, Institute for Advanced Study (last visited March 14, 2014).
  9. Schewe, p.70.
  10. 10,0 10,1 Anita Burdman Feferman and Solomon Feferman, Alfred Tarski: Life and Logic, pp. 272–276.
  11. Verena Huber-Dyson, "Gödel in a Nutshell", Edge, May 13, 2006.
  12. Schewe, p.287.
  13. John Brockman (13 Μαρτίου 2016). «Verena Huber-Dyson». Edge. Ανακτήθηκε στις 15 Μαρτίου 2016. 
  14. «Obiturary of Verena Huber-Dyson». Αρχειοθετήθηκε από το πρωτότυπο στις 26 Αυγούστου 2016. Ανακτήθηκε στις 28 Απριλίου 2016. 

Αναφορές

Επεξεργασία
  • Anita Burdman Feferman and Solomon Feferman, Alfred Tarski: Life and Logic (2004)
  • Phillip F. Schewe, Maverick Genius: The Pioneering Odyssey of Freeman Dyson (2013) (especially Chapters 5–8).

Εξωτερικοί σύνδεσμοι

Επεξεργασία