모든 문제를 풀 수 있는 컴퓨터는 존재하는가 Halting Problem .manhwa

답글
베스트1

칼리레이잽슨 2022-01-07 21:47:56

0 아~~ 완전히 이해했어 [3] 이동

추천

답글

JK롤링 2022-01-07 15:25:01 3 0
바이오 컴퓨터인 인간도 '이걸로 안뒤짐 ㅋㅋ'이러다 뒤지는데
추천 답글 신고

추천완료
잉어야 2022-01-07 15:27:05 0 0
컴터쉑 ㅋㅋ 그러니까 인간한테 이용당하지 ㅌㅋ
추천 답글 신고

추천완료
김삐뽀 2022-01-07 15:54:20 0 0
아~
추천 답글 신고

추천완료
칼리레이잽슨 2022-01-07 21:47:56 91 0
아~~ 완전히 이해했어
추천 답글 신고

추천완료
커패시터 2022-01-12 14:13:41 0 0
눈나 팬이에요
추천 신고

추천완료
빵덕후 2022-01-12 14:17:20 2 0
(이해못함)
추천 신고

추천완료
삭제된 답글입니다.
극한의다이어터 2022-01-12 15:06:15 2 0

.
추천 신고

추천완료
오늘가입한아이디 2022-01-08 00:01:35 5 0
그럼 자기자신을 검증하지만 않는다면 모든 문제를 풀 수 있는거야?
추천 답글 신고

추천완료
o유카리남편 2022-01-08 05:04:45 2 0
설명대로면 222머신이 왜 필요한거지
추천 답글 신고

추천완료
매우매우빡침 2022-01-08 07:39:12 3 0
내가이해한거 ㅡ a기계에 b입력값을넣었을때 정지하는지 알려줘야하니까 합체계설계도에따라설계된기계에 합체설계도가 정상작동할지 알아보기위해선 두 입력값이 완전히같아야하니 복사시킨게아닐까 반박시 니말이맞음
추천 신고

추천완료
루시아47 2022-01-12 14:50:08 0 0
정지하는지 판단하기 위한 설계도 하나, 판단이 끝난 뒤에 그 작업을 실행시키기 위한 설계도 하나.
추천 신고

추천완료
처신잘하라고 2022-01-12 15:15:38 4 0
테스트 기계의 동작 조건은 "설계도와 입력값" 두개를 가지고 "기계에 입력값 x를 넣었을 때의 결과" 를 예측하는 거임. 즉 y=f(x) 일때 y 값을 구할 수 있느냐의 여부를 z=f(x,y) 의 형테로 체크. 테스트 기계에 자기 자신을 재귀로 무한 호출하기 위해서는 테스터가 f(x) 형태이므로 파라메터가 한개여야함. 그래서 파라메터를 한 개 받아서 두개로 복사해주는 기계가 앞에 필요한 것임. 프로그램으로 치면 테스터 function test(a,b) { ... return x} 형태일때 test(test(a,b),c) => test(x,c) => x 이렇게 하면 무한 재귀를 이룰 수 없음. 테스터가 function test(a) { b=a; .. return x} 형태로 해야 test(test(a)) 이런 구조가 가능해서 먹통 만들 수 있음. 그 차이. 슈밤 쉽게 설명이 안되네 선생은 아무나 하는게 아녀..
추천 신고

추천완료
doony10 2022-01-12 15:18:19 0 0
222 머신은 설명을 위한 뭐..편의정치정도로 이해하긴했는데 동일한 2가지가 들어가는것을 가정한것 같네여 기존 예시대로면 게임안에 게임 에뮬레이터안에 에뮬레이터로 예시를 들면 된다고 가정을 해버릴테니 완전히 동일한 두 설계도를 넣었을떄 어느 경우건 모순이 생기기때문에 해결불가 로 결론
추천 신고

추천완료
o유카리남편 2022-01-12 15:37:55 0 0
대단해요
추천 신고

추천완료
100SDW 2022-01-12 04:27:01 61 0
이 문장은 거짓이다 이런것처럼 자기 자신이 들어가면 뭔가 모순되는 상황이 생기는듯
추천 답글 신고

추천완료
2022-01-12 14:09:58 게시물이 5일 만에 웃긴자료 게시판으로 이동되었습니다!
- 작성: 2022-01-07 15:19 / 이동: 2022-01-12 14:09
- 어시스트: 킴투

킴투 2022-01-12 14:10:13 0 0
어시래
추천 답글 신고

추천완료
지하핵벙커 2022-01-12 14:14:10 5 0

.
추천 답글 신고

추천완료
아침에오렌지 2022-01-12 14:18:49 1 0
이 문장은 거짓이다. 같은 역설이네.
추천 답글 신고

추천완료
망멍밍 2022-01-12 14:22:31 3 0
괴델의 불완전성 정리 보면 모든 체계 내에선 참이면서도 증명 불가능한 명제가 항상 존재하는데 컴퓨터는 당연히 체계를 따라서 작동되므로 못푸는 문제는 항상 존재함
추천 답글 신고

추천완료
플삼 2022-01-12 14:22:52 2 0
"모든"문제를 "완벽하게" 푸는 머신은 없지만, "대부분"의 문제를 완벽하게 푸는 머신이나, 모든 문제를 "살짝 덜 완벽하게" 푸는 머신은 있을 수 있는것!
추천 답글 신고

