ゲーデル

Kurt Gödel　 (クルト・ゲーデル。1906ネン-1978ネン)

ロンリガクシャ、スウガクシャ。

ゲーデルノギョウセキハロンリマナノハバヒロイブンヤニワタッテイルガ、ナカデモツギノフタツガトクニユウメイデアル。

• イッカイジュツゴロンリ?ノカンゼンセイテイリ
• フカンゼンセイテイリ

カンゼンセイテイリトハイッカイジュツゴロンリガ、ソコデショウメイカノウナブンノシュウゴウト、ロンリテキニマコト（ダトウ）ナブンノシュウゴウガイッチスル、トイウイミデカンゼンデアルコトヲシュチョウスルテイリデアル。コノテイリハヒルベルト・アッカーマンニヨルカズリロンリガクノキョウカショ 『Grundzuge der theoretischen Logik』ニオイテミカイケツモンダイトシテテイシュツサレタトイニタイスルコタエデアル。

フカンゼンセイテイリニオケル「カンゼン」トハウエニカイタカンゼンセイテイリノバアイノ「カンゼン」トハマッタクコトナッタコトバデアルコトニチュウイサレタイ。コレヲゴチャマゼニシテイルガユエニゴカイヲシテイルコトガイガイトオオイヨウニオモワレル。フカンゼンセイテイリニオケル「カンゼン」トハ、ソノコウリケイノニンイノブンAニツイテAガショウメイカノウカ¬Aガショウメイカノウカノスクナクトモカタホウガナリタツコト、デアル。ユエニ、フカンゼンセイテイリトハショウメイモハンショウモデキナイブンガソンザイスルコトヲシュチョウスル。

→フカンゼンセイテイリ

ゲーデルノギョウセキトシテハホカニモシュウゴウロントイッパンレンゾクタイカセツ・センタクコウリノソウタイムムジュンセイヤ、コテンロンリヲベーストシタサンジュツノムムジュンセイヲチョッカンシュギベースノサンジュツノムムジュンセイニカンゲンシ、サラニカレガドウニュウシタタイケイTトイワレルケイシキテキタイケイニソレヲカンゲンシタテイリ（イワユルディアレクティカカイシャク?）ナド、サマザマデアル。

ココデハシメンノツゴウデショウカイデキナカッタガ、ゲーデルノスウガクキソロン、ロンリガク、（スウガクノ）テツガクニアタエタエイキョウハハカリシレナイ。サンコウブンケンニソレラヲマナブタメニユウヨウデアルトオモワレルサンコウショヲアゲテオク。

サンコウトショ

「ゲーデルハナニヲショウメイシタカ」 アーネスト・ナーゲル、ジェームス・R・ニューマンチョ(isbn:4826900872)

コノホンハゲーデルノテイリヲインフォーマルニ、カツアルテイドセイカクニカイセツシタリョウショデアル。モチロン、セイカクナリカイノタメニハカズリロンリガクノセンモンショヲヨムコトガフカケツデアルガ。

『スウガクキソロンニュウモン』　マエハラショウジ?チョ　アサクラショテン?　1977ネン(isbn:425411396X)

フカンゼンセイテイリヲゲーデルノハラロンブンデモチイタtype theoryヲモチイテショホノショホカラカイセツシタホン。キゴウホウヤショウメイホウホウハゲンダイテキデハナイテンモミラレルガ、ヨミヤスイ。コノホンデモダイニフカンゼンセイテイリニツイテノカイセツガフクマレテイル。

『ショウメイロンニュウモン』　タケウチガイシ,ヤスギマリコキョウチョ　キョウリツシュッパン 1988ネン(isbn:4320014065)

カンゼンセイテイリ、フカンゼンセイテイリハカイセツサレテイナイガ、ヒルベルトイライノショウメイロンノセイカガアルテイドオサメラレタキチョウナホン。ゲンツェン?ガショウメイシタイッカイジュツゴロンリノカットショウキョテイリ、ゲンツェンノシゼンスウロンノムムジュンセイショウメイ、ゲーデルノシゼンスウロンノムムジュンセイノタイケイTノソレヘノキチャク（イワユル「ディアレクティカカイシャク」）、ヨリゲンダイテキナニカイノショウメイロン（ジッスウロンナド）ノドウニュウナド、ショウメイロンヲベンキョウスルウエデカカセナイテイリガオサメラレテイル。リロセイゼントシテコンパクトナノデヨムノハスコシタイヘンカモシレナイ。サラニススンダホントシテハサイゴニアゲルオナジチョシャノホンガヨイ。

『スウガクキソロンコウギ』　タナカカズユキホカチョ　ニホンヒョウロンシャ　1997ネン(isbn:4535782415)

コノホンハゲーデルノフカンゼンセイテイリヲフクメタカズリロンリガク、スウガクキソロンノセイカヲコンパクトニオサメタリョウショデアル。ゲーデルノフカンゼンセイテイリモゲンダイテキナシュホウヲモチイテカイセツシテアル。トクニ、ダイニフカンゼンセイテイリニツイテカイセツシテアルテンハキチョウ。タダ、ソノコンパクトサユエニヨミヅライテンモアルカモシレナイ。

