>> Google Books

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

フォーマット:
図書
責任表示:
竹内薫著
言語:
日本語
出版情報:
東京 : 講談社, 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 図書 チューリングの大聖堂 : コンピュータの創造とデジタル世界の到来

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

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

野崎, 昭弘(1936-)

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

田中, 一之

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

結城, 浩

ソフトバンククリエイティブ
9 図書 ゲーデルの定理 : 利用と誤用の不完全ガイド

Franzén, Torkel, 田中, 一之

みすず書房
4 図書 理性の限界 : 不可能性・不確定性・不完全性

高橋, 昌一郎(1959-)

講談社
10 図書 パラドックスへの挑戦 : ゲーデルとボーア

大出, 晁(1926-)

岩波書店
5 図書 不完全性定理と算術の体系

田中, 一之

東京大学出版会
11 図書 無限のパラドックス : パズルで学ぶカントールとゲーデル

Smullyan, Raymond M., 1919-, 長尾, 確(1962-)

白揚社
6 図書 数学基礎論講義 : 不完全性定理とその発展

田中, 一之, 鹿島, 亮, 角田, 法也, 菊池, 誠

日本評論社
12 図書 チューリング

Turing, Alan Mathison, 1912-1954, 伊藤, 和行, 佐野, 勝彦, 杉本, 舞

近代科学社