| 단축 URL: https://humoruniv.com/pds1121912 URL 복사 |
| ※ 로그인 없이 추천 가능 | ||
 |
 |
 |
추천되었습니다.
|
|
| ▲ 다음글 | 웃대인들에게 희소식 연애가능팁 | gackt001 |
 947
 0
 21
 55,627
|
2022-01-12 [14:15] |
| ▼ 이전글 | 어느 롯데리아 알바생근황 | 수홀2 |
1040
0
50
64,655
|
2022-01-12 [13:59] |
답글 베스트
|
답글 베스트1 |
 칼리레이잽슨 |
아~~ 완전히 이해했어 [3]
|
91 0 |
 추천
 반대
이동
답글
|
2022-01-07 21:47 |
||||
|
답글 베스트2 |
100SDW |
이 문장은 거짓이다 이런것처럼 자기 자신이 들어가면 뭔가 모순되는 상황이 생기는듯
|
61 0 |
추천
반대
이동
답글
|
2022-01-12 04:27 |
||||
답글마당 (42)
|
JK롤링 |
바이오 컴퓨터인 인간도 '이걸로 안뒤짐 ㅋㅋ'이러다 뒤지는데
|
30 |
추천
반대
 신고
답글
|
2022-01-07 |
||||||
|
잉어야 |
컴터쉑 ㅋㅋ 그러니까 인간한테 이용당하지 ㅌㅋ
|
00 |
추천
반대
신고
답글
|
2022-01-07 |
||||||
|
|
김삐뽀 |
아~
|
00 |
추천
반대
신고
답글
|
2022-01-07 |
||||||
|
|
칼리레이잽슨 |
아~~ 완전히 이해했어
|
910 |
추천
반대
신고
답글
|
2022-01-07 |
||||||
 |
커패시터 |
눈나 팬이에요
|
00 |
추천
반대
신고
|
2022-01-12 |
||||||
|
 빵덕후 |
(이해못함)
|
20 |
추천
반대
신고
|
2022-01-12 |
||||||
|
|||||||||||
|
극한의다이어터 |
.
|
20 |
추천
반대
신고
|
2022-01-12 |
||||||
|
오늘가입한아이디 |
그럼 자기자신을 검증하지만 않는다면 모든 문제를 풀 수 있는거야?
|
50 |
추천
반대
신고
답글
|
2022-01-08 |
||||||
|
o유카리남편 |
설명대로면 222머신이 왜 필요한거지
|
20 |
추천
반대
신고
답글
|
2022-01-08 |
||||||
|
매우매우빡침 |
내가이해한거 ㅡ a기계에 b입력값을넣었을때 정지하는지 알려줘야하니까 합체계설계도에따라설계된기계에 합체설계도가 정상작동할지 알아보기위해선 두 입력값이 완전히같아야하니 복사시킨게아닐까 반박시 니말이맞음
|
30 |
추천
반대
신고
|
2022-01-08 |
||||||
|
루시아47 |
정지하는지 판단하기 위한 설계도 하나, 판단이 끝난 뒤에 그 작업을 실행시키기 위한 설계도 하나.
|
00 |
추천
반대
신고
|
2022-01-12 |
||||||
|
처신잘하라고 |
테스트 기계의 동작 조건은 "설계도와 입력값" 두개를 가지고 "기계에 입력값 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)) 이런 구조가 가능해서 먹통 만들 수 있음. 그 차이. 슈밤 쉽게 설명이 안되네 선생은 아무나 하는게 아녀..
|
40 |
추천
반대
신고
|
2022-01-12 |
||||||
|
doony10 |
222 머신은 설명을 위한 뭐..편의정치정도로 이해하긴했는데 동일한 2가지가 들어가는것을 가정한것 같네여 기존 예시대로면 게임안에 게임 에뮬레이터안에 에뮬레이터로 예시를 들면 된다고 가정을 해버릴테니 완전히 동일한 두 설계도를 넣었을떄 어느 경우건 모순이 생기기때문에 해결불가 로 결론
|
00 |
추천
반대
신고
|
2022-01-12 |
||||||
|
o유카리남편 |
대단해요
|
00 |
추천
반대
신고
|
2022-01-12 |
||||||
|
|
100SDW |
이 문장은 거짓이다 이런것처럼 자기 자신이 들어가면 뭔가 모순되는 상황이 생기는듯
|
610 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
|||||||||||
|
킴투 |
어시래
|
00 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
|
지하핵벙커 |
.
|
50 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
아침에오렌지 
|
이 문장은 거짓이다. 같은 역설이네.
|
10 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
|
망멍밍 |
괴델의 불완전성 정리 보면 모든 체계 내에선 참이면서도 증명 불가능한 명제가 항상 존재하는데 컴퓨터는 당연히 체계를 따라서 작동되므로 못푸는 문제는 항상 존재함
|
30 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
|
플삼 |
"모든"문제를 "완벽하게" 푸는 머신은 없지만, "대부분"의 문제를 완벽하게 푸는 머신이나, 모든 문제를 "살짝 덜 완벽하게" 푸는 머신은 있을 수 있는것!
|
20 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
|
인벤망함요으흑 |
?뭔소리여 어 롤체 시작했다
|
10 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
|
하믄랑 |
실패를 증명하기 위해서 실패해야되는데 실패하면 증명할 것이 없으므로 증명이 안되는거랑 같은 말인건가?
|
20 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
하라아빠 |
사람을 컴퓨터로 보았을때 심장을 칼로 찔러서 죽는지 말로 확인해줄 수 있는 인간 이 있는가? 와 비슷한 문제임.. 남이라면 찔러서 죽은뒤 죽습니다. 말해줄수 있지만 본인의 경우엔 찔러서 죽은뒤 확인을 못해주니 본인 한정 불가능함. 단순한 얘긴데 너무 복잡하게 설명하네..
|
91 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
 가계정 |
