>> Google Books
twitter facebook Hatena
More Services
タイトル、所在が表示されます

ゲーデルに挑む : 証明不可能なことの証明

フォーマット:
図書
責任表示:
田中一之著
言語:
日本語
出版情報:
東京 : 東京大学出版会, 2012.4
形態:
viii, 177p ; 21cm
著者名:
田中, 一之 <DA10709116>  
書誌ID:
BB09016521
子書誌情報
Loading
eリソース
Loading
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 ゲーデルの定理 : 利用と誤用の不完全ガイド

Franzén, Torkel, 田中, 一之

みすず書房
7 図書 ゲーデルと20世紀の論理学 (ロジック)

田中, 一之

東京大学出版会
2 図書 山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌

田中, 一之, バラマツ, ヒトミ

日本評論社
8 図書 不可能な交換

Baudrillard, Jean, 1929-, 塚原, 史(1949-)

紀伊國屋書店
3 図書 不可能の証明

津田, 丈夫(1917-)

共立出版
9 図書 不可能なもの

Bataille, Georges, 1897-1962, 生田, 耕作(1924-1994)

二見書房
4 図書 スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ

Smullyan, Raymond M., 1919-, 川辺, 治之

日本評論社
10 図書 透明金属が拓く驚異の世界 : 不可能に挑むナノテクノロジーの錬金術

細野, 秀雄(1953-), 神谷, 利夫

ソフトバンククリエイティブ
5 図書 ゲーデルの20世紀

田中, 一之

東京大学出版会
11 図書 数学から超数学へ : ゲーデルの証明

Nagel, Ernest, 1901-, Newman, James Roy, 1907-1966, 林, 一(1933-)

白揚社
6 図書 不可能を証明する : 現代数学の挑戦

瀬山, 士郎(1946-)

青土社
12 図書 不可能、不確定、不完全 : 「できない」を証明する数学の力

Stein, James D., 熊谷, 玲美(1975-), 田沢, 恭子, 松井, 信彦(1962-)

早川書房