- 665 名前：１３２人目の素数さん mailto:sage [2021/10/27(水) 20:01:08.26 ID:aPLQfV8M.net]
- >>594 の動画の主が顔出ししてる動画もあったけど
なんか胡散臭いロン毛野郎だったｗｗｗ
ま、それはさておき、ロン毛野郎のこんな動画発見
ゲーデルの不完全性定理はこうして証明された。
https://www.youtube.com/watch?v=mSMfjG1cxjs&ab_channel=%E8%AC%8E%E3%81%AE%E6%95%B0%E5%AD%A6%E8%80%85%E3%80%90%E3%82%A2%E3%83%A1%E3%83%AA%E3%82%AB%E5%A4%A7%E5%AD%A6%E5%87%86%E6%95%99%E6%8E%88%E3%81%AE%E6%95%B0%E5%AD%A6%E3%83%81%E3%83%A3%E3%83%B3%E3%83%8D%E3%83%AB%E3%80%91
うわーなんだこれ 肝心なことなんも説明してねぇｗｗｗ
こんなん見るくらいなら有名なホフスタッターの
「ゲーデル・エッシャ―・バッハ」読んだほうがいいぞ
あ、全部は読まなくていいぞ
まず、ｐ４２９からの「Ｇ線上のアリア」を読め
その上で、ｐ４３８からの第１４章
「形式的に決定不可能なＴＮＴと関連するシステムの命題」を読め
キーワードはズバリ「クワイン化」
「ウソつきのパラドックスがー」とか「自己言及がー」とか
したり顔してほざいてる奴がいたらこういってやれ
「え？もしかしてクワイン化知らないの？
じゃ、クワイン（自己印刷プログラム）も知らないの？
ついでにいうと、UNIXつくったリッチー＆トンプソンの
ケン・トンプソンがチューリング賞とったときの受賞講演
”Reflections on trusting trust"も知らないの？
いやはや呆れたね この21世紀にそんな常識も知らん原始人がいるとはｗ」
|
 |
