No.912

1994/12/19〜1994/12/22

角田 法也

Noriya Kadota

目　次

1. CR of a reduction for classical natural deduction(Mathematical Incompleteness in Arithmetic)--------------------------------------1

　　　　法政大学第一教養部　　　安東 祐希　(ANDOU, Yuuki)

　

2. On the Difficulty of Writing Out Formal Proofs in PRA(Mathematical Incompleteness in Arithmetic)---------------------------------22

　　　　北陸先端科学技術大学院大学情報科学研究科　　　鹿島 亮　(Kashima, Ryo)

　

3. Kolmogorov complexity and the second incompleteness theorem(Mathematical Incompleteness in Arithmetic)---------------------------33

　　　　東北大学大学院理学研究科数学専攻　　　菊池 誠　(KIKUCHI, MAKOTO)

　

4. 数学基礎論入門 : 紹介シリーズ刊行計画について(算術諸体系の不完全性の研究)--------------------------------------------------------43

　　　　河合文教研究所　　　倉田 令二朗　(Kurata, Reijiro)

　

5. FORCING ON A NONSTANDARD MODEL OF ARITHMETIC(Mathematical Incompleteness in Arithmetic)------------------------------------------47

　　　　名古屋大学人間情報学研究科　　　黒田 覚　(KURODA, SATORU)

　

6. A non-standard proof of the Peano existence theorem in WKL$_0$(Mathematical Incompleteness in Arithmetic)------------------------57

　　　　東北大学理学部　　　田中 一之　(Tanaka, Kazuyuki)

　

7. A Relationship among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game, and Buchholz's Hydra Game(Preliminary Report)(Mathematical Incompleteness in Arithmetic)---64

　　　　慶応大学哲学科 / 慶応大学哲学科　　　浜野 正浩 / 岡田 光弘　(Hamano, Masahiro / Okada, Mitsuhiro)

　

8. A FORMULA SEPARATING TWO THEORIES(Mathematical Incompleteness in Arithmetic)-----------------------------------------------------82

　　　　東京工業大学情報理工学部　　　山口 武志　(Yamaguchi, Takeshi)