有名な話なのだが、「人間の理性の限界を示した」と言われる例なので、頭の体操としてここで紹介する。
小学生のクイズでよくありそうな内容なのだが、思いがけず深い内容が含まれていたりするので面白い
ある島に「ネイブ」と、「ナイト」という二つの部族がいた。その他の人間は一切いない。
彼らはある特徴を持っていた。
「ナイト」に属する人は、「本当」であることを一つしか語らない。
「ネイブ」に属する人は「ウソ」を一つしか語らない。
それでは、次の問に答えてください。次の発言はどちらの部族のものか？
1.「最小の素数は、2である」
・
・
・
正解はナイト。
では次の問題。
2.「4は奇数である」
・
・
・
正解はネイブ。
ここまでは簡単だ。では、もう少し話を進めよう。
この島には、「ナイト・クラブ」というナイトだけが入れる会員制の組織ががある。
ナイト・クラブに入るためには既存の「ナイト・クラブ」の会員の力を借りて、自分の言っていることが正しいと証明する必要がある。
例えば、「最小の素数は2である」と言うナイトをナイト・クラブに入れるためには
既存の会員で「1は素数ではない」という発言をする人と、「2より小さい正の自然数は1しかない」という発言をする人を捕まえてきて、この人を「ナイト・クラブ」に推薦してもらう必要がある。
さて、この島にある日
「私はナイト・クラブの会員ではない」という住人が現れた。はたして、この人物を「ナイト・クラブ」に推薦していいのだろうか？推薦するには、どのような発言をする「ナイト・クラブ」の会員の手を借りればいいだろうか？
—————————————————
この問題は非常にややこしい。
まず明らかなのが、「ネイブ」にこの発言はできないということだ。
当たり前だが、ネイブはウソしか言えないので、「私はナイト・クラブの会員です」としか言えないはずだ。
だから、この人は「ナイト」のはずだ。
しかし、ここで困った事が起きる。「私はナイト・クラブの会員ではない」と発言する人をナイトとして、「ナイト・クラブ」に入会させると、ナイト・クラブに「私はナイト・クラブの会員ではない」と発言するナイトが存在することになる。
明らかに矛盾する発言をするナイトをナイト・クラブに入会させることは出来ない。
よって、この人は明らかに「ナイト」であるにもかかわらず、「ナイト・クラブ」の会員として正式に認めてもらえないこととなる。
ナイトを、「真である命題」、ネイブを「偽である命題」とし、
ナイト・クラブに入会しているナイトを「真であることが証明された命題」と置き換えると、先ほどの「私はナイト・クラブ会員ではない」と発言するナイトは「真であることがわかっているが、証明できない命題」という、不思議なことになる。
このような命題が存在することを発見したのはクルト・ゲーデルという人物である。
彼は論理学上、最も重要な発見と呼ばれている「不完全性定理」を作り上げた。この定理はコンピュータの発明者である「フォン・ノイマン」らに絶大な支持を受け、「人類の理性の限界を示した」といわれる。
どんなに頭の良い人間にも絶対に解けない問題が存在する、という事を証明した、というのは、誠に不思議な話だ。
彼の発見を「神」の存在になぞらえる人もいる。すなわち、「存在することはわかっているが、証明できない存在」ということだ。
人間の理性を超えたものが神だとすれば、論理学のようなものの中にも神を認めることができるのかもしれない。
(2024/8/12更新）
ティネクト株式会社・一般社団法人ノーコード推進協会・株式会社UNISON HYBRID
で共催セミナーを実施いたします。
＜2024年9月19日実施予定ウェビナー＞
業務の内製化が
「現場力」をあげる
～ノーコードと生成AIで起こす仕事変革～
【セミナープログラム】
13:00～13:05 オープニング、企画趣旨説明（進行：西舘聖哉）
13:05～13:20 一般社団法人ノーコード推進協会の紹介（ノーコード推進協会）
13:20～13:35 AUTOMAGICの紹介と現場に与えるインパクトについて（ティネクト）
13:35～14:15 パネルセッション ～ノーコードとAIで起こす仕事変革～（進行：梅田悟司様）
14:15～14:25 質疑応答（事前質問を募集している場合はその回答も含む）（進行：西舘聖哉）
14:25～14:30 クロージング、アンケートのご案内や告知など（進行：西舘聖哉）
【対象者】
・現場を指揮する経営者の方
・中小企業、大企業、行政などに関わらず、現場で働く業務担当、マーケティング担当
講師紹介-
【パネリスト】
中山五輪男氏（ノーコード推進協会代表理事）
安達裕哉（ティネクト株式会社）
【トークセッション モデレーター】
梅田悟司氏（AUTOMAGIC 監修者）
【全体司会進行】
西舘聖哉氏（株式会社UNISON HYBRID 代表取締役）
日時：
2024年9月19日（木）13：00〜14:30
参加費：無料
Zoomウェビナーによるリアルタイムストリーミング配信となります。
お申込みは
こちらティネクウェビナーお申込みページをご覧ください
