編集部が厳選した「いま、みんなに見てほしいまとめ」をイチオシとして紹介しています!グサッと刺さる良質まとめはこちら!

不完全性定理に関する新井家公式見解を巡って踊る人々

新井夫は、日本を代表する数学基礎論の数学者。 新井妻は、松坂和夫と竹内外史の弟子。 新井妻「私のゲーデルの不完全定理の説明がダメだって、みんなに言われてるらしいんだよね・・・」 新井夫「どれどれ?あ、これ、僕同じ説明昔したことある」 続きを読む
数学
12049view 23コメント
5
ログインして広告を非表示にする
ryugo hayano @hayano
連載4日目 「ヘンタイよいこ」新井紀子 @noricoco は明日への希望を忘れない。 早野龍五 糸井重里との鼎談. 昨日はラッセルのパラドックスが出てくるは,今日はゲーデルやチューリングやノイマンが出てくるは… フルーツケーキ食べながら話は佳境に 1101.com/torobo_talk_ar…
TOK @TOK_HOTSTAFF
『いつまでも平行線のまま、わかりあえない可能性がある、っていうのが、「ゲーデルの不完全性定理」です。「人は言葉だけでは絶対にリアリティを共有できない」。そういう定理なんですよ』 え? ケーデルの不完全性定理ってそんな定理だっけ?? 1101.com/torobo_talk_ar…
ytb @ytb_at_twt
ゲーデル警察的にこれはどうなのかというご質問をいただいたのですが、私は危険な誤解を対象としていて、ガチの商売上の使用に関してはコメントしない方針です。だから○まべちはかせについてコメントしないのと同様、本件にもコメントしません。ご了承ください。>前RT
Hiroyasu Kamo ((φ→ψ)→φ)→φ @kamo_hiroyasu
ごく一部で話題の「ヘンタイよいこ」ですが(あえて、リンクしない)、ああいう通俗的で散漫で凡庸な語りに「数学基礎論の専門家」を引っ張り出す必要はありません。
Hiroyasu Kamo ((φ→ψ)→φ)→φ @kamo_hiroyasu
つうか、「専門家」はああいうのに関わっちゃあかんと思う。
Notintelli_Inc. @not_intelli
@kamo_hiroyasu あそこで出ている人はそれほど変なことを言う人ではないんですけどね。
Eijiro Sumii @esumii
いくらなんでもこのゲーデルの不完全定理の説明は学術的にトンデモです twitter.com/hayano/status/…
Urabe, Shyouhei @shyouhei
ゲーデルの不完全性定理って「GEB読みゃわかるよ」みたいな言い方じゃなくてちゃんと自分の言葉で他人に解説できる? 結構難しいと思うんだよな。こういう場でソラでやりなさいって言われたら俺としては自信ないよ。
Eijiro Sumii @esumii
物理学は専門外ですけど、たとえるなら「アインシュタインの相対性理論は、世の中に『絶対』はない、ということを証明しました」と同じぐらい。twitter.com/hayano/status/…
ヤマダアキラ @gantetyu
@TOK_HOTSTAFF @ytb_at_twt 言語ゲームと混乱してるっぽいですね。
Eijiro Sumii @esumii
(論理学も専門じゃないですけど、少なくともゲーデルの理論に「リアリティ」が出てこないことぐらいは知っているつもりです
Eijiro Sumii @esumii
独自の意見なら良いと思いますが、それを「ゲーデルの不完全性定理」であるかのように語るのはまずいと思います twitter.com/esumii/status/…
Eijiro Sumii @esumii
(糸井氏ではなく)学者が学術的でない発言をするなら、そう断らないと社会に対して非常にmisleadingだと思います
Eijiro Sumii @esumii
「私の独自の解釈ではゲーデルの不完全性定理はこういうことを意味すると思います」なら良かったんですが、これをそう読めというのは「読解力」ならぬ「忖度力」ですね…
Eijiro Sumii @esumii
(観測等価な対象は意味論的に「同じ」である、という定義もあるわけで、「ぜんぶ成り立つ」なら「同じリアリティ」を指している、という解釈も十分にありえます(と自分の専門分野に我田引水
Eijiro Sumii @esumii
twitter.com/esumii/status/… 別に皮肉でも批判でもなく本当に独自解釈なら良かったと思うので、学術論文ではなく非専門家向け対談でも(むしろだからこそ)社会に発信する以上、(読者の忖度を要求するのではなく)そう表現されていれば良かったのではないかと思います
EU @mi8pe
新井典子の指導教官が竹内外史なのは知ってたけど学部の時は松坂和夫だったのか
Eijiro Sumii @esumii
(前後の他の話は良い部分もあるように思ったので、問題の部分だけ事後でも表現を修正できないんだろうか。twitter.com/esumii/status/…
EU @mi8pe
不完全性定理かはともかくそっちの教育を受けた人の話っぽくはある
EU @mi8pe
少なくとも新井典子の旦那はインターネットで騒いでる人よりはるかに詳しいはずなので出てきて全員やっつけて欲しい
ytb @ytb_at_twt
ゲーデルの不完全性定理ってアレだろ…一定の条件(人目を引くような面白い理論はみんなコレを満たす)の下では、どんな定理も必ず意図しない解釈を許すってヤツだろ…確か自己言及…意図しない解釈を生む定理の例が不完全性定理自身なんだっけ…よう知っとるやろ…おっちゃん人工知能やねん。
nooyosh @nooyosh
「好きな不完全性定理のステートメントを集めて、君だけの最強の理性の限界を作ろう!」
淡中☆圏 @tannakaken
代数閉体の理論とか実閉体の理論とかやってたので深く傷つきました
Eijiro Sumii @esumii
不完全性定理については、私も専門家ではないですし日本語版Wikipediaですがja.wikipedia.org/wiki/%E3%82%B2… のほうが(現時点では)比較的正確じゃないかと思います。あとは数学ガールとか。
残りを読む(143)

コメント

富士州@試され @fujisyu 2018-07-10 22:24:51
件の記事の該当箇所はゲーデルの不完全性定理でリアリティを説明したかったのか、リアリティでゲーデルの不完全性定理を説明したかったのかがイマイチつかめなかった方の人間であった。
Eijiro Sumii @esumii 2018-07-12 09:42:51
まとめていただいたのに恐縮ですが、「踊る」というのは悪意を感じる表現ですね。
Eijiro Sumii @esumii 2018-07-12 09:45:20
新井敏康先生の「どれどれ?あ、これ、僕同じ説明昔したことある」は、あくまで新井紀子先生がそう聞いたとおっしゃっているという点も明記したほうが誠実だと思いました。
{白,黒}のカピバラの左随伴右随伴 @ainsophyao 2018-07-13 22:08:27
悪意、ですか。踊るじゃなくて、動詞は何がいいですか? まあ、このまとめは、どうこの件にコメントするかで哲学的背景や理解などが透けて見えるというものなので、いささか難しくてすみません。
Eijiro Sumii @esumii 2018-07-16 07:41:21
ご自身のツイートでも書かれたとおり、普通に「反応する」等で良いのではないでしょうか。また、上述のとおり「新井家公式見解」も現時点でお一人の主張しか確認できないので「」をつけると良いのではないかと個人的には思いました。
{白,黒}のカピバラの左随伴右随伴 @ainsophyao 2018-07-28 11:09:29
ああ、まあ、まず、矢田部さんは哲学的にかなり異常ですね。ここまで反実在論を論陣を張って、矛盾なく振る舞えるのは本当にすごいです。住井さんは非構成的なものがまったく見えていないように見えますね。
Eijiro Sumii @esumii 2018-07-28 21:17:17
すみませんが「構成的」という言葉を何か私の知らない意味でお使いになっている上、おっしゃっていることが著しく飛躍されていて、ご自身の中では整合的なのかもしれませんが、他者である私には論理的に理解しかねます。悪しからずご寛容ください。
{白,黒}のカピバラの左随伴右随伴 @ainsophyao 2018-08-03 01:47:19
住井英二郎さんが、不完全性定理や数学について発言権がない程度に分かっていないことは、少なくとも次の三つの発言からかなりはっきりしています。トンデモかは考え中です。 「いわゆるゲーデル文を用いるよく知られている方法で作った(自然数の)超準モデルはω矛盾である、という理解で合っているでしょうか。」 (「超準モデルの中で帰納的データ型として「自然数」を定義したら、そのデータ型は、メタな視点から見ての超準数を含むように思えます。」に対して、)
{白,黒}のカピバラの左随伴右随伴 @ainsophyao 2018-08-03 01:47:28
「対象言語(自然数)の定義としては0やsuccを単なる記号として∩{N|0∈N∧∀n∈N.succ(n)∈N}で良いんじゃないでしょうか。」 「第1不完全性定理は、自然数論を含む帰納的な証明規則の体系には必ず、Pも¬Pも導出できないような命題Pが存在する、第2不完全性定理は、自然数論の無矛盾性を表すと言えるような、ある命題は、自然数論の中で証明できない、という「だけ」で、それ以上の哲学的解釈は「ゲーデルの不完全性定理」と関係はあるかもしれませんがまた別の何かだと理解しています。」
{白,黒}のカピバラの左随伴右随伴 @ainsophyao 2018-08-03 01:47:39
数学系ならば、それぞれのやばさが一瞥してよく分かると思います。擁護できる人を見つけたら教えてください。後日ゆるゆると説明します。ただ、もちろん、万人が数学者のように理解しなくてはいけない、とは考えておりませんので、それを含めて、よいと思っております。
Eijiro Sumii @esumii 2018-08-03 20:46:39
「モデルがω矛盾」 https://twitter.com/esumii/status/996629599621595142 が「雑な表現」であることはすでにコメントしましたが、少なくとも元のツイートの文脈で、数学基礎論の専門家の方に「それで合ってます。」と許容していただける範囲であったことを述べていただけないのはフェアではないと思います。
Eijiro Sumii @esumii 2018-08-03 21:06:47
少なくとも理論計算機科学において、∩{N|0∈N∧∀n∈N.succ(n)∈N}はn ::= 0 | succ(n)と同じで、自然数を表す項の集合の帰納的(inductive)な定義としてはごく標準的だと思います。それ以外も、ひょっとしたら重箱の隅をつつけば間違っていると解釈できる部分もあるのかもしれませんが、そう思われるのであれば「具体的に」ご指摘ください。
Eijiro Sumii @esumii 2018-08-03 21:14:05
いつも具体的な指摘を後回しにして、実在も不明な「数学系」ならば「やばさが一瞥してよく分かる」等と抽象的な批判ばかりする行為は、通常は「誹謗中傷」と言うのではないかと思います。(何が「やばい」のかも述べていない「批判」に対し、どうやって「擁護」するというのでしょうか…) 具体的なご指摘は歓迎したいと思っていましたが、もう何か月も我慢し続けてお待ちしましたので、今後はこれ以上の私に関するコメントはご遠慮いただければ誠に幸いです。
Eijiro Sumii @esumii 2018-08-03 21:26:55
なお、「対象言語(自然数)の定義としては…」の前に「メタ言語(日本語や論理学)やそのモデルをどうやって伝えるかは今回の不完全性定理云々とは別の大きな問題ですが、」と明記した https://twitter.com/esumii/status/996545452202852352 はずですが、そのように決定的な前段を無視した引用も誠実でないと思います。
Eijiro Sumii @esumii 2018-08-04 16:56:42
P.S. ainsophyaoさんが何を誤解なさったのか、推測してくださった方がおられました。https://twitter.com/pirapira/status/1025638238080430082
{白,黒}のカピバラの左随伴右随伴 @ainsophyao 2018-08-21 15:33:52
私は十数年に渡って伊東乾さんの理解がおかしいことを指摘しております。先日も、大学教員に対して「様」でメールを送ってきた学生の単位を落としたという話がバズっておりましたが、それに対して、私の十数年前の記事が掘り出されてましたね。伊東乾さんが、自ら誤っているないしトンデモだと認めたことがあったかというとないですよ。
{白,黒}のカピバラの左随伴右随伴 @ainsophyao 2018-08-21 15:34:05
住井英二郎さんが、具体的に指摘されていないと感じるのは、単純によく分かっていないからです。ちなみに「合っている」という返事がかえって来たことは、より重罪である証拠ですので、あまり声高に主張するとこちらが恥ずかしくなります。これはω矛盾の典型例なので、その状態で不完全性定理について言及したら、厳しい先生ならここでゼミは終了です。
{白,黒}のカピバラの左随伴右随伴 @ainsophyao 2018-08-21 15:34:16
現に、意味不明なのは私ではなくて、住井さんであるのは明らかで、ぴらぴら他は、私ではなく、住井さんに質問をしてますよね。だって、ある程度分かっている人には私が何を言っているかは明らかだからです。そして、これに答えずに逃げ出したというわけです。ようは無限が扱えていないんですよ。 https://twitter.com/pirapira/status/1027794674940092416
{白,黒}のカピバラの左随伴右随伴 @ainsophyao 2018-08-21 15:34:27
正直な話、情報系だと住井英二郎さんをそこそこ知っている人がいると思っていたので、まずは本人に、本人がトンデモ化したら、情報系の友人たちに警告したほうがいいだろう、と思ったのですが、どうやら思ったより知られていないみたいなので気にしないことにしました。が、数学系の人々で集まると、酒の肴になる程度にはめちゃくちゃ面白いですよ、と情報系の人たちには伝えておきます。
Eijiro Sumii @esumii 2018-08-22 14:10:43
まず、(1) カピバラさんが私を「批判」なさっている (2) カピバラさんは他の先生も批判なさっている (3) 後者の先生の「理解がおかしい」(&後者の先生がそれを認めていない)から、私の理解がおかしいということは論理的に導かれません。典型的な「媒概念不周延の虚偽」の詭弁 https://bit.ly/2N8bsqP だと思います。
Eijiro Sumii @esumii 2018-08-22 14:14:04
pirapiraさんはカピバラさんの理解を助けるために私に多くのご質問をなさったのだと思いますが、すべてお答えしました。https://twitter.com/esumii/status/1027820670028148736 「具体的に指摘されていないと感じるのは、単純によく分かっていないからです」「意味不明なのは私ではなくて、住井さんであるのは明らか」「数学系の人々で集まると、酒の肴になる程度にはめちゃくちゃ面白い」等も客観的・具体的根拠がありませんよね。
Eijiro Sumii @esumii 2018-08-22 14:23:54
https://twitter.com/esumii/status/996629599621595142 は、元の対談を「超準モデルの話」と解釈すると、宇宙人の「言葉」はω矛盾していることになってしまいますね、という事実を私より専門家の方にも確認する形で指摘したツイートです。それを私が基本的なことも理解していないかのように曲解して喧伝されることも非常に残念です。
Eijiro Sumii @esumii 2018-08-22 14:37:38
繰り返しになりますが、(専門家に容認される程度であれ「ω矛盾」の用語法が雑だったことを除き)何ら具体的に数学的・論理的誤りを指摘することもなく、媒概念不周延の虚偽や媒概念曖昧の虚偽を用い、他の方々まで巻き込んで私に関する中傷を広められたことは非常に残念です。過去には興味のあるコメントをいただいたこともありましたが、今後は私に関する一切の言及をご遠慮いただければ幸いです。これまでどうもありがとうございました。
ログインして広告を非表示にする
ログインして広告を非表示にする