예측 불가능한게 존재한다는 것은 콘웨이의 인생 게임에서 증명이 됨.

그런데 예측 불가능한 것을 가지고 장치를 만들어서 모순을 이끌어냈잖아.

그러면 예측 가능한 것을 가지고 장치를 만들어서 모순을 이끌어낼 수 있을까?

애초에 이 세상에 무한이라는 것은 존재하지 않는데

정지 문제에서는 무한이라는 것을 끌어내면서부터 논리가 완전히 뒤엉킴

정지 판별 알고리즘은 O(n!)도 아니고 O(n!!!!)도 아니고 거의 O(infinity)임.

무한대를 끌어와서 모순임을 증명하는 것은 바보같은 짓이야.