Verena Huber-Dyson
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/35px-Racine_carr%C3%A9e_bleue.svg.png)
Cet article est une ébauche concernant une mathématicienne.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Verena Huber-Dyson
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f9/Verena_Huber-Dyson_%28cropped%29.jpg/260px-Verena_Huber-Dyson_%28cropped%29.jpg)
Naissance | ![]() Naples ![]() |
---|---|
Décès | ![]() Bellingham ![]() |
Nom de naissance | Verena Esther Huber ![]() |
Nationalité | suisse ![]() |
Formation | École allemande d'Athènes (en) (jusqu'en ) Université de Zurich (doctorat) (jusqu'en ) ![]() |
Activité | |
Conjoint | Freeman Dyson (de à ) ![]() |
Enfants | Esther Dyson George Dyson ![]() |
A travaillé pour | Université de Calgary (à partir de ) Université d'État de San José (à partir de ) Collège Goucher (en) Université de Californie à Berkeley ![]() |
---|---|
Directeurs de thèse | Andreas Speiser, Rudolf Fueter ![]() |
modifier - modifier le code - modifier Wikidata
Verena Huber-Dyson, née Verena Esther Huber le à Naples et morte le à Bellingham, est une mathématicienne suisse, connue pour son travail sur la théorie des groupes[1] et la logique mathématique.
Travaux
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/87/Fairytale_warning.png/17px-Fairytale_warning.png)
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
Ses recherches portent sur l'indécidabilité dans la théorie des groupes. Elle s'est consacrée à l'interprétation des théorèmes de Gödel[1].
Publications
- (en) Gödel's theorems : a workbook on formalization, Stuttgart et Leipzig, B. G. Teubner, coll. « Teubner-Texte zur Mathematik » (no 122), , 292 p. (ISBN 3-8154-2023-7).
- avec Klaus Roggenkamp (de) : Lattices over Orders I, Lecture Notes in Mathematics 115, Springer-Verlag 1970
Notes et références
Liens externes
- Notices d'autorité
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- CiNii
- Pays-Bas
- Israël
- NUKAT
- WorldCat
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
- Scopus
Portail des mathématiques