| Item Type |
Article |
| ID |
|
| Preview |
| Image |
|
| Caption |
|
|
| Full text |
AN00150430-00000104-0033.pdf
| Type |
:application/pdf |
Download
|
| Size |
:402.9 KB
|
| Last updated |
:Oct 5, 2010 |
| Downloads |
: 1641 |
Total downloads since Oct 5, 2010 : 1641
|
|
| Release Date |
|
| Title |
| Title |
カット除去法による独立性証明
|
| Kana |
カット ジョキョホウ ニ ヨル ドクリツセイ ショウメイ
|
| Romanization |
Katto jokyoho ni yoru dokuritsusei shomei
|
|
| Other Title |
| Title |
Independence proof via cut elimination method
|
| Kana |
|
| Romanization |
|
|
| Creator |
| Name |
浜野, 正浩
|
| Kana |
ハマノ, マサヒロ
|
| Romanization |
Hamano, Masahiro
|
| Affiliation |
北陸先端科学技術大学院大学
|
| Affiliation (Translated) |
|
| Role |
|
| Link |
|
|
| Edition |
|
| Place |
|
| Publisher |
| Name |
三田哲學會
|
| Kana |
ミタ テツガクカイ
|
| Romanization |
Mita tetsugakukai
|
|
| Date |
| Issued (from:yyyy) |
1999
|
| Issued (to:yyyy) |
|
| Created (yyyy-mm-dd) |
|
| Updated (yyyy-mm-dd) |
|
| Captured (yyyy-mm-dd) |
|
|
| Physical description |
|
| Source Title |
| Name |
哲學
|
| Name (Translated) |
|
| Volume |
|
| Issue |
104
|
| Year |
1999
|
| Month |
12
|
| Start page |
33
|
| End page |
44
|
|
| ISSN |
|
| ISBN |
|
| DOI |
|
| URI |
|
| JaLCDOI |
|
| NII Article ID |
|
| Ichushi ID |
|
| Other ID |
|
| Doctoral dissertation |
| Dissertation Number |
|
| Date of granted |
|
| Degree name |
|
| Degree grantor |
|
|
| Abstract |
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.
|
|
| Table of contents |
1. はじめに
2. Kirby-ParisのHydra Game
3. GentzenのPAのためのcut除去法
4. cut除去法による定理1の証明
5. まとめ
|
|
| Keyword |
|
| NDC |
|
| Note |
|
| Language |
|
| Type of resource |
|
| Genre |
|
| Text version |
|
| Related DOI |
|
| Access conditions |
|
| Last modified date |
|
| Creation date |
|
| Registerd by |
|
| History |
|
| Index |
|
| Related to |
|
