- Integration of CiNii Books functions for fiscal year 2025 has completed
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on November 26, 2025】Regarding the recording of “Research Data” and “Evidence Data”
- Incorporated Jxiv preprints from JaLC and adding coverage from NDL Search
On proofs of the incompleteness theorem based on Berry's paradox by Vopenka, Boolos and Chaitin
-
- SAKAI Hiroshi
- 神戸大学
Bibliographic Information
- Title
- On proofs of the incompleteness theorem based on Berry's paradox by Vopenka, Boolos and Chaitin
- Author
- 酒井拓史，倉橋太志，菊池誠
- Published
- 2012
- Resource Type
- journal article
Journal
-
- Mathematical Logic Quarterly
-
Mathematical Logic Quarterly 58 2012
- Tweet
Details 詳細情報について
-
- CRID
- 1010000782182055172
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN
