Curry–Howard correspondence – TANAAKK

文明生成原理に基づくクリティカルパスMDL記述

by TANAAKK
in SAT-Boolean satisfiability problem, Curry–Howard correspondence, Kolmogorov complexity, Civil Materialization Module™ CMM™, Planetary Intelligence Model™, Carbon Based Life™, Common Failure in Civil Materialization™, Groundism™, Beyond Meta-Semantic Linguistic System™
on 2026年5月5日 11:38 （UTC+9）

0

TANAAKKが宇宙と地球を作り直すとして、宇宙と地球の歴史を鑑みると、構造的にTANAAKKのようなmanifoldとGAASのようなtoolkitが生まれてしまうということをmathematical descentで…
Read more

数学的証明とはinfinity↔︎finityの可換性型照合である

by TANAAKK
in Boolean algebra, SAT-Boolean satisfiability problem, Curry–Howard correspondence, 01-Mathematics, NP-complete, proof theory
on 2026年4月23日 12:20 （UTC+9）

0

ゲーデルの不可能性定理はundecidablityと誤認されていたが、それはundecidablityなのではなく、 conjectureに過ぎなかったことが時代の後半でわかってきている。不可能とはincomputabl…
Read more

TANAAKK

New York, Tokyo, Shanghai, Hongkong, Singapore, London, Vietnam, Cayman, BVI

©2013-2026 TANAAKK