Loading article…
ヴィゴ・ストルテンベルグ・ハンセンは、1942年生まれ、ウプサラ大学数学科教授であり、スウェーデンの 数学者/論理学者であり、領域理論と再帰理論(計算可能性理論としても知られる)の専門家です。ヴィゴは、 1973年に トロント大学で数学の博士号(「フリードバーグ理論における優先権の議論について」というタイトル)を取得しました。
ドメイン理論の研究
ヴィゴ・ストルテンベルグ・ハンセンとジョン・タッカーは、1980 年代初頭に位相代数の 領域表現の一般的な方法を開発しました。
Viggo は、教科書「Mathematical Theory of Domains」(ケンブリッジ大学出版、1994 年、I. Lindström と E. Griffor との共著) の主要著者であり、また、ドメイン理論に関するMarktoberdorfサマースクールの講義ノートの主要著者でもあります。
効果的なドメインに取り組む
Viggo Stoltenberg-Hansen と John Tucker は、有効代数に関連する計算可能性と 、それらの間の準同型の連続性について徹底的な分析を行いました。
いくつかの参考文献
- V Stoltenberg-Hansen および JV Tucker、「Effective algebras」、S Abramsky、D Gabbay、T Maibaum (編)、『Handbook of Logic in Computer Science、Volume IV: Semantic Modelling』、Oxford University Press (1995)、pp357-526。
- V Stoltenberg-Hansen と JV Tucker、「計算可能環と計算可能体」、E Griffor (編)、『計算可能性理論ハンドブック』、Elsevier (1999)、pp363-447。
外部リンク
- 数学系譜プロジェクトのヴィゴ・ストルテンベルグ・ハンセン