추천완료
인벤망함요으흑 2022-01-12 14:23:16 1 0
?뭔소리여 어 롤체 시작했다
추천 답글 신고

추천완료
하믄랑 2022-01-12 14:24:34 2 0
실패를 증명하기 위해서 실패해야되는데 실패하면 증명할 것이 없으므로 증명이 안되는거랑 같은 말인건가?
추천 답글 신고

추천완료
하라아빠 2022-01-12 14:32:38 9 1
사람을 컴퓨터로 보았을때 심장을 칼로 찔러서 죽는지 말로 확인해줄 수 있는 인간 이 있는가? 와 비슷한 문제임.. 남이라면 찔러서 죽은뒤 죽습니다. 말해줄수 있지만 본인의 경우엔 찔러서 죽은뒤 확인을 못해주니 본인 한정 불가능함. 단순한 얘긴데 너무 복잡하게 설명하네..
추천 답글 신고

추천완료
가계정 2022-01-12 14:35:28 10 0
핵심은 "모든 기계에 대해서" 가능한지니까. 말로 출력을 못해서 불가능하다기보단 자기모순이 생기므로 존재할 수 없다는 느낌?
추천 신고

추천완료
탕탕소년단 2022-01-13 10:50:42 3 0
그걸 “증명” 이라고 함
추천 신고

추천완료
삭제된 답글입니다.
하라아빠 2022-01-13 17:44:49 1 0
이해가 쉽게 생명체에 빗댄거긴 한데... 그렇지만... 비유 수준도 아닌 직설적인 예시라. 복잡하게 다를것 까지도 없어요. 내용은 정말 이 얘기가 다에요 본문도
추천 신고

추천완료
가계정 2022-01-12 14:33:11 0 0
존재성에 대해서 귀류법 써서 증명하는구나
추천 답글 신고

추천완료
루시아47 2022-01-12 14:48:53 0 0
'너무 많이 알았던 사람' 책에서 소개하는 증명법이 저거. 위키백과에 가보면 칸토어 대각정리를 활용해서 증명하는 방법도 소개되어 있음.
추천 신고

추천완료
발암의아들 2022-01-12 14:55:20 1 0
됐고 첫사랑 얘기나 해봐요
추천 답글 신고

추천완료
슬픈냥 2022-01-12 15:05:13 0 0
역시 튜링...컴퓨터의 아버지...
추천 답글 신고

추천완료
루시아47 2022-01-12 15:17:28 0 0
큿.. ALICE 쨩...
추천 신고

추천완료
슬픈냥 2022-01-12 15:22:12 0 0
헉 뭐야 당신...크피유저야...?
추천 신고

추천완료
루시아47 2022-01-12 15:26:00 0 0
힝잉잉 아니예요 저는 그런것 몰라요 결정가능성 문제나 처치-튜링 Thesis를 알 뿐이예요
추천 신고

추천완료
슬픈냥 2022-01-12 15:28:56 1 0
건방진 공돌이놈...감히 날 속이다니...체크무늬 남방 압수
추천 신고

추천완료
루시아47 2022-01-12 15:29:41 0 0
히이잉 정말 몰라. 수학교육과니까.
추천 신고

추천완료
삭제된 답글입니다.
육봉팔 2022-01-12 17:20:48 1 0
컴퓨터 : 아버지, 날 보고 있다면 정답을 알려줘
추천 신고

추천완료
난어머니의자부심이다 2022-01-12 15:05:22 0 0
크 재밌다
추천 답글 신고

추천완료
메베 2022-01-12 15:47:45 2 1
근데 결국 부정머신이 트롤링하는 거니까 굳이 저런 귀찮은 기계를 만들면 스스로 판별할 수 없는 경우도 있다는 거지 나름 제 역할을 하는 기계는 만들 수 있을 거 같은데
추천 답글 신고

추천완료
루시아47 2022-01-12 21:23:00 1 0
그래서 나오는 결론 중에, '모든 문제를 만능으로 해결하는 건 꿈 깨시고', '주어진 문제에 맞게 매 순간 프로그램 작성에 최선을 다 하십시오.'
추천 신고

추천완료
푸른하늘뭉게구름 2022-01-12 17:00:46 1 0
값을 맞음/틀림 2개로 하니까 그렇지. 맞음/틀림/알수없음 3개로 하면 될듯. 모든 문제는 풀수 없겠지만 거의 모든 문제를 풀수 있을듯.
추천 답글 신고

추천완료
마시내 2022-01-12 20:44:58 4 0
그렇게 하면 뭐등 다 풀 수 있음. 1+1는? 알수없음! 리만가설의 증명은? 알 수 없음! 수학에서 알 수 없음은 있으면 안되지 않아?. 그걸 증명해가는게 수학이자느~
추천 신고

추천완료
마시내 2022-01-12 20:39:09 2 0
20 초반때 유튭에서 본거당 싱기방기 https://youtu.be/92WHN-pAFCs
추천 답글 신고

추천완료

모든 문제를 풀 수 있는 컴퓨터는 존재하는가(Halting Problem).manhwa [42]