NPブログ「Leitmotiv 」言葉・論理・主題連鎖への旅

カテゴリ: 数学

世界のエドガー賞をあと一歩で逃した
東野圭吾さんの原作(直木賞受賞)で
同名映画⋯福山雅治さん主演ガリレオ
物理学者と堤真一さん数学者の対決⋯
ストーリー性とトリック性の高い絶品。

『容疑者Xの献身』を伸ちゃん劇場で
鑑賞して久々に数学に思いを馳せます。

急激に朝夕の寒暖差が進行し気づけば
二十四節気「霜降」の候らしい夜です。


学生時代の同期二人の大学構内ベンチ
での出会いが発端と伏線の思い出一つ。

「君は四色問題をやるのか」

時系列戻り湯川は石神に声をかけます
⋯隣同士が同じ色になってはいけない
という条件でどう組み合わせても地図
の形(国)は四色で塗り分けが出来る
⋯定理証明は100年越しの難題でしたが
1976年コンピュータが完遂したそうで
石神曰く「あの証明は美しくない」と。

主題歌「最愛」KOH+

そうです⋯容疑者Xの愛の形がテーマ。

取材協力の一つ目に京都大学⋯
秋のキャンパスのベンチで上記
撮影が行われたこと⋯17年前の
福山さん若いです⋯後の准教授
探偵ガリレオとなる帝都大学生。

映画は新作を劇場で見るべし⋯
と思い込んでいましたが今秋は
立ち呑み伸ちゃんのお気に入り
チョイスと簡易解説付きよろし。


【五色なら証し易きや秋心】


そう言えば秋の心と書いて愁い。



1000019356
1000019357





公理的な正しさの中では自らの正しさを証明できない
(クルト・ゲーデル不完全定理よりNP解釈)🐻


正義がある・正義である、という前提のなかでは
真の正義とは何かという正しい答えは存在しない。


今 高1の特進生の教材の核として使用している
『正義の教室』と『NP第0号』です。前者の
冒頭の問いかけの答えは この書の中盤にある?
のかも知れませんが、生徒たちと二週後の授業
で再考するのが楽しみです(来週土曜日は神戸
マラソンの準備ボランティアらしく中止です)。
後者の中の評論のひとつ「人間」vs「AI」は
生徒たちに「考える」大事を提供してくれます。


【不完全性定理地始凍】🧊
ふかんぜんせいていり ちはじめてこおる


🧊・・・
明日11月13日(月)は陰暦十月一日で、
🌑の形は「朔」(新月)になります。
初冬に入ってゆくのです。暦の上で
すでに立冬(11月8日)は過ぎていて
ここでも季節や季感(漸く寒さが…)
のズレに、正しさはあるかと(^^)、
感じてしまいます。七十二候では
明日からの五日間が「地始凍」で
…寒さで大地が凍り始める頃です。


1000006441

















🐻[参考]
K.ゲーデル(1906~78)が証明した形式論理体系の不完全さを示す数学の定理。直観的にいえば、「世の中には正しいとも正しくないとも判定できないことがいくらでも存在する。そして自分自身の論理の中だけでは自分自身の正しさを証明することもできない」という内容である。この定理が人工知能の限界(すなわちコンピューターには人間のような知能はもてないこと)を証明しているとする主張が、人工知能に否定的な研究者からなされることがある。「人間にはできてコンピューターにはできないことが存在する」とこの定理は証明しているという主張であるが、実はこの定理は人間とコンピューターの原理的な差異にはまったく言及していない。したがって、この定理で人工知能に限界があることの理由とするのは誤りである。(数学者 松原仁教授2008年の発信)

正(生)のなかでは正(生)を証せず


ゲーデルの不完全性定理は、
ここでも生きています。

この本(『正義の教室』)には値打ちがあります、
愛用の手帳によきよきフレーズを書き留めます。


たとえば紙節減を迫る学校現場。

果たしてそれは真の教育、
未来の教育なのでしょうか?

真(正)のなかで真(正)は証明できません。


紙の徒(いたずら)な廃棄には勿論反対ですが、
しかし紙駆逐の風潮にも静かに反対します。


ハロウィンはアイルランドの収穫祭が起源。

わたくしのこの秋の大きな収穫は、
正義とは何か、生死とは何かを、
深く考える時間を持てたことです。


【答え無き問いはよき問いハローウィン】



1000006317

2016年2月27日の当ブログ記事プラスで
今、ぜひ読んでいただきたいと考えます。


あの頃も、正しかったのでしょうか?

戦争も宗教も教育も、色んな善意の営為も。


ゲーデルの不完全性定理に関する
三回目で締め括りになっています。
1.2も合わせてお読みいただけると
よいのですが以下の文章だけでも
相当長いものの…分かりやすい…?
(分かりやすさだけが大切な現実?)


最下方※※※※※部以降が本日分です。


《ゲーデルの不完全性定理③》


ゲーデルの不完全性定理について、
WIKIの言葉をさらに分かりやすくしてゆきます。
数学というよりも論理学ですね。

①第1不完全性定理
「ある矛盾の無い理論体系の中に、肯定も否定もできない証明不可能な命題が、必ず存在する」

②第2不完全性定理
「ある理論体系に矛盾が無いとしても、その理論体系は自分自身に矛盾が無いことを、その理論体系の中で証明できない」

数学的には「ある矛盾のない理論体系」とは「公理系」ということです。
数学には、前回お伝えしたように、「大前提」としなければ次に進めないようなことが必ず決まっています。
例えば自然数で、1の次は2とする・・・などでしたね。

つまり上記の定理①②をさらに換言すれば・・・、
①大前提とする「正しいこと」の中に、「正しいとも正しくないとも言えないことが必ずある」。
②大前提で「正しい」としても、その中では「自らが正しいことを証明できない」。
・・・ということですね。


これは有名な哲学者エピメニデスの「クレタ島人のパラドクス」
(当ブログ記事「逆説」カテゴリー参照)と似ています。

「すべてのクレタ島人は嘘つきである」と、
あるクレタ島人が言ったというお話です。 

もしこの言葉が「真実」であればクレタ島人は「嘘つきである」ことになるが、
そのクレタ島人は「嘘つきなのに真実を言った」ことになってしまい、
矛盾している。
一方でこの言葉が「嘘」だとすればクレタ島人は「正直者である」ことになるが、
そのクレタ島人は「正直者なのに嘘を言った」ことになってしまい、
矛盾している。

クレタ島人の言葉が真実でも嘘でも、
どちらも矛盾していることになる。

これは「自分自身について真偽を確かめようとするときに発生してしまうパラドクス」であることから、
一般的に「自己言及のパラドックス」と言われています。


「私は正直者です」と言った場合を考えてみます。
この言葉が「真実」だった場合は正直者が「自分は正直者だ」と真実を言ったことになるので、
問題なく成立するわけですが、
この言葉が「嘘」だった場合でも嘘つきが「自分は正直者だ」と嘘を言ったことになるので、
これも問題なく成立してしまうのです。

「私は正直者です」という命題は、
真偽どちらでも成り立ってしまい、
真とも偽とも言えないということです。


ゲーデルの不完全性定理の意義は、
「自己言及パラドクス」が数学においても発生することを証明したということです。


1930年に数学界の巨匠ダフィット・ヒルベルトは、
「数学理論には矛盾は一切無く、どんな問題でも真偽の判定が可能であること」
を完全証明しようとして全数学者に提唱しました。
「ヒルベルトプログラム」と呼ばれる、
数学全体の完全性と無矛盾性論理的な完成を目指す一大プロジェクトとして、
当時世界中から注目を集めたそうです。

そこへ、若き数学者クルト・ゲーデルが現れ、
「数学理論は不完全であり決して完全には成り得ない」ことを、
数学的に証明してしまったのです。


証明自体の内容については難しいのでワ~プ・・・、
結論として、
あるネット記事(「哲学的な何か、あと数学とか」:このサイトでは『14歳からの哲学入門』を紹介していますね。)からさらに援用編集して換言表現します。

①一見すると完全無欠に見える数学理論の中にも、
「真とも偽とも決められない命題」「証明も反証もできない命題」が含まれている。

②数学理論において証明不能な命題を含むということは、
「正しいとも間違っているとも言えない不明な領域」が数学理論の中にあるということなのだから、
数学理論が「自らの理論体系は完璧に正しい」と証明することは不可能である。


この不完全性定理は、
数学だけではなく哲学・科学・論理学・法律学・経済学など理論体系一般全てに適用できるため、
「論理的に突き詰めていけば、どんな問題についても真偽の判定ができ、それを積み重ねていけば、いつかは真理に辿り着けると信じていた人に大きな衝撃を与えた(上記ネット記事)。」のです。


「ゲーデル・ショック」です。

 
これは、
「ヘーゲル弁証法」による正反合の無限連鎖で、 
自らの発展進化を信じて疑わなかった「近代」自体の、
破綻・敗北を予告していたとも言えるのではないでしょうか。


・・・とすれば、
ここからポスト・モダンが忍びやかに始まったと言えるのかも知れませんね。

1930(昭和5)年・・・、
日本は戦争への足がかりを築き始め(与党民政党の衆議院選挙圧勝)、
世界は日・英・米・仏・伊5か国がロンドン海軍軍縮条約に調印。


正しさの中では自らの正しさを証明できない。


日々思い当たります。
例えば生徒に対する自らの言葉・態度ですね。

猛省です。


正しさの中では正しさを証明できないことを、
謙虚に自問できるような、
潔い一日でありますように・・・。

(wwだから、どんな一日やねんww)


※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※※
 

正しさの中では正しさを証明できない
まして
過ちの中では過ちを証明する術もなく
戦争は
底なし沼のように人の命を軽んじ続け


メロスは激怒した(『走れメロス』冒頭)
なんて
あたりまえの正しさはもはや笑い種に…
きっと
人の命も問題でないのだ(同上 終盤)
の意味
それは怖ろしく擦り替えられています。


NPはまだ諦めずに正しいか過っているか
どちらでもないのか… 論理も物語も説く
国語&教育の現場にしがみついています。


【過ちの中で寒露の畢りゆく】🍃
   

【正しさの中で寒露の畢りゆく】


この二句が等価にならないように祈る
インフルエンザ職場接種の日の朝です
… 大事(?)をとって早朝ジョグは休止。


🍃畢(おわ)る・・・
物事が尽きておしまいになる。 すっかり済む。



森田真生(まさお)さんは俊英の「独立研究者」
東大理学部数学科から現在は京都拠点の数学者。

故河合隼雄さんはユング分析派の臨床心理学者
京大理学部数学科から奈良で高校数学教師経験。

小川洋子さんは『博士の愛した数学』本屋大賞
早大文学部卒で河合さん最後の対談相手でした。


小川さんは「文系にも数学は面白い」と教えて
貰った作家で藤原正彦さんとの対談集愉しくて。


今夏のJR青春18きっぷがまだ残っているので…
どこか往復だけでもしながら…と考えるものの。


【空蝉は自分のことばで語らず】


空蝉は晩夏の季語なので
もう季節外れになります
… 今夏ずっと記者会見や
公式の挨拶全部がぜんぶ
そうでした… そのかたに
この二冊をオススメです。


【数学は物語だと言って秋】


IMG_20210829_070621

このページのトップヘ