- 본문은 Collatz와 유사한 문제를 해결하지 않고서는 중지 여부를 증명할 수 없는 3 상태, 3 심볼 튜링 기계에 대해 논의하며, 이로 인해 BB(3,3) 문제는 이 Collatz와 유사한 문제를 해결하는 것만큼 어렵다고 말하고 있다.
- 저자는 "quasihalt" 여부를 증명하기 위해 Collatz와 유사한 문제…
잼난 개발놀이, 노리컴퍼니