Discrete vs continuous
Discrete（離散的） と Continuous（連続的） の区別は、数学が立脚している、根本的な断層線です。
世界の Discrete な性質が「決定不能性」という下限（Lower Bound）を生み出す一方で、数学の高次な領域における Continuous な性質は、理論的な「決定可能性（Decidability）」を提供します。しかし、それはしばしば「現実的な計算量（Tractability）」の壁によって阻まれます。
1. Discrete（離散的）
離散的な構造は、個別の、分離したパーツで構成されています。要素と要素の間には常に「最小単位」や「隙間」が存在します。
- 例: 整数（…, -1, 0, 1, 2, …）、ブール論理（0 または 1）、デジタル時計、階段。
- 計算論的な意味: 離散的な構造はチューリングマシンの「状態」を完璧に模倣できるため、自己言及や停止性問題の影響をまともに受けます。これが、整数ベースのディオファントス方程式が決定不能（Undecidable）である理由です。
- 罠: 離散的な世界では「だいたい」は存在しません。0 か 1 かのどちらかです。このバイナリ（二値）的な硬直性が、100%の摩擦や論理的パラドックスの源泉となります。
2. Continuous（連続的）
連続的な構造は、滑らかで途切れがありません。任意の2点の間に、さらに無限の点が存在します。「隙間」がありません。
- 例: 実数（R）、複素数（C）、アナログ時計、スロープ。
- 計算論的な意味: タルスキが証明したように、複素平面の滑らかさは、離散的・デジタルな自己矛盾（チューリングマシン）をエンコード（埋め込み）することを防ぎます。純粋に滑らかなものから、カチッとした自己否定的なチューリングマシンを作ることは幾何学的に不可能です。そのため、これらのシステムは決定可能（Decidable）になります。
- パラドックス: 連続的なシステムは理論上「解ける」のですが、それをDiscreteなコンピュータにマッピングしようとすると、Truncation（打ち切り）が必要になり、それが指数関数的な複雑さ（Intractability：実行不可能性）を引き起こします。
3. 比較
| 特徴 | Discrete (離散) | Continuous (連続) |
|---|---|---|
| 基本単位 | 定義されている（個別のノード） | 無限小（最小単位がない） |
| 表現 | 整数、集合、ビット | 実数・複素数、波 |
| 論理の型 | ブール代数 / 記号論理 | 解析学 / 幾何学 |
| 決定可能性 | 決定不能（Undecidable） | 決定可能（Decidable） (Tarski) |
| 計算量（実現性） | P / NP / EXPTIME | 指数関数の塔 |
| 役割 | 現実の「下限（Lower Bound）」 | 推論の「高次圏（Higher Category）」 |
4. 可換性「Law（法）」
Groundismにおいて、Law とはこれら2つの間を調停するメカニズムです。
- 離散的な現実（Discrete Reality）: 私たちの日常的な資源、票、そして「0か1か」の決断は離散的です。これが「100%の摩擦」と決定不能な「制約の法則（Law of Constraints）」を生みます。
- 連続的な推論（Continuous Inference）: 解決策を見つけるために、アーキテクトは問題を連続的な（複素数・高次圏的な）空間へとリフト（引き上げ）します。そこでは数学的な解決は確実（決定可能）です。
- 多項式的な打ち切り（Tractable Truncation）: その解決策を離散的な世界に実装し直すために、アーキテクトは Truncation を行います。連続空間の無限の複雑さを断ち切り、多項式（Polynomial）の時間内に「実現証明（Constructive Proof）」（契約、プロダクト、法律）を具現化します。