핵심은 "모든 기계에 대해서" 가능한지니까. 말로 출력을 못해서 불가능하다기보단 자기모순이 생기므로 존재할 수 없다는 느낌?
|
100 |
추천
반대
신고
|
2022-01-12 |
||||||
|
탕탕소년단 |
그걸 “증명” 이라고 함
|
30 |
추천
반대
신고
|
2022-01-13 |
||||||
|
|||||||||||
|
하라아빠 |
이해가 쉽게 생명체에 빗댄거긴 한데... 그렇지만... 비유 수준도 아닌 직설적인 예시라. 복잡하게 다를것 까지도 없어요. 내용은 정말 이 얘기가 다에요 본문도
|
10 |
추천
반대
신고
|
2022-01-13 |
||||||
|
|
가계정 |
존재성에 대해서 귀류법 써서 증명하는구나
|
00 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
루시아47 |
'너무 많이 알았던 사람' 책에서 소개하는 증명법이 저거. 위키백과에 가보면 칸토어 대각정리를 활용해서 증명하는 방법도 소개되어 있음.
|
00 |
추천
반대
신고
|
2022-01-12 |
||||||
|
|
발암의아들 |
됐고 첫사랑 얘기나 해봐요
|
10 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
슬픈냥 |
역시 튜링...컴퓨터의 아버지...
|
00 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
루시아47 |
큿.. ALICE 쨩...
|
00 |
추천
반대
신고
|
2022-01-12 |
||||||
|
슬픈냥 |
헉 뭐야 당신...크피유저야...?
|
00 |
추천
반대
신고
|
2022-01-12 |
||||||
|
루시아47 |
힝잉잉 아니예요 저는 그런것 몰라요 결정가능성 문제나 처치-튜링 Thesis를 알 뿐이예요
|
00 |
추천
반대
신고
|
2022-01-12 |
||||||
|
슬픈냥 |
건방진 공돌이놈...감히 날 속이다니...체크무늬 남방 압수
|
10 |
추천
반대
신고
|
2022-01-12 |
||||||
|
루시아47 |
히이잉 정말 몰라. 수학교육과니까.
|
00 |
추천
반대
신고
|
2022-01-12 |
||||||
|
|||||||||||
|
육봉팔 |
컴퓨터 : 아버지, 날 보고 있다면 정답을 알려줘
|
10 |
추천
반대
신고
|
2022-01-12 |
||||||
|
|
난어머니의자부심이다 |
크 재밌다
|
00 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
|
메베 |
근데 결국 부정머신이 트롤링하는 거니까 굳이 저런 귀찮은 기계를 만들면 스스로 판별할 수 없는 경우도 있다는 거지 나름 제 역할을 하는 기계는 만들 수 있을 거 같은데
|
21 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
루시아47 |
그래서 나오는 결론 중에, '모든 문제를 만능으로 해결하는 건 꿈 깨시고', '주어진 문제에 맞게 매 순간 프로그램 작성에 최선을 다 하십시오.'
|
10 |
추천
반대
신고
|
2022-01-12 |
||||||
|
|
푸른하늘뭉게구름 |
값을 맞음/틀림 2개로 하니까 그렇지. 맞음/틀림/알수없음 3개로 하면 될듯. 모든 문제는 풀수 없겠지만 거의 모든 문제를 풀수 있을듯.
|
10 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
|
마시내 |
그렇게 하면 뭐등 다 풀 수 있음. 1+1는? 알수없음! 리만가설의 증명은? 알 수 없음! 수학에서 알 수 없음은 있으면 안되지 않아?. 그걸 증명해가는게 수학이자느~
|
40 |
추천
반대
신고
|
2022-01-12 |
||||||
|
|
마시내 |
20 초반때 유튭에서 본거당 싱기방기 https://youtu.be/92WHN-pAFCs
|
20 |
추천
반대
신고
답글
|
2022-01-12 |
||||||
상대방에 대한 배려는 네티켓의 기본입니다.게시물에 상관없는 답글이나 추천유도성 답글을 달지 마세요.
스포일러성 답글이 신고되거나 발견되면 이유불문 삭제 혹은 정학처리 됩니다. 유의 부탁 드립니다.
| ▲ 다음글 | 웃대인들에게 희소식 연애가능팁 | gackt001 |
947
0
21
55,627
|
2022-01-12 [14:15] |
| ▼ 이전글 | 어느 롯데리아 알바생근황 | 수홀2 |
1040
0
50
64,655
|
2022-01-12 [13:59] |
← CTRL+C 로 복사하고 CTRL+V 로 붙여넣으세요!
(주)웃긴대학재단 | 사업자등록번호 107-81-76979 | 서울시 송파구 충민로 66, 제와이-2123호 (문정동, 가든파이브라이프) | Fax 02-6280-9094
대표이사 이정민 | 개인정보 보호책임자 이정민 | 민원, 운영자메일, 관리안내 | 통신판매업신고 제 2010-서울강남-01011호
Since 1998.8.24, Copyright (c) 2026 humoruniv.com All right reserved.
대표이사 이정민 | 개인정보 보호책임자 이정민 | 민원, 운영자메일, 관리안내 | 통신판매업신고 제 2010-서울강남-01011호
Since 1998.8.24, Copyright (c) 2026 humoruniv.com All right reserved.