人間の心を実現する人工知能は作れないとか人間は機械ではないことが不完全性定理から導かれるという主張(とそれに対する否定・批判)がしばしば行われてきた。議論の根本の部分は単純なので、そのあたりについてのメモを書いておく。特に目新しい議論や主張はない。 この主張でたぶん一番有名なのはルーカスの"Minds, Machines and Gödel"(1961)という論文。 簡単な算術ができて無矛盾であるどんな機械が与えられても、その機械から真として出力されないような式——つまりそのシステムで証明できない式——が存在する。しかしその式を我々は真だと理解できる。よってどんな機械も心の完全で適切なモデルになれず、心は本質的に機械とは異なる。 (J. R. Lucas "Minds, Machines and Gödel") また高橋昌一郎『ゲーデルの哲学』(1999)には、ルーカスと同様のことをゲーデ
『代数学は得意だけど,数学基礎論とかさっぱり分からない.論理とかマジイミフ』そんなアナタを対象に,ゲーデルの不完全性定理を解説してみよう! のコーナーです. 論理学と代数学(可換環論)との対応については,檜山さんによる素晴らしい記事があります: 古典論理は可換環論なんだよ - 檜山正幸のキマイラ飼育記 ただ,『論理学といえばまずコレ!』とも言うべき『ゲーデルの不完全性定理』の代数学的表現については書かれていないようなので,ちょっぴり魔が差して,ここでゲーデルの不完全性定理の代数学的な表現を与えることにしました. だが,単にゲーデルの不完全性定理を代数学で表現するだけじゃあつまらない……倍プッシュだ……!というわけで,プラスアルファとして,その他色んな分野との関わりを含めて紹介します. 0. 理論は対応する代数を持つよ!: リンデンバウム代数 まず,論理学と代数学を対応させる第一の架け橋
「証明」という言葉と「計算」という言葉 「計算」という言葉の説明 「証明」という言葉の説明 ここまでのまとめ 補足:「完全」という言葉について 対角化定理と再帰定理 対角化定理 再帰定理 ラムダ計算との関係 第1不完全性定理、停止問題、その他 第1不完全性定理の証明 停止問題、真を表す述語の定義不可能性 自然数論の決定不能性 補足: 「決定可能」「決定不能」という言葉について 第2不完全性定理 第2不完全性定理の証明 第2不完全性定理の内容 補足: ヒルベルトの形式主義(ヒルベルト・プログラム) まとめ 文献 「証明」という言葉と「計算」という言葉 論理学についての話や説明をする場合、 「証明」とか「証明できる」という言葉がふたつの意味で使われる。 ひとつは数学とか日常で普通に使うのと同じ普通の意味での 「証明できる」(何かの正しさを筋道立てて示すことができる)で、 もうひとつは形式的な論
ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし、証明(数学)=プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみがあるので理解が優しくなる。 話の流れは以下。 1. プログラムとは何か 2. 証明とは何か 3. 証明=プログラム , ( {、 { ヽ.ー、、 \、__ぃ._ゝ⌒ヾ iヾ)}、_ ン_ー-_二ー-, 〉 {厶 _、ヽ _ ヽ._>'´ / /,ィ/ / ハYヘい ,. -- 〃⌒ r−-、 ィ´ 〃 ,イ/7' ,イイ/ 小ヽ 丶、 ,. ‐ '´ハ i ″`ヽ、 、ヽ、 /幺ィ {从{小込v' jゥ仏厶川リ} YV, 小 Vj. |丶 ヽ ` ー-ミー--'_,辷三彡
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く