Viggo Stoltenberg-Hansen - Viggo Stoltenberg-Hansen

Tento životopis živé osoby potřebuje další citace pro ověření. Pomozte prosím přidáním spolehlivé zdroje. Sporný materiál o žijících osobách, který není získáván nebo má špatné zdroje musí být okamžitě odstraněny, zvláště pokud potenciálně hanlivý nebo škodlivé. Najít zdroje: „Viggo Stoltenberg-Hansen“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Únor 2012) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Viggo Stoltenberg-Hansen, narozen 1942, profesor v Univerzita v Uppsale, Katedra matematiky, je a švédský matematik /logik a expert na teorie domény a teorie rekurze (také známý jako teorie vypočítatelnosti ). Viggo získal doktorát z matematiky (s názvem „O prioritních argumentech ve Friedbergových teoriích“) od University of Toronto v roce 1973.

Práce na doménové teorii

Viggo Stoltenberg-Hansen a John Tucker vyvinul na začátku 80. let obecnou metodu doména reprezentace topologických algeber.

Viggo je hlavním autorem učebnice „Matematická teorie domén“, Cambridge University Press, 1994 (spoluautorem I. Lindström a E. Griffor), a také souboru Marktoberdorf letní přednášky o teorii domén.

Práce na efektivních doménách

Viggo Stoltenberg-Hansen a John Tucker provedli důkladnou analýzu vypočítatelnosti související s efektivní algebry a kontinuita homomorfismy mezi takovými.

Některé odkazy

1. V Stoltenberg-Hansen a J V Tucker, Efektivní algebry, ve S Abramsky, D Gabbay a T Maibaum (eds.), Handbook of Logic in Computer Science, Volume IV: Semantic Modeling, Oxford University Press (1995), str. 357–526.
2. V Stoltenberg-Hansen a J V Tucker, Vypočitatelné prstence a pole, v E Griffor (ed.), Příručka teorie vypočítatelnosti, Elsevier (1999), str. 363–447.

externí odkazy

• Viggo Stoltenberg-Hansen na Matematický genealogický projekt

Tento článek o a švédský matematik je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.