| [ PhilosophyThought ] in KIDS 글 쓴 이(By): cella (오대형) 날 짜 (Date): 2007년 6월 15일 금요일 오후 01시 54분 08초 제 목(Title): Re: 자연과학에 대해 오해하고 있습니다. > 누가 X라는 문제를 푸는 알고리즘은 없다고 증명을 내 놓았습니다. 그 증명이 > 오류 있음을 말하면 알고리즘이 있다고 주장하는 것인가요? 그 경우 명제는 "이 증명은 X라는 문제를 푸는 알고리즘은 없다는 걸 증명한다"죠. 만약 명제가 "X라는 문제를 푸는 알고리즘은 없다"라면 그 명제의 오류를 보인 것이 "X라는 문제를 푸는 알고리즘은 있다"가 되는 거고요. |