check(check)가 실행되면, halting(check.check)가 실행된다는 것인데, 인자로 들어간 check는 어떤 인자가 들어간 것이죠? /halting(A, B)이라는 함수는 A가 종료되면 true, 종료가 안되면 false를 반환하는 함수고 그런게 있다고 가정 했으니까 A가 무한루프에 빠지더라도 halting()은 false를 반환하고 끝나면 되는거 아닌가요? halting()이 존재한다고 가정한 이상 A가 무한루프에 빠지든 말든 halting()은 그에 맞는 리턴값을 내주고 끝나는 거죠.... 만약 A가 무한루프에 빠지기 때문에 halting()은 종료될 수 없다면 check()라는 함수를 쓰기 전에 이미 halting()은 존재 할 수 없는게 되죠. halting()이 존재한다고 가정해 놓고 뒤 늦게 A가 무한루프에 빠지는 것을 문제 삼으면 이렇게 하는 것이야 말로 모순 아닌가요? /철수에게 "밥먹는거 허락해 줄게" 해서 철수가 먹으려고 하니까 "굶기로 했었는데 왜 먹냐?" 하는 격이죠.
튜링에 대해 컴퓨터의 기초를 닦은 천재로만 알고 있었는데, 동빈님 덕분에 실제적인 이론을 접해볼 기회를 얻었습니다. 감사합니다~ 정말 엄청난 양반이셨군요~ ^^
목소리가 좋아서 귀에 쏙쏙 들어오네요 ㅋㅋㅋㅋ
정말 쉽게 잘 풀어서 설명해주시네요~
정말요? 아니에요~ 님이 이해력이 특출나신 것 같아요...
다 설명덕이죠 ㅎㅎ 항상 유익한 영상 감사드립니다
끝난다고 가정 halting() == false, halting()이 false라면 무한반복.. 무한루프라고 가정 halting()==true, halting()이 true면 끝나야함 가정과 결론의 모순. 재밌네요
0) 신박한 컨텐츠에 무릎 탁 치고 갑니다
1) 갑자기 BGM이 나와서 놀랐네요
2) 오늘 광고는 문라이트 모카네요ㅋㅋㅋ
감사합니다.
신박한 컨텐츠 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 감사합니다. 광고는 님의 검색 기록을 파악한 갓구글님께서 님이 관심있어할 만한 주제의 광고를 띄워주는 거랍니다. 맥심 좋아하시나봐요? 후후
지금 보니 Wix도 나오고 단어 고쳐주는 앱? 광고도 나오고.. 중구남방이네요 ㅋㅋ 안드로이드 검색하고 다니는데 그런건 없어서 그런가 웹이랑 스타트업 관련 나오는 것 같아요 ㅎ
쿄쿄쿄쿄쿄
check(check)가 실행되면, halting(check.check)가 실행된다는 것인데, 인자로 들어간 check는 어떤 인자가 들어간 것이죠? /halting(A, B)이라는 함수는 A가 종료되면 true, 종료가 안되면 false를 반환하는 함수고 그런게 있다고 가정 했으니까 A가 무한루프에 빠지더라도 halting()은 false를 반환하고 끝나면 되는거 아닌가요? halting()이 존재한다고 가정한 이상 A가 무한루프에 빠지든 말든 halting()은 그에 맞는 리턴값을 내주고 끝나는 거죠.... 만약 A가 무한루프에 빠지기 때문에 halting()은 종료될 수 없다면 check()라는 함수를 쓰기 전에 이미 halting()은 존재 할 수 없는게 되죠. halting()이 존재한다고 가정해 놓고 뒤 늦게 A가 무한루프에 빠지는 것을 문제 삼으면 이렇게 하는 것이야 말로 모순 아닌가요? /철수에게 "밥먹는거 허락해 줄게" 해서 철수가 먹으려고 하니까 "굶기로 했었는데 왜 먹냐?" 하는 격이죠.
고환,, 논증,, 메모,,!
부정의 부정은 긍정이다...ㅋ
....? 다시 돌려보자! ㅋ
Tae Hyun Na 저한 10번은 돌려본거 같네욬ㅋㅋㅋ
밀레니엄 문제 등등 많은 수학물리학문제 못풉니다
네, 다만 현재 해결하지 못 하는 문제(아직 증명되지 않은)와 앞으로도 영원히 해결할 수 없음이 '증명된' 문제는 서로 다릅니다.
아 개쩝니다 바로 이해했어요 감사합니다
궁금한데 이해가 안되네ㅠㅠㅠ
크킄ㅋ흠ㅋㅋㅋㅋ
크킄...
동빈나 와 잔깐만 방금에야 이해했네요 ㄷㄷㄷㄷ 튜링 당신은대체 ㄷㄷㄷㄷ
+우준혁 ㅋㅋㅋㅋㅋㅋㅋ 이해하는 순간 신세계를 맛보게 된다는...