カテゴリー: Computability

Teleological Finity Bypassing とは、特定の**「目的（Telos）」を最終的な「同一性（Identity）」としてInvariants化し、そこに至るまでの膨大な「有限のステップ（Finit…
Read more

「Truncatability（切断可能性）」は、高次カテゴリー論やホモトピー理論において非常に専門的な意味を持つ概念です。 一言で言えば、「高次の複雑な構造を、低次のデータだけで完全に復元できるか？」という性質を指しま…
Read more

アルゴリズム的情報論（Algorithmic Information Theory: AIT）は、1960年代にレイ・ソロモノフ、アンドレイ・コルモゴロフ、グレゴリー・チャイティンの3人が独立に創始したもので、情報の「意…
Read more

チャールズ・ベネット（Charles H. Bennett, 1943年 – ）は、IBMの研究員であり、現代の量子情報理論および物理学と情報の境界領域における貢献をしています。 1. 論理深度 (Logic…
Read more

公理系：ZFC、チューリング、Avi Wigderson 物理学は「観測による近似」、コンピューティングは「公理の展開」 1. 物理学（近似）とコンピューティング（公理）の決定的な断絶 ニュートン力学やマクスウェル方程式…
Read more