Verena Huber-Dyson
Verena Huber-Dyson.jpg)
| Narodziny |
6 maja 1923 Neapol |
|---|---|
| Śmierć |
12 marca 2016 r(w wieku 92 lat) Bellingham |
| Imię urodzenia | Verena esther huber |
| Narodowość | szwajcarski |
| Trening |
German School of Athens ( fr ) (do1940) Uniwersytet w Zurychu ( doktor filozofii ) (do1947) |
| Czynność | Matematyk |
| Małżonka | Freeman Dyson (od1950) |
| Dzieci |
Esther Dyson George Dyson |
| Pracował dla | University of California, Berkeley , Goucher College ( w ) , State University of San Jose (z1959) , University of Calgary (od1973) |
|---|---|
| Kierownicy prac dyplomowych | Andreas Speiser , Rudolf Fueter |
Verena Huber-Dyson , z domu Verena Esther Huber the6 maja 1923w Neapolu i zmarł dalej12 marca 2016 rat Bellingham jest szwajcarską matematyką , znaną z pracy nad teorią grup i logiką matematyczną .
Pracuje
Jego badania koncentrują się na nierozstrzygalności w teorii grup. Poświęciła się interpretacji twierdzeń Gödla .
Publikacje
- (en) Twierdzenia Gödla: podręcznik formalizacji , Stuttgart i Lipsk, BG Teubner , wyd. "Teubner-Texte zur Mathematik" ( N O 122)1991, 292 pkt. ( ISBN 3-8154-2023-7 ).
- z Klausem Roggenkampem (de) : Lattices over Orders I , Lecture Notes in Mathematics 115, Springer-Verlag 1970
Uwagi i odniesienia
- Verena Huber-Dyson, Gödel w pigułce , EDGE (z biografią i zdjęcie)
Linki zewnętrzne
-
Dokumentacja urzędowa :
- Plik wirtualnego organu międzynarodowego
- Międzynarodowy identyfikator nazwy normy
- CiNii
- Biblioteka Narodowa Francji ( dane )
- System dokumentacji uczelni
- Biblioteka Kongresu
- Gemeinsame Normdatei
- Królewska Biblioteka Niderlandzka
- Biblioteka Uniwersytecka w Polsce
- Western Swiss Library Network
- WorldCat Id
- WorldCat
- Zasoby badawcze :