Verena Huber-Dyson

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

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 » (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

Notes et références

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

Liens externes

Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- CiNii
- Pays-Bas
- Israël
- NUKAT
- WorldCat
Ressources relatives à la recherche :

Portail des mathématiques

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.