Accueil🇫🇷Chercher

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
Biographie
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 (doctorat) (jusqu'en )
Activité
Conjoint
Freeman Dyson (de Ă  )
Enfants
Autres informations
A travaillé pour
Directeurs 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

  1. Verena Huber-Dyson, Gödel in a nutshell, Edge (avec Biographie et photo)

Liens externes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.