カテゴリー: 08-NEWS

Decrypt history, Encrypt future™

MIP∗ = REに至る過程

https://www.math.ias.edu/~avi/TALKS/PvsNP_Clay%20Research%20Conference_2025.pdf#page=33.00 MIP∗ = RE(Nov 7 202…
Read more

P vs NP

The impact of the P vs NP framework on the global power game is fundamental. Most people do not realize that a…
Read more

17 Breakthrough Prize in Mathematics Laureates

Year Ceremony location Laureates Affiliation (when awarded) Affiliation (current/last) Reasons 2015 Mountain V…
Read more

81 ACM A.M.Turing Award Winners(1966-2025)

1966の創設から2025年歴代チューリング賞受賞者81名 If we see ACM(Association for Computing Machinery) A.M. Turing Award through the…
Read more

computerの語源

「Computer」という言葉の語源や歴史を遡ると、その始まりは17世紀初頭(1600年代初頭)です。 1. 言葉の誕生:1613年(17世紀) オックスフォード英語辞典(OED)によると、文献に「computer」とい…
Read more

広域整合性とは常に理解不可能性を内包する

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

Discrete vs continuous

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

Lawは制約条件下における分散型決定システムであり、mathematics, computationに対する高次圏論である。

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

NP=PCP(log n, 1) 数学的証明者にとって確率は随伴である

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

effective universeの制御可能性の論理根拠

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