Verena Huber-Dyson
Verena Huber-Dyson.jpg)
| Fødsel |
6. maj 1923 Napoli |
|---|---|
| Død |
12. marts 2016(kl. 92) Bellingham |
| Fødselsnavn | Verena esther huber |
| Nationalitet | Schweizisk |
| Uddannelse |
German School of Athens ( fr ) (indtil1940) Universitet i Zürich ( Philosophiæ-læge ) (indtil1947) |
| Aktivitet | Matematiker |
| Ægtefælle | Freeman Dyson (siden1950) |
| Børn |
Esther Dyson George Dyson |
| Arbejdede for | University of California, Berkeley , Goucher College ( in ) , State University of San Jose (fra1959) , University of Calgary (siden1973) |
|---|---|
| Specialedirektører | Andreas Speiser , Rudolf Fueter |
Verena Huber-Dyson , født Verena Esther Huber den6. maj 1923i Napoli og døde den12. marts 2016i Bellingham , er en schweizisk matematiker , bedst kendt for sit arbejde med gruppeteori og matematisk logik .
Arbejder
Hans forskning fokuserer på undecidability i gruppeteori. Hun viet sig til fortolkningen af Gödel's sætninger .
Publikationer
- (en) Gödel's sætninger: en arbejdsbog om formalisering , Stuttgart og Leipzig, BG Teubner , koll. "Teubner-Texte zur Mathematik" ( nr . 122),1991, 292 s. ( ISBN 3-8154-2023-7 ).
- med Klaus Roggenkamp (de) : Gitter over ordrer I , Forelæsningsnotater i matematik 115, Springer-Verlag 1970
Noter og referencer
- Verena Huber-Dyson, Gödel i en nøddeskal , Edge (med biografi og foto)
eksterne links
- Myndighedsposter :
- Forskningsressource :