カテゴリー: infinitude

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

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