Viggo Stoltenberg-Hansen

Viggo Stoltenberg-Hansen, 1942 nacido, profesor en la universidad de Uppsala, el Departamento de Matemáticas, es un matemático/lógico sueco y experto en teoría de la esfera y teoría de la recursión (también conocido como la teoría de computabilidad). Viggo recibió su PhD en Matemáticas (titulado "En Argumentos de Prioridad En Teorías Friedberg") de la universidad de Toronto en 1973, supervisado por Douglas Clarke.

Trabajo de teoría de la esfera

Viggo Stoltenberg-Hansen y John Tucker desarrollaron a principios de los años 1980 un método general de representaciones de la esfera de álgebras topológicas.

Viggo es el autor principal del libro de texto "La Teoría matemática de Esferas", editorial universitaria de Cambridge, 1994 (coauthored por mí. Lindström y E. Griffor), y también de un juego de Marktoberdorf curso de verano sermonean notas de la teoría de la esfera.

Trabajo de esferas eficaces

Viggo Stoltenberg-Hansen y John Tucker hicieron un análisis cuidadoso de la computabilidad asociado a álgebras eficaces y continuidad de homomorphisms entre tal.

Algunas referencias

  1. V Stoltenberg-Hansen y J V Tucker, álgebras Eficaces, en S Abramsky, D Gabbay y T Maibaum (editores)., Guía de Lógica en Ciencias informáticas, el Tomo IV: Modelado Semántico, Oxford University Press (1995), pp357–526.
  2. V Stoltenberg-Hansen y J V Tucker, anillos Computables y campos, en E Griffor (editor)., Guía de Teoría de Computabilidad, Elsevier (1999), pp363–447.


Buscar