Verena Huber-Dyson — Wikipédia
Verena Huber-Dyson
Naissance | |
---|---|
Décès | |
Nom de naissance | Verena Esther Huber |
Nationalité | |
Formation | École allemande d'Athènes (en) (jusqu'en ) Université de Zurich (doctorat) (jusqu'en ) |
Activité | |
Conjoint | Freeman Dyson (de à ) |
Enfants |
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 |
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
[modifier | modifier le code]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
[modifier | modifier le code]- (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
[modifier | modifier le code]- Verena Huber-Dyson, Gödel in a nutshell, Edge (avec Biographie et photo)
Liens externes
[modifier | modifier le code]- Ressources relatives à la recherche :