>>107
何も理解できていないのは君の方だ
不完全性定理の証明ぐらいは理解しているよ
ゲーデルの不完全性定理は数学を形式化することによって通常の数学者の殆どが抱いている数学での概念や定義に対するイメージつまり意味を排除して得られる
完全に構文的なものとしての数学理論(公理系とそれから導かれる定理の集まり)に関する定理だ
しかし物理現象は構文的なものではない
物理現象を形式化された数学を記述言語として公理的に組み上げられた物理理論を用いて記述することによって、その現象の記述は初めて構文的な対象となり
不完全性定理との関係について議論できるものになる
チェイティンの情報論的な不完全性定理もゲーデルのそれの一種の言い換えに過ぎないから同じことだ
チェイティンの不完全性定理は物理現象に対する制約を与えるのではなく、物理現象の記述に対する制約を与えているだけだ
クルト・ゲーデルはこの板で語ろうか
■ このスレッドは過去ログ倉庫に格納されています
108考える名無しさん
2019/01/26(土) 01:29:46.270■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ガーシー「なんで刺青入ってたらサウナあかんの?」「外国人はOKってとこ、おかしない?」「もーファッションの一部になってきてるのに」 [冬月記者★]
- 【芸能】『キングオブコント2026』 ジェラードンが優勝! 19代目王者に 3445組の頂点 [冬月記者★]
- 「脳みそが飛出た遺体」「NHK集金のような寄付、逆らえば村八分」「だんじりベイビー」岸和田市民が語る“だんじりに支配された町” ★3 [おっさん友の会★]
- 【野球】セ・リーグCS第4戦 T 5-8 DB [10/17] 横浜DeNAベイスターズ4連勝日本S進出! 阪神あと1球コールから4失点逆転負け★4 [鉄チーズ烏★]
- 「こんなの国民をバカにしてますよ!」 年金月14万円・72歳男性、40年以上働いてきたのに老後も「節約続き」のワケ ★2 [首都圏の虎★]
- 新給付制度、平均3万円案を提示 27.28年度、2千万人対象 [蚤の市★]
- くら寿司さんと高市さんの友だちのゴキブリのスレ何か意味不明に三スレくらいうめ立てまくる、ただゴキブリが入っただけでしょうが反日か [617981698]
- くら寿司、創業価格100円キャンペーン実施中 [709039863]
- 🏡㊗もうすぐ2周年‼👊😅👊🏡
- くら寿司🍣異物混入🪳で炎上★4 [931948549]
- ゴキブリ「5.5万円でゲーミングPCは組めない」おぢさん「組めるけど?」ゴキ「ソースは?」おぢさん「……」 [841411289]
- 実際のところ中国軍が本気出したら日本なんて1週間で制圧できるよね