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

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

資料種別:
図書
出版情報:
東京 : 講談社, 2013.4
形態:
246p ; 18cm
シリーズ名:
ブルーバックス ; B-1810 <BN00081030>
著者名:
竹内, 薫(1960-) <DA03384328>  
ISBN:
9784062578103 [4062578107]
書誌ID:
BB12229644
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 ゲーデルの世界 : 完全性定理と不完全性定理

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

海鳴社
7 図書 決定不能の論理パズル : ゲーデルの定理と様相論理

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

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

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

丸善
8 図書 ノイマン・ゲーデル・チューリング

高橋, 昌一郎(1959-)

筑摩書房
3 図書 スマリヤン不完全性定理

Smullyan, Raymond M., 1919-, 高橋, 昌一郎(1959-), 川辺, 治之, 村上, 祐子(1968-)

丸善出版
9 図書 不完全性定理と算術の体系

田中, 一之

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

野崎, 昭弘(1936-)

日本評論社
10 図書 チューリングの大聖堂 : コンピュータの創造とデジタル世界の到来

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

早川書房
5 図書 不完全性定理 : 数学的体系のあゆみ

野崎, 昭弘(1936-)

筑摩書房
11 図書 ゲーデル・不完全性定理 : “理性の限界"の発見

吉永, 良正(1953-)

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

結城, 浩

ソフトバンククリエイティブ
12 図書 完全性定理とモデル理論

田中, 一之

東京大学出版会
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12