『リーディングススウガクノテツガク : ゲーデルイゴ』　イイダタカシヘン　ケイソウショボウ 1995ネン(isbn:4326101040)

ゲーデルノスウガクノテツガクニタイスルコウケンガシリタケレバ、コノホンニオサメラレテイルロンブンヤカクショウノハジメニツイテイルカイセツヲヨムトイイトオモウ。カクロンブンノノチニオサメラレテイルブンケンヒョウモユウエキ。ゲーデルノスウガクノテツガクカラ、ゲンダイノスウガクノテツガクノユウメイナロンブンマデガオサメラレテイル。

Hilbert's Program : an essay on mathematical instrumentalism, M. Detlefsen, Dordrecht, D. Reidel, 1986ネン(isbn:9027721513)

ゲーデルノフカンゼンセイテイリハヒルベルト・プログラムヲウチヤブッタトイウシュチョウガドレダケイジデキルノカ、ニツイテショウサイニロンジタホン。チョシャノヒルベルト・プログラムノミカタハソウトウニカタヨッテイテ、ソノママデハフツウウケイレルコトノデキナイギロンモアルガ、シゲキテキナコトハジジツ。チナミニコウシタハナシニキョウミガアレバ、ディトレフセンノホカノロンブンヤゲオルグ・クライゼル(G. Kreisel)ノイクツカノロンブンモオススメ。

"Hilbert's programme", G. Kreisel, in Philosophy of Mathematics, Paul Benacerraf and Hilary Putnam, eds., Cambridge University Press, 1986(2nd.ed.), 207-238.

ヒルベルトジシンノチョサクハソノオオクガアイマイナテンヲオオクフクンデイルガ、ゲンダイテキナヒルベルト・プログラムノカイシャクヲテイシュツシタノハクライゼルニヨルコノロンブンデアロウ。クライゼルラシク、ヒジョウニナンカイデ、オエルトコロトオエナイトコロガイリマジッテイル。クライゼルガサイショニシテキシタトイワレル、（ゲーデルノダイニフカンゼンセイテイリガナリタツ）ケイシキテキタイケイTニツイテ、Tノムムジュンセイヲアラワシテイルヨウニミエテ、カツTデショウメイデキルヨウナロンリシキガソンザイスル、ニカンレンスルハナシモイッッテイル。タイヘンジュウヨウナロンブン。

Recursive functions and metamathematics : problems of completeness and decidability, Godel's theorems, R. Murawski, Kluwer Academic Publishers, 1999ネン(isbn:0792359046)

アマリユウメイナホンデハナイガ、ゲーデルノフカンゼンセイテイリガショホカラ、カツゲンダイテキナシュホウガカイセツサレテイルケウナホン。フカンゼンセイテイリノサマザマナカクチョウヤゲンダイテキナハナシマデカイセツサレテイテ、レキシテキナカイセツモホウフ。タダ、キノウカンスウロンノトコロハシタニアゲタShoenfieldノホンヲソノママカイテイテ、ソコガヨミヅライノガココロノコリ。タダシ、ネダンガハルノデトショカンデサガストヨイ。

Mathematical Logic,　J. R. Shoenfield, AK Peters, 2000(reprint)(isbn:1568811357)

コノホンハカズリロンリガク・スウガクキソロンニオケルサイコウノキョウカショトイワレテイルホンデ、ナイヨウトシテハコノブンヤノ（カカレタトウジマデノ）ダイブブンガイッッテイル（カンゼンセイテイリ、エルブランノテイリ、ヨワイサンジュツノムムジュンセイショウメイ、テイギニヨルカクチョウ、モデルロン、フカンゼンセイテイリ、キノウカンスウロン、シュウゴウロンナド）。ソノタメキジュツハコンパクトデヒジョウニエレガント。タダシ、ハジメハタショウヨミヅライカモシレナイ。

Proof Theory,　Gaishi Takeuti, North-Holland, 1987

イッカイジュツゴロンリノカンゼンセイテイリ?、カットショウキョテイリ?ヤフカンゼンセイテイリ、ニカイノショウメイロン、infinitary logic、Consistency Proofナドナドサカリダクサン。トクニ、タケウチヨソウ（コウカイジュツゴロンリノカットショウキョテイリデ、ココカラカイセキノムムジュンセイガキケツスル。）ノチョウゲンテキナホウホウヲモチイタプラヴィッツ、タカハシモトオラニヨルショウメイヤ、\Pi^1_1 Comprehension Axiomノ（ショウメイロンテキ）ムムジュンセイショウメイナド、イワユルゲンツェンスタイルノショウメイロンノハッテンニカカワルテイリガカイテアルテンハキチョウ。ホンノカキカタトシテハコンパクトデヒジョウニスッキリシテイル。サイショニヨムホンデハナイカモシレナイ。タダシ、イワユルヒルベルト・プログラムノエンチョウセンジョウニアルゲンダイノショウメイロンヲシルニハヒッスノホン。ヒョウバンモヒジョウニタカイ。

リスト::ガクシャ::シゼンカガク

リスト::スウガクカンレン