>> Amazon.co.jp
このページのQRコード

不完全性定理とはなにか : ゲーデルとチューリングの考えたこと

種類:
図書
責任表示:
竹内薫著
出版情報:
東京 : 講談社, 2013.4
著者名:
竹内, 薫(1960-) <DA03384328>  
シリーズ名:
ブルーバックス ; B-1810 <BN00081030>
ISBN:
9784062578103 [4062578107]  CiNii Books  Calil
注記:
読書案内: p231-240
所蔵情報
状態
巻
所在
資料ID
請求記号
 
返却予定日
(予約数)
 
OPAC注記
状態
貸出可
巻
 
所在;
図本館３階
資料ID
112894011
請求記号
  • 410.96
  • Tak
  •  
 410.96||Tak
 
返却予定日(予約数)
 
 
OPAC注記
 
子書誌情報
Loading

類似資料:

1
 
2
 
3
 
5
 
6
 
7
8
 
9
10
11
12
 
1 図書 ゲーデルの世界 : 完全性定理と不完全性定理

広瀬, 健(1935-), 横田, 一正(1949-), Gödel, Kurt, 1906-1978

海鳴社
7 図書 理性の限界 : 不可能性・不確定性・不完全性

高橋, 昌一郎(1959-)

講談社
2 図書 ゲーデルの不完全性定理

Smullyan, Raymond M., 1919-, 高橋, 昌一郎(1959-)

丸善
8 図書 ゲーデル・不完全性定理 : “理性の限界"の発見

吉永, 良正(1953-)

講談社
3 図書 不完全性定理 : 数学的体系のあゆみ

野崎, 昭弘(1936-)

日本評論社
9 図書 不完全性定理と算術の体系

田中, 一之

東京大学出版会
4 図書 ゲ-デルの世界 : 完全性定理と不完全性定理

廣瀬健,横田一正

海鳴社
10 図書 完全性定理とモデル理論

田中, 一之

東京大学出版会
5 図書 ゲーデルの不完全性定理

結城, 浩

ソフトバンククリエイティブ
11 図書 不完全性定理

Gödel, Kurt, 1906-1978, 林, 晋(1953-), 八杉, 満利子(1937-)

岩波書店
6 図書 決定不能の論理パズル : ゲーデルの定理と様相論理

Smullyan, Raymond M., 1919-, 長尾, 確(1962-), 田中, 朋之(1962-)

白揚社
12 図書 不完全性定理

菊池, 誠

共立出版