누가 Turing Machine에 대해서 그런 증명을 했지요? 그 증명에서 인간의 지능은 어떻게 정의했습니까? 진짜로 궁금하군요.