Verena Huber-Dyson
Verena Huber-Dyson.jpg)
| Narození |
6. května 1923 Neapol |
|---|---|
| Smrt |
12. března 2016(ve věku 92) Bellingham |
| Rodné jméno | Verena Ester Huberová |
| Státní příslušnost | švýcarský |
| Výcvik |
Německá škola v Aténách ( fr ) (do1940) University of Zurich ( Philosophiæ doctor ) (do1947) |
| Aktivita | Matematik |
| Manželka | Freeman Dyson (od1950) |
| Děti |
Esther Dyson George Dyson |
| Pracoval pro | University of California, Berkeley , Goucher College ( in ) , State University of San Jose (od1959) , University of Calgary (od1973) |
|---|---|
| Vedoucí práce | Andreas Speiser , Rudolf Fueter |
Verena Huber-Dyson , rozená Verena Esther Huber6. května 1923v Neapoli a zemřel dne12. března 2016v Bellinghamu , je švýcarský matematik , nejlépe známý pro svou práci na teorii skupin a matematické logice .
Funguje
Jeho výzkum se zaměřuje na nerozhodnutelnost v teorii skupin. Věnovala se interpretaci Gödelových vět .
Publikace
- (en) Gödelovy věty: sešit o formalizaci , Stuttgart a Lipsko, BG Teubner , kol. "Teubner-Texte zur Mathematik" ( n o 122),1991, 292 s. ( ISBN 3-8154-2023-7 ).
- s Klausem Roggenkampem (de) : Mříže nad objednávkami I , Přednášky z matematiky 115, Springer-Verlag 1970
Poznámky a odkazy
- Verena Huber-Dyson, Gödel v kostce , Edge (s biografií a fotografií)
externí odkazy
-
Autoritní záznamy :
- Virtuální mezinárodní autoritní soubor
- Mezinárodní standardní identifikátor jména
- CiNii
- Francouzská národní knihovna ( údaje )
- Univerzitní dokumentační systém
- Knihovna Kongresu
- Gemeinsame Normdatei
- Nizozemská královská knihovna
- Polská univerzitní knihovna
- Síť západních švýcarských knihoven
- ID WorldCat
- WorldCat
- Zdroj výzkumu :