21/10/27 20:01:08.26 aPLQfV8M.net
>>594 の動画の主が顔出ししてる動画もあったけど
なんか胡散臭いロン毛野郎だったｗｗｗ
ま、それはさておき、ロン毛野郎のこんな動画発見
ゲーデルの不完全性定理はこうして証明された。
URLﾘﾝｸ(www.youtube.com)
うわーなんだこれ 肝心なことなんも説明してねぇｗｗｗ
こんなん見るくらいなら有名なホフスタッターの
「ゲーデル・エッシャ―・バッハ」読んだほうがいいぞ
あ、全部は読まなくていいぞ
まず、ｐ４２９からの「Ｇ線上のアリア」を読め
その上で、ｐ４３８からの第１４章
「形式的に決定不可能なＴＮＴと関連するシステムの命題」を読め
キーワードはズバリ「クワイン化」
「ウソつきのパラドックスがー」とか「自己言及がー」とか
したり顔してほざいてる奴がいたらこういってやれ
「え？もしかしてクワイン化知らないの？
じゃ、クワイン（自己印刷プログラム）も知らないの？
ついでにいうと、UNIXつくったリッチー＆トンプソンの
ケン・トンプソンがチューリング賞とったときの受賞講演
”Reflections on trusting trust"も知らないの？
いやはや呆れたね この21世紀にそんな常識も知らん原始人がいるとはｗ」