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