ゲーデルの不完全性定理
□記事を途中から表示しています
[最初から表示]
Godel, Kurt (1931), ⇒“Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme, I.”, Monatshefte fur Mathematik und Physik 38: 173?198, doi:10.1007/BF01700692, ⇒http://www.zentralblatt-math.org/zbmath/search/?q=an:57.0054.02 .
Rosser, John Barkley (1936), “Extensions of some theorems of Godel and Church”, Journal of Symbolic Logic 1 (3): 87?91, doi:10.2307/2269028, https://www.jstor.org/stable/2269028 .
原論文の日本語訳
廣瀬健、横田一正『ゲーデルの世界 完全性定理と不完全性定理』海鳴社、1985年5月10日。ISBN 4-87525-106-8。 - ゲーデルの完全性定理と不完全性定理の解説書。両方の原論文の日本語訳が収録されている。
ゲーデル 著、林晋・八杉満利子 訳『ゲーデル 不完全性定理』岩波書店〈岩波文庫 青944-1〉、2006年9月15日。ISBN 4-00-339441-0。 - 前半の58頁が原論文の邦訳、残りの233頁が歴史的な背景を中心とした解説、という構成。
田中一之『ゲーデルに挑む 証明不可能なことの証明』藤村まりこ イラストレーション、東京大学出版会、2012年4月26日。ISBN 978-4-13-063900-2。 - 原論文の邦訳と解説。
原論文の英訳
Godel, Kurt (1986), Feferman, Solomon, ed., Kurt Godel: Collected Works: Volume I: Publications 1929-1936, Oxford University Press, pp. 144-195, ISBN 978-0-19-503964-1, https://books.google.co.jp/books?id=5ya4A0w62skC&pg=PA144
Godel, Kurt Meltzer, B.訳 (1992), On Formally Undecidable Propositions of Principia Mathematica and Related Systems, Dover Books on Mathematics, Dover Publications, ISBN 978-0-486-66980-9, https://books.google.co.jp/books?id=R7cHCYzIdWYC&pg=PA1
Godel, Kurt; Hirzel, Martin (2000-11-27), ⇒“On formally undecidable propositions of Principia Mathematica and related systems I” (PDF), Boulder: 173-196, ⇒http://hirzels.com/martin/papers/canon00-goedel.pdf
Godel, Kurt (2002), “Some metamathematical results on completeness and consistency, On formally undecidable propositions of Principia mathematica and related systems I, and On completeness and consistency”, in van Heijenoort, Jean, From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931, Source Books in the History of the Sciences (Fourth Printing ed.), Harvard University Press, pp. 592-617, ISBN 978-0-674-32449-7, https://books.google.co.jp/books?id=v4tBTBlU05sC&pg=PA592
Godel, Kurt (2004), “On Formally Undecidable Propositions of the Principia Mathematica and Related Systems. I.”, in Davis, Martin, The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, Dover Books on Mathematics, Courier Corporation, pp. 4-38, ISBN 978-0-486-43228-1, https://books.google.co.jp/books?id=qW8x7sQ4JXgC&pg=PA4
教科書
前原昭二『数学基礎論入門（復刊）』朝倉書店〈基礎数学シリーズ 23〉、2006年3月20日（原著1977年6月1日）。ISBN 978-4-254-11723-3。
新井敏康『数学基礎論』岩波書店、2016年8月16日（原著2011年5月18日）。ISBN 978-4-00-005536-9 ISBN 978-4-00-730459-0。
田中一之 編著『数学基礎論講義 不完全性定理とその発展』日本評論社、1997年3月。ISBN 4-535-78241-5。
田中一之 編『ゲーデルと20世紀の.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.large>rt,.mw-parser-output ruby.large>rtc{font-size:.3em}.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.yomigana>rt{font-feature-settings:"ruby"0}論理学（ロジック） 1 ゲーデルの20世紀』東京大学出版会、2006年7月。ISBN 978-4-13-064095-4。
田中一之 編『ゲーデルと20世紀の論理学（ロジック） 2 完全性定理とモデル理論』東京大学出版会、2006年10月。ISBN 978-4-13-064096-1。
田中一之 編『ゲーデルと20世紀の論理学（ロジック） 3 不完全性定理と算術の体系』東京大学出版会、2007年3月。ISBN 978-4-13-064097-8。
田中一之 編『ゲーデルと20世紀の論理学（ロジック） 4 集合論とプラトニズム』東京大学出版会、2007年7月。ISBN 978-4-13-064098-5。
Lindstrom, Per (1997), Aspects of Incompleteness, Lecture Notes in Logic 10, Springer-Verlag, ISBN 3-540-63213-1
Hajek, Petr; Pudlak, Pavel (2013-10-04) [1993], Metamathematics of First-Order Arithmetic, Perspectives in Mathematical Logic (Softcover reprint ed.), Springer-Verlag, ISBN 978-3-540-63648-9
講義ノート
次ページ記事の検索おまかせリスト▼オプションを表示暇つぶしWikipedia
Size:164 KB
出典: フリー百科事典『ウィキペディア（Wikipedia）』
担当:undef