京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(件名: #ゲーデルの定理)
該当件数:10件
数学から超数学へ : ゲーデルの証明 / E.ナーゲル, J.R.ニューマン著 ; はやしはじめ訳
東京 : 白揚社 , 1968.9
図書
今度こそわかるゲーデル不完全性定理 = Gödel's incompleteness theorems / 本橋信義著 ; 講談社サイエンティフィク編集
: electronic bk. - 東京 : 講談社 , 2012.3
電子ブック
ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著
東京 : 海鳴社 , 1985.5
不完全性定理 : 数学的体系のあゆみ / 野崎昭弘著
東京 : 日本評論社 , 1996.9. - (たのしいすうがく ; 2)
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)
東京 : 筑摩書房 , 2006.5. - (ちくま学芸文庫 ; [ノ4-1])
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎著
東京 : 講談社 , 1999.8. - (講談社現代新書 ; 1466)
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
東京 : 白揚社 , 1990.11
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
無限と心 : 無限の科学と哲学 / ラディ-・ラッカ-著 ; 好田順治訳
京都 : 現代数学社 , 1986.5