>> Google Books
QRコード(所蔵情報)

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

フォーマット:
図書
責任表示:
竹内薫著
言語:
日本語
出版情報:
東京 : 講談社, 2013.4
形態:
246p : 挿図, 肖像 ; 18cm
著者名:
竹内, 薫(1960-) <DA03384328>  
シリーズ名:
ブルーバックス ; B-1810 <BN00081030>
書誌ID:
BB12229644
ISBN:
9784062578103 [4062578107]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

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

広瀬, 健(1935-), 横田, 一正(1949-)

海鳴社
7 図書 ゲーデルの不完全性定理

結城, 浩

ソフトバンククリエイティブ
2 図書 ゲーデルの哲学 : 不完全性定理と神の存在論

高橋, 昌一郎(1959-)

講談社
8 図書 決定不能の論理パズル : ゲーデルの定理と様相論理

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

白揚社
3 図書 ゲーデルの不完全性定理

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

丸善
9 図書 理性の限界 : 不可能性・不確定性・不完全性

高橋, 昌一郎(1959-)

講談社
4 図書 数学基礎論 : ゲーデルの不完全性定理

隈部, 正博(1962-)

放送大学教育振興会
10 図書 チューリングの大聖堂 : コンピュータの創造とデジタル世界の到来

Dyson, George, 1953-, 吉田, 三知世

早川書房
5 図書 今度こそわかるゲーデル不完全性定理 = Gödel's incompleteness theorems

本橋, 信義(1943-), 講談社サイエンティフィク

講談社
11 図書 不完全性定理と算術の体系

田中, 一之

東京大学出版会
6 図書 不完全性定理 : 数学的体系のあゆみ

野崎, 昭弘(1936-)

日本評論社
12 図書 完全性定理とモデル理論

田中, 一之

東京大学出版会