| アイテムタイプ |
Article |
| ID |
|
| プレビュー |
| 画像 |
|
| キャプション |
|
|
| 本文 |
AN00150430-00000104-0033.pdf
| Type |
:application/pdf |
Download
|
| Size |
:402.9 KB
|
| Last updated |
:Oct 5, 2010 |
| Downloads |
: 1639 |
Total downloads since Oct 5, 2010 : 1639
|
|
| 本文公開日 |
|
| タイトル |
| タイトル |
カット除去法による独立性証明
|
| カナ |
カット ジョキョホウ ニ ヨル ドクリツセイ ショウメイ
|
| ローマ字 |
Katto jokyoho ni yoru dokuritsusei shomei
|
|
| 別タイトル |
| 名前 |
Independence proof via cut elimination method
|
| カナ |
|
| ローマ字 |
|
|
| 著者 |
| 名前 |
浜野, 正浩
|
| カナ |
ハマノ, マサヒロ
|
| ローマ字 |
Hamano, Masahiro
|
| 所属 |
北陸先端科学技術大学院大学
|
| 所属(翻訳) |
|
| 役割 |
|
| 外部リンク |
|
|
| 版 |
|
| 出版地 |
|
| 出版者 |
| 名前 |
三田哲學會
|
| カナ |
ミタ テツガクカイ
|
| ローマ字 |
Mita tetsugakukai
|
|
| 日付 |
| 出版年(from:yyyy) |
1999
|
| 出版年(to:yyyy) |
|
| 作成日(yyyy-mm-dd) |
|
| 更新日(yyyy-mm-dd) |
|
| 記録日(yyyy-mm-dd) |
|
|
| 形態 |
|
| 上位タイトル |
| 名前 |
哲學
|
| 翻訳 |
|
| 巻 |
|
| 号 |
104
|
| 年 |
1999
|
| 月 |
12
|
| 開始ページ |
33
|
| 終了ページ |
44
|
|
| ISSN |
|
| ISBN |
|
| DOI |
|
| URI |
|
| JaLCDOI |
|
| NII論文ID |
|
| 医中誌ID |
|
| その他ID |
|
| 博士論文情報 |
| 学位授与番号 |
|
| 学位授与年月日 |
|
| 学位名 |
|
| 学位授与機関 |
|
|
| 抄録 |
We give a direct independence proof of Kirby-Paris' Hydra Game [9] from Peano Arithmetic (PA). This is done by giving a relationship between Gentzen's consistency proof [5] for PA and the Hydra Game. Compared with Kirby-Paris' and Cichon's [3] proofs, our proof is direct in that we do not use any finite characterization theorem of the PA-provably recursive functions. We prove that one step reduction of Kirby-Paris' Hydra Game corresponds to finite steps of Gentzen's proof reduction. With the help of Godel's Incompleteness Theorem, Kirby-Paris' unprovability result follows.
|
|
| 目次 |
1. はじめに
2. Kirby-ParisのHydra Game
3. GentzenのPAのためのcut除去法
4. cut除去法による定理1の証明
5. まとめ
|
|
| キーワード |
|
| NDC |
|
| 注記 |
|
| 言語 |
|
| 資源タイプ |
|
| ジャンル |
|
| 著者版フラグ |
|
| 関連DOI |
|
| アクセス条件 |
|
| 最終更新日 |
|
| 作成日 |
|
| 所有者 |
|
| 更新履歴 |
|
| インデックス |
|
| 関連アイテム |
|
