最近の検索
検索オプション
なんでもかんでもチューリング完全であることを証明しないで……(いや、いいぞもっとやれ)
世界にはチューリング完全なシステムの数だけ停止性が判定できないシステムが存在するんだよ……
ほら、あそこにも有限時間で停止するか判定できないシステムがまたひとつ……
なんでもかんでもチューリング完全であることを証明しないで……(いや、いいぞもっとやれ)
世界にはチューリング完全なシステムの数だけ停止性が判定できないシステムが存在するんだよ……
ほら、あそこにも有限時間で停止するか判定できないシステムがまたひとつ……