도령, 정체 문제와 디지털 시대의 서광

모든 문제는 0과 1 (이진 코드라고도 함) 으로 인코딩한 다음, 읽는 0과 1에 따라 간단한 규칙을 따를 수 있다.가장 간단한 형식에서 인간은 테이프에서 0과 1을 읽고 규칙을 따를 수 있다 .비록 효율이 낮지만, 이 시스템은 계산 가능한 모든 문제를 계산하는 데 쓸 수 있다. 그러나 모든 문제가 계산할 수 있는 것이 아니라는 것을 증명하고 의사결정 문제를 반박하기 위해 도령은'모순증명'이...

turinghistorycomputersprogramming