-
- 新井 敏康
- 神戸大学自然科学研究科
書誌事項
- タイトル別名
-
- On the consistency proofs
- ムムジュンセイ ショウメイ ニ ツイテ
この論文をさがす
抄録
D. Hilbert raised the problem to prove consistency of formalized mathematics. In this paper I will expound its background and the status quo of the consistency proofs. First let me explain the intended significance of proving consistency, and a background idea to divide mathematical objects in two, i. e., transfinite/finitary objects. Next I will discuss impacts of the incompleteness theorems to the problem and their interpretation. Finally let me give sketches of the practice of the consistency proofs due to G. Gentzen et al. and their significance, and the present state of the consistency proofs.
収録刊行物
-
- 科学基礎論研究
-
科学基礎論研究 34 (2), 91-99, 2007
科学基礎論学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390001205323753856
-
- NII論文ID
- 10018919332
-
- NII書誌ID
- AN00036945
-
- ISSN
- 18841236
- 00227668
-
- NDL書誌ID
- 8838171
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- NDL
- Crossref
- CiNii Articles
- KAKEN
-
- 抄録ライセンスフラグ
- 使用不可