| アイテムタイプ |
Article |
| ID |
|
| プレビュー |
| 画像 |
|
| キャプション |
|
|
| 本文 |
KAKEN_22820054seika.pdf
| Type |
:application/pdf |
Download
|
| Size |
:70.0 KB
|
| Last updated |
:Oct 16, 2012 |
| Downloads |
: 1542 |
Total downloads since Oct 16, 2012 : 1542
|
|
| 本文公開日 |
|
| タイトル |
| タイトル |
形式主義と直観主義の証明論的手法による比較再検討
|
| カナ |
ケイシキ シュギ ト チョッカン シュギ ノ ショウメイロンテキ シュホウ ニ ヨル ヒカク サイケントウ
|
| ローマ字 |
Keishiki shugi to chokkan shugi no shomeironteki shuho ni yoru hikaku saikento
|
|
| 別タイトル |
| 名前 |
Reconsideration of the relationship between formalism and intuitionism via proof-theoretical method
|
| カナ |
|
| ローマ字 |
|
|
| 著者 |
| 名前 |
秋吉, 亮太
 |
| カナ |
アキヨシ, リヨウタ
|
| ローマ字 |
Akiyoshi, Ryota
|
| 所属 |
慶應義塾大学・文学研究科・助教
|
| 所属(翻訳) |
|
| 役割 |
Research team head
|
| 外部リンク |
科研費研究者番号 : 20587852
|
|
| 版 |
|
| 出版地 |
|
| 出版者 |
|
| 日付 |
| 出版年(from:yyyy) |
2012
|
| 出版年(to:yyyy) |
|
| 作成日(yyyy-mm-dd) |
|
| 更新日(yyyy-mm-dd) |
|
| 記録日(yyyy-mm-dd) |
|
|
| 形態 |
|
| 上位タイトル |
| 名前 |
科学研究費補助金研究成果報告書
|
| 翻訳 |
|
| 巻 |
|
| 号 |
|
| 年 |
2011
|
| 月 |
|
| 開始ページ |
|
| 終了ページ |
|
|
| ISSN |
|
| ISBN |
|
| DOI |
|
| URI |
|
| JaLCDOI |
|
| NII論文ID |
|
| 医中誌ID |
|
| その他ID |
|
| 博士論文情報 |
| 学位授与番号 |
|
| 学位授与年月日 |
|
| 学位名 |
|
| 学位授与機関 |
|
|
| 抄録 |
2010～2011年度にかけては, 形式主義と直観主義の比較再検討というテーマの元, 論理学(数学基礎論)・哲学の両面から研究を行った. 主な数学的成果としては, スタンフォード大学G.ミンツ教授との共同研究により, ブフホルツのΩ規則の完全カット消去定理という未解決問題を解いた. 主な哲学的成果としては, 非可述性の分析という観点から証明論のこれまでの歴史を振り返り考察を行い, 今後の課題を提示した.
|
|
| 目次 |
|
| キーワード |
|
| NDC |
|
| 注記 |
研究種目 : 研究活動スタート支援
研究期間 : 2010～2011
課題番号 : 22820054
研究分野 : 人文学
科研費の分科・細目 : 哲学・倫理学
|
|
| 言語 |
|
| 資源タイプ |
|
| ジャンル |
|
| 著者版フラグ |
|
| 関連DOI |
|
| アクセス条件 |
|
| 最終更新日 |
|
| 作成日 |
|
| 所有者 |
|
| 更新履歴 |
|
| インデックス |
|
| 関連アイテム |
|
