Verena Huber-Dyson
Verena Huber-Dyson.jpg)
| Fødsel |
6. mai 1923 Napoli |
|---|---|
| Død |
12. mars 2016(kl. 92) Bellingham |
| Fødselsnavn | Verena esther huber |
| Nasjonalitet | sveitsisk |
| Opplæring |
German School of Athens ( fr ) (til1940) University of Zurich ( Philosophiæ doctor ) (til1947) |
| Aktivitet | Matematiker |
| Ektefelle | Freeman Dyson (siden1950) |
| Barn |
Esther Dyson George Dyson |
| Jobbet for | University of California, Berkeley , Goucher College ( in ) , State University of San Jose (fra1959) , University of Calgary (siden1973) |
|---|---|
| Avhandlingsledere | Andreas Speiser , Rudolf Fueter |
Verena Huber-Dyson , født Verena Esther Huber den6. mai 1923i Napoli og døde den12. mars 2016på Bellingham , er en sveitsisk matematiker , mest kjent for sitt arbeid med gruppeteori og matematisk logikk .
Virker
Hans forskning fokuserer på undecidability i gruppeteori. Hun viet seg til tolkningen av Gödels teoremer .
Publikasjoner
- (en) Gödels teoremer: en arbeidsbok 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) : Lattices over Orders I , Lecture Notes in Mathematics 115, Springer-Verlag 1970
Merknader og referanser
- Verena Huber-Dyson, Gödel i et nøtteskall , Edge (med biografi og foto)
Eksterne linker
-
Autoritetsjournaler :
- Virtuell internasjonal myndighetsfil
- Internasjonal standardnavnidentifikator
- CiNii
- Nasjonalbiblioteket i Frankrike ( data )
- Universitetsdokumentasjonssystem
- Library of Congress
- Gemeinsame Normdatei
- Royal Netherlands Library
- Universitetsbiblioteket i Polen
- Western Swiss Library Network
- WorldCat Id
- WorldCat
- Forskningsressurs :