[[[不完全性定理に挑む]に挑む]に挑む], ゲーデル(著), 林晋, 八杉満利子(解説、翻訳), ゲーデル不完全性定理 / 田中一之(著), ゲーデルに挑む証明不可能なことの証明書評

科学基礎論研究

Online ISSN : 1884-1236
Print ISSN : 0022-7668
ISSN-L : 0022-7668

[[[不完全性定理に挑む]に挑む]に挑む], ゲーデル(著), 林晋, 八杉満利子(解説、翻訳), ゲーデル不完全性定理 / 田中一之(著), ゲーデルに挑む証明不可能なことの証明書評

渕野昌

著者情報

ジャーナルフリー

2013 年 41 巻 1 号 p. 63-80

DOI https://doi.org/10.4288/kisoron.41.1_63

詳細

記事の1ページ目

著者関連情報

© 2013 科学基礎論研究

お気に入り & アラート

関連記事

閲覧履歴

Top