Verena Huber-Dyson
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.
Verena Huber-Dyson
.jpg.webp)
| Naissance | |
|---|---|
| Décès |
(à 92 ans) Bellingham |
| Nom de naissance |
Verena Esther Huber |
| Nationalité | |
| Formation |
École allemande d'Athènes (en) (jusqu'en ) Université de Zurich (Philosophiæ doctor) (jusqu'en ) |
| Activité | |
| Conjoint |
Freeman Dyson (depuis ) |
| Enfants |
| A travaillé pour |
Université de Calgary (depuis ), université d'État de San José (depuis ), Goucher College (en), université de Californie à Berkeley |
|---|---|
| Dir. de thèse |
Travaux
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
- Verena Huber-Dyson, Gödel in a nutshell, Edge (avec Biographie et photo)
Liens externes
- Notices d'autorité :
- Fichier d’autorité international virtuel
- International Standard Name Identifier
- CiNii
- Bibliothèque nationale de France (données)
- Système universitaire de documentation
- Bibliothèque du Congrès
- Gemeinsame Normdatei
- Bibliothèque royale des Pays-Bas
- Bibliothèque nationale d’Israël
- Bibliothèque universitaire de Pologne
- Réseau des bibliothèques de Suisse occidentale
- WorldCat
- Ressources relatives à la recherche :
Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.