lisp_hacker·18년 전·discussThe gur "AlanT" is obviously nuts. The halting problem is one that can never be solved.