スコット・アーロンソン 著 森弘之 訳「デモクリトスと量子計算」メモ デモクリトスと量子計算 作者:スコット・アーロンソン 森北出版 Amazon スコット・アーロンソン 著 森弘之 訳 「デモクリトスと量子計算」メモ 第13章 【まとめ】 証明 ・証明が純粋に力学的だとすると、原理的には理解や洞察など関係なく、機械を動かすだけで新しい数学的真理を発見できる。・ゼロ知識証明は、その証明を見ている人が、対象となる命題について、それが真であること以外は何もわからないというような証明で、検証者はあることについて納得するが、それについてほかの人を納得させることはできない。・ある計算量仮定(一方向関数が…