Verena Huber-Dyson

Biographie
Naissance	6 mai 1923; Naples
Décès	12 mars 2016 (à 92 ans); Bellingham
Nom de naissance	Verena Esther Huber
Nationalité	suisse
Formation	École allemande d'Athènes (en) (jusqu'en 1940); Université de Zurich (doctorat) (jusqu'en 1947)
Activité	Mathématicienne
Conjoint	Freeman Dyson (de 1950 à 1958)
Enfants	Esther Dyson; George Dyson
A travaillé pour	Université de Calgary (à partir de 1973); Université d'État de San José (à partir de 1959); Goucher College (en); Université de Californie à Berkeley
Directeurs de thèse	Andreas Speiser, Rudolf Fueter

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, née Verena Esther Huber le 6 mai 1923 à Naples et morte le 12 mars 2016 à 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]

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].

(en) Gödel's theorems : a workbook on formalization, Stuttgart et Leipzig, B. G. Teubner, coll. « Teubner-Texte zur Mathematik » (n^o 122), 1991, 292 p. (ISBN 3-8154-2023-7).
avec Klaus Roggenkamp (de) : Lattices over Orders I, Lecture Notes in Mathematics 115, Springer-Verlag 1970

↑ ^{a et b} Verena Huber-Dyson, Gödel in a nutshell, Edge (avec Biographie et photo)