カテゴリー: 08-NEWS

「広域整合性（Global Consistency）は常に理解不可能性を内包する」 1. スケールの不一致と認知の限界 広域整合性を維持するということは、膨大な変数とそれらの相互作用をすべて矛盾なく管理することを意味しま…
Read more

Discrete（離散的） と Continuous（連続的） の区別は、数学が立脚している、根本的な断層線です。世界の Discrete な性質が「決定不能性」という下限（Lower Bound）を生み出す一方で、数学…
Read more

law of constraintslaw of physicslaw of coorporationlaw of scaleparadox, inconsistency, incomprehensibilityprin…
Read more

確率は当てにするものではない。数学的証明を導くための随伴であり、探索センサーのようなものである。どんなに確率が高かったとしても100％が証明されていない以上は始めるべきではない。 NP=PCP(O (log n), O(…
Read more

ラッセルのパラドックス、ゲーデルの不可能性定理、zfcのバナッハタルスキパラドックスの論理を前提とすれば、宇宙は人間が演算系の内部にいるうちは制御不可能であり、人間が計算機宇宙の系外部からeffective/effici…
Read more

1901年頃に哲学者・数学者のバートランド・ラッセル(Bertrand Russell 1872-1970)によって発見。 1. どんなパラドックスなのか？ ラッセルは、集合は条件に応じて矛盾が生じることを指摘しました。…
Read more

What if the fundamental concepts of our universe—like Knowledge, Secrets, and Randomness—aren’t absolute…
Read more

背理法（proof by contradiction）はあらゆるケースにおいて推論として効力があると必ずしも言えないのではないか。命題が真であれば対偶が真であるというのは本当にそうなのか、数学的に100％証明されたわけで…
Read more

Vladimir Voevodskyが査読の通った自分の論文の証明の誤りに気づきcoq/unimathによる証明システムに取り組んだことや、Jacob Lurieが数学的証明を公言するのは誤りが100%ないことを保証する…
Read more

ABC予想（Oesterle-Masser conjecture）は、1985年にジョゼフ・オステルレとデイヴィッド・マッサーによって提唱された、数論における未解決問題です。 「足し算（a + b = c）」と「かけ算（…
Read more