研究課題/領域番号 |
24840022
|
研究種目 |
研究活動スタート支援
|
配分区分 | 補助金 |
研究分野 |
数学一般(含確率論・統計数学)
|
研究機関 | 北陸先端科学技術大学院大学 |
研究代表者 |
根元 多佳子 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (20546155)
|
研究期間 (年度) |
2012-08-31 – 2014-03-31
|
研究課題ステータス |
完了 (2013年度)
|
配分額 *注記 |
2,990千円 (直接経費: 2,300千円、間接経費: 690千円)
2013年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2012年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
キーワード | 集合論 / 演算適用の理論 / 証明論 / 翻訳 / 算術 / applicative theory / proof theory / set theory / interpretation / 数理論理学 |
研究概要 |
集合を基本的な対象とする集合論の体系と、文字列に対しての変換規則からなる演算適用の体系の間の翻訳について、P.Aczelによって与えられた集合論から型理論の体系への翻訳を応用した翻訳を構築した。結果としてはこの手法で演算適用の体系に翻訳可能な集合論の体系は通常の集合論とは異なり「集合全体から成る集合」が存在する一方で、比較的弱いと考えられている集合内包公理のいくつかが翻訳できないことがわかった。また、この方法で翻訳できる集合論で、証明能力の意味で最適と言える集合論が構成できた。
|