Blank Cover Image
QRコード(所蔵情報)

ゲーデルの無矛盾性証明

フォーマット:
図書
責任表示:
山岡謁郎著
言語:
日本語
出版情報:
津 : 三重学術出版会, 1994.9
形態:
275p ; 22cm
著者名:
山岡, 謁郎  
書誌ID:
BN12014427
ISBN:
9784944068036 [4944068034]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 論文 推論パスネットワークによる仮説合成時の無矛盾性チェックの改善案

野畠, 英明, 木村, 春彦, 広瀬, 貞樹, 広林, 茂樹

情報処理学会
7 図書 難民問題と人権理念の危機 : 国民国家体制の矛盾

人見, 泰弘(1980-), 伊豫谷, 登士翁(1947-), 駒井, 洋(1940-), 山岡, 健次郎, 栗本, 英世(1957-), …

明石書店
2 図書 うそつきのパラドックス : 論理的に考えることへの挑戦

山岡, 謁郎(1945-)

海鳴社
8 図書 ゲーデル

竹内, 外史(1926-)

日本評論社
3 図書 數學基礎論 : 撰出公理及び一般連續假説の集合論公理との無矛盾性

Godel, Kurt, 近藤, 洋逸(1911-1979)

伊藤書店
9 図書 ゲーデルに挑む : 証明不可能なことの証明

田中, 一之

東京大学出版会
4 図書 歴史の矛盾性

津田, 左右吉(1873-1961)

大洋出版社
10 図書 ゲーデルの不完全性定理

結城, 浩

ソフトバンククリエイティブ
5 図書 数学から超数学へ : ゲーデルの証明

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

白揚社
11 図書 矛盾の概念 : 18世紀思想とヘーゲル弁証法

Wolff, Michael, 1942-, 山口, 祐弘(1944-)

学陽書房
6 図書 ゲーデルの不完全性定理

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

丸善
12 図書 証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで

小島, 寛之 (1958-)

技術評論社