Mathematical incompleteness in arithmetic
著者
書誌事項
Mathematical incompleteness in arithmetic
（数理解析研究所講究録, 912）
京都大学数理解析研究所, 1995.5
- タイトル別名
-
算術諸体系の不完全性の研究 : 短期共同研究
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
短期共同研究「算術諸体系の不完全性の研究」報告集(1994年12月19日-12月22日) 研究代表者:角田法也
収録内容
- CR of a reduction for classical natural deduction / 安東祐希
- On the difficulty of writing out formal proofs in PRA / 鹿島亮
- Kolmogorov complexity and the second incompleteness theorem / 菊池誠
- 数学基礎論入門 : 紹介シリーズ刊行計画について / 倉田令二朗
- Forcing on a nonstandard model of arithmetic / 黒田覚
- A non-standard proof of the Peano existence theorem in WKL[0] / 田中一之
- A relationship among Gentzen's proof-reduction, Kirby-Paris' Hydra game, and Buchholz's Hydra game / 浜野正浩, 岡田光弘
- A formula separating two theories / 山口武志
