Verena Huber-Dyson
Verena Huber-Dyson.jpg)
| Nacimiento |
6 de mayo de 1923 Nápoles |
|---|---|
| Muerte |
12 de marzo de 2016(en 92) Bellingham |
| Nombre de nacimiento | Verena esther huber |
| Nacionalidad | suizo |
| Capacitación |
Escuela Alemana de Atenas ( fr ) (hasta1940) Universidad de Zurich ( Doctor en Filosofía ) (hasta1947) |
| Actividad | Matemático |
| Cónyuge | Freeman Dyson (desde1950) |
| Niños |
Esther Dyson George Dyson |
| Trabajé para | Universidad de California, Berkeley , Goucher College ( en ) , Universidad Estatal de San José (desde1959) , Universidad de Calgary (desde1973) |
|---|---|
| Directores de tesis | Andreas Speiser , Rudolf Fueter |
Verena Huber-Dyson , de soltera Verena Esther Huber la6 de mayo de 1923en Nápoles y murió el12 de marzo de 2016en Bellingham , es una matemática suiza , conocida por su trabajo en teoría de grupos y lógica matemática .
Obras
Su investigación se centra en la indecidibilidad en la teoría de grupos. Se dedicó a la interpretación de los teoremas de Gödel .
Publicaciones
- (en) Teoremas de Gödel: un libro de trabajo sobre formalización , Stuttgart y Leipzig, BG Teubner , coll. "Teubner-Texte zur Mathematik" ( n o 122),1991, 292 p. ( ISBN 3-8154-2023-7 ).
- con Klaus Roggenkamp (de) : Lattices over Orders I , Lecture Notes in Mathematics 115, Springer-Verlag 1970
Notas y referencias
- Verena Huber-Dyson, Gödel en pocas palabras , Edge (con la biografía y foto)
enlaces externos
-
Registros de autoridad :
- Archivo de autoridad internacional virtual
- Identificador de nombre estándar internacional
- CiNii
- Biblioteca Nacional de Francia ( datos )
- Sistema de documentación universitaria
- Biblioteca del Congreso
- Gemeinsame Normdatei
- Biblioteca Real de los Países Bajos
- Biblioteca de la Universidad de Polonia
- Red de Bibliotecas de Suiza Occidental
- Identificación de WorldCat
- WorldCat
- Recurso de investigación :