上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #ゲーデルの定理)
該当件数:13件
数学から超数学へ : ゲーデルの証明 / E.ナーゲル, J.R.ニューマン著 ; はやしはじめ訳
東京 : 白揚社 , 1968.9
図書 <1000044562>
今度こそわかるゲーデル不完全性定理 = Gödel's incompleteness theorems / 本橋信義著 ; 講談社サイエンティフィク編集
東京 : 講談社 , 2012.3
図書 <1002533580>
電子ブック <1003114807>
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確・田中朋之訳
東京 : 白揚社 , 1990.11
図書 <1000192619>
ゲーデルの世界 : 完全性定理と不完全性定理 / 廣瀬健, 横田一正著
東京 : 海鳴社 , 1985.5
図書 <1000005801>
不完全性定理 : 数学的体系のあゆみ / 野崎昭弘著
東京 : 日本評論社 , 1996.9. - (たのしいすうがく ; 2)
図書 <1000281140>
パズルとパラドックス / 内井惣七著
東京 : 講談社 , 1989.10. - (講談社現代新書 ; 970)
図書 <1000148580>
無限と心 : 無限の科学と哲学 / ラディ-・ラッカ-著 ; 好田順治訳
京都 : 現代数学社 , 1986.5
図書 <1000019867>
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)
図書 <1000245829>
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
図書 <1002600214>
無限のパラドックス : パズルで学ぶカントールとゲーデル / レイモンド・スマリヤン著 ; 長尾確訳
東京 : 白揚社 , 1994.3
図書 <1000252801>
理性の限界 : 不可能性・不確定性・不完全性 / 高橋昌一郎著
東京 : 講談社 , 2008.6. - (講談社現代新書 ; 1948)
図書 <1001961291>
パラドックスへの挑戦 : ゲーデルとボーア / 大出晁著
東京 : 岩波書店 , 1991.8
図書 <1000208529>