bounded rationality satisficing

物質宇宙を構成するディオファントス整数解は複素連続関数のように綺麗なものではなく、あくまでbounded rationalityに基づくsocial contractのsatisficingなので、複素解のように綺麗な数字は出ないが、ブーリアンシーケンスを一歩進めることができれば物質的に必ずadditional rewardが返ってくるのでうまくいっているかどうかは簡単に検証できるNP性のある問題である。

純粋数学（Mathematics）の持つ「厳密性・絶対性・普遍性」と、社会活動（Social Action）の持つ「利害関係・不確実性・コンテクスト依存性」の二つの世界を、構造を保ったまま一対一で美しく翻訳するような単純なファンクター（関手）は存在しない。

しかしこの不可能性の限界を定義することにより、制約資源ノードの限定合理性合意アルゴリズムをconflict driven clause learningで進めることができるのである。

仮に数学的に美しい完全合意ができるという前提があると、実は現実世界は進まなくなってしまうのである。

Contractability

 【Stage 1: コホモロジー（不変量の同型性）】
                    │
                    ▼
 【Stage 2: 多次元トポロジー（問題の形状）】
                    │
                    ▼
 【Stage 3: 3次元（立体：4~∞ colorable）】
                    │
                    ▼ 
 【Stage 4: 2次元（平面：四色定理・4色への制限）】
                    │
                    ▼
 【Stage 5: 3-SAT回帰（論理の反転運動・3色）】
                    │◄───★ 選択公理（Axiom of Choice）の発動, satisficing
                    ▼
 【Stage 6: 2色への追い込み（偶数サイクル）】
                    │
                    ▼
 【Stage 7: 「1,0」（1ビットの書き込み・Decision）】
                    │
                    ▼
 【Stage 8: 「1」の決定】