Viggo Stoltenberg-Hansen
Encyclopedia
Viggo Stoltenberg-Hansen, born 1942, professor at Uppsala University
, Department of Mathematics, is a Swedish
mathematician
/logician and expert on domain theory
and recursion theory
(also known as computability theory
). Viggo received his PhD in Mathematics (titled "On Priority Arguments In Friedberg Theories") from University of Toronto
in 1973, supervised by Douglas Clarke
.
developed in the early 1980s a general method of domain
representations of topological algebras.
Viggo is the main author of the textbook "Mathematical Theory of Domains", Cambridge University Press, 1994 (coauthored by I. Lindström and E. Griffor), and also of a set of Marktoberdorf
summer school lecture notes on domain theory.
Uppsala University
Uppsala University is a research university in Uppsala, Sweden, and is the oldest university in Scandinavia, founded in 1477. It consistently ranks among the best universities in Northern Europe in international rankings and is generally considered one of the most prestigious institutions of...
, Department of Mathematics, is a Swedish
Sweden
Sweden , officially the Kingdom of Sweden , is a Nordic country on the Scandinavian Peninsula in Northern Europe. Sweden borders with Norway and Finland and is connected to Denmark by a bridge-tunnel across the Öresund....
mathematician
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
/logician and expert on domain theory
Domain theory
Domain theory is a branch of mathematics that studies special kinds of partially ordered sets commonly called domains. Consequently, domain theory can be considered as a branch of order theory. The field has major applications in computer science, where it is used to specify denotational...
and recursion theory
Recursion theory
Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability and definability...
(also known as computability theory
Computability theory
Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability and definability...
). Viggo received his PhD in Mathematics (titled "On Priority Arguments In Friedberg Theories") from University of Toronto
University of Toronto
The University of Toronto is a public research university in Toronto, Ontario, Canada, situated on the grounds that surround Queen's Park. It was founded by royal charter in 1827 as King's College, the first institution of higher learning in Upper Canada...
in 1973, supervised by Douglas Clarke
Douglas Clarke
Douglas Clarke was a Danish-born English cricketer. He was a right-handed batsman and a right-arm medium-fast bowler who played for Bedfordshire....
.
Work on domain theory
Viggo Stoltenberg-Hansen and John TuckerJohn V. Tucker
John Vivian Tucker is a British computer scientist and expert on computability theory, also known as recursion theory. Computability theory is about what can and cannot be computed by people and machines...
developed in the early 1980s a general method of domain
Domain theory
Domain theory is a branch of mathematics that studies special kinds of partially ordered sets commonly called domains. Consequently, domain theory can be considered as a branch of order theory. The field has major applications in computer science, where it is used to specify denotational...
representations of topological algebras.
Viggo is the main author of the textbook "Mathematical Theory of Domains", Cambridge University Press, 1994 (coauthored by I. Lindström and E. Griffor), and also of a set of Marktoberdorf
Marktoberdorf
Marktoberdorf is the capital of the Bavarian district of Ostallgäu in the Regierungsbezirk of Swabia.Marktoberdorf is near Kempten, Füssen, known for the castle Neuschwanstein, Bad Wörishofen, and Schongau. The nearest larger city is Kaufbeuren, eleven kilometers away.Marktoberdorf plays host to a...
summer school lecture notes on domain theory.