http://ninano.kaist.ac.kr/~hantong/BBS/03/00047.txt
여전히 알 수 없네요. 인간이 알고리즈믹하다고 생각하는 것에서 인간이 누구냐에 따라서 도메인이 엄청나게 달라지는데...... 인간이 생각하는 모든 것이거나 인간이 이성적/논리적으로 생각하는 모든 것 과는 다른 이야기인가요? --Sequoia
DeleteMe C-T thesis 를 반증하는 것은 쉽습니다. TM 으로 계산불가능하면서, (어떤 방법으로든) 계산가능한 함수를 하나 들면 되지요. 구체적인 함수와 계산 방법이 주어지면 그것이 계산가능한지 아닌지에 대한 합의를 보는 것은 훨씬 쉽겠지요. 좀 다른 얘기겠지만 Smale 의 real computation 을 really 할 수 있다면 같은 생각을 해보면 되겠지요.
2003년 6월 8일 8:55AM, 6월 17일 11시 DeadLink 입니다.그렇다면 ChurchTuringThesis라는 것은 요약하자면 "TM으로 계산가능하지 않은 계산은 없다"는 건가요?
제 생각에는 그렇습니다. (또는, "계산이란 TM으로 계산가능한 것이다.") --서상현
See also:
