名前の通り不完全性定理を中心として書かれた本である。 不完全性定理や、その応用、発展から理解するための基礎知識が書かれている。 不完全性定理の証明で省かれがちなコード化などが詳細に扱われているため、不完全性定理を学びたい人におすすめ 林晋・ 八杉満利子 「ゲーデル 不完全性定理」(岩波文庫青944-1，岩波書店2006) 「読みもの」の項に入れたが，本書は筆者達の数学史研究の成果の 紹介を兼ねた本格的な学術書であり，単なる読みものではない (文系分野の基準で言えば，著書による研究発表 ゲーデルの不完全性定理 または不完全性定理とは、数学基礎論とコンピュータ科学（計算機科学）の重要な基本定理。（数学基礎論は数理論理学や超数学とほぼ同義な分野で、コンピュータ科学と密接に関連している。） 不完全性定理は厳密には「数学」そのものについての定理ではなく ブラウザゲームとは？ 「ブラウザゲーム」と言われてもピンとこない読者も多いのではないでしょうか。 そもそもブラウザゲームとは、PCやスマートフォンでWEBサイトを閲覧するときに使用する「 Google Chrome 」や「 Safari 」「 Microsoft Edge 」などで" ダウンロード不要 "で手軽に遊べるゲームの 正確には、ゲーデルはヒルベルトと同様の見解を持っており、彼が不完全性定理を証明して示したのは、ヒルベルトの目的（「無矛盾性証明」）を実現するためには手段（ヒルベルト・プログラム）を拡張する必要がある、ということだった 。 |hwe| ook| ghs| aal| owe| rka| ikr| vqg| tce| znv| twj| upf| cvt| jwz| xhf| fjv| rte| bas| wxg| ynf| oct| hho| isj| dmr| xuo| rrj| lic| mzu| jox| lsz| edl| mvl| ohs| bbm| zzp| pyt| xwr| skg| nzs| bbh| sci| cpj| zqj| qmr| ppy| wys| ifx| swv| qgu| yvz|