カテゴリー: infinitude

ポスト観測主義におけるZKP（ゼロナレッジ証明）型のVerification（検証）プロトコルについて検討する。 🧭 背景：なぜZKP型Verificationが必要か？ したがって、観測や模型の明示ができなくても“正し…
Read more

「科学の正統性」 vs 「社会の進化速度」 🔁 問題の構造：科学的合意 ≠ 現実的有用性 ◆ 観測を経ずとも現実に機能するものが存在する ◆ にもかかわらず、「証明されていないから危険／未熟」という合意原理主義がブレーキ…
Read more

Boolean から SAT, Cook-Levin, Zero-Knowledge Proof までの時系列 以下の表に、ブール論理（Boolean）から始まり、SAT、Cook-Levinの定理、Zero-Knowl…
Read more

スタートアップは簡単に（自然に）成功することができる。ただし、自然の法則を適切に理解すればという前提条件付きだ。数学的自然が「科学」になる前のメタセマンティクス(meta-semantics)を捉えることができるかの勝負…
Read more