3 0 0 0 OA 憲法 : 黒田覚先生講義プリント 高文必携・京大新講
1 0 0 0 OA 超準解析と計算可能性理論の融合-ランダム性へのロジカル・アプローチ-
- 著者
- 田中 一之 山崎 武 服部 哲弥 小澤 正直 黒田 覚 隈部 正博 服部 哲哉 小澤 正直 鈴木 登志雄 黒田 覚 隈部 正博 鹿島 亮
- 出版者
- 東北大学
- 雑誌
- 基盤研究(B)
- 巻号頁・発行日
- 2007
本研究の主題は, 超準的手法の論理的基礎付けである. 従来集合論をベースに行われた超準的議論を, 計算可能性と結びついた2階算術の弱い体系において実行することにより, 命題の構成的な内容まで超準的に得られるようにする. 代表者が考案した2階算術の超準的方法論の改良と整備を行いながら, 2階算術の超準モデルを研究し, 同時に実数集合の計算構造について探査する. とくに, ランダムな無限列としての実数とその集合の性質を調べる.