| 研究概要 |
(1)本研究のメイン・テーマは,超準解析の論理的基礎付けである.これまで集合論をベースに行われていた超準的議論を,計算可能性と結びついた2階算術の弱い体系において実行することにより,命題の構成的な内容まで超準的に得られるようになるはずであるという代表者の着想に基づき,2階算術の超準解析に対して理論的土台を整備し,その応用範囲を広げていくことを目的する.
(2)(1)の理論整備を進めるため,2階算術の超準モデルと,実数集合の計算構造について広い意味での基礎研究を行う.とくに計算可能な閉集合の次数の研究と,2階算術における種々の決定性公理の比較に関する研究が(1)の理論を深めるために重要と思われるので,それらを重点的に行う.
(3)(1)および(2)の成果を踏まえて,ランダム性の計算論的様相を研究する.決定性アルゴリズムとランダム・アルゴリズムの計算の複雑さの比較や,ランダム性の様々な定義の間の関係を分析する.
|
