Church–Turing thesis
もしスーパータスクが可能なら、数論の未知の命題（ゴールドバッハ予想であれ決定不能命題でさえ）の真偽性を、有限の時間で、自然数の集合上の力まかせ探索によって決定することができる。しかしながらこれはチャーチ＝チューリングのテーゼに矛盾することになる。