「これは、3部作の第2部です。「検証可能な計算」に関する最近の結果とそこで起こりうる可能性のある落とし穴についてカバーしています。このポストは、単独ではあまり意味がありませんので、まず第1部から始めることをお勧めします。前のポストでは、… Continue reading 偽のステートメントを証明する方法？（パート 2）」