bounded rationality satisficing

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

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

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

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