모든 문제를 풀 수 있는 컴퓨터는 존재할까?.manwha

[무선혜드셋(dpk58172)]

[익명(119.64)]

재밌어요

[초생달(asdfg0319)]

ㅈㄴ 오랜만에 보네

[그느늘(gununel)]

오

[익명(59.29)]

어려엉

[익명(110.76)]

지식이 늘었다

[해디♥(goelqhwl)]

[카일게릭(activisionblizzard)]

네웹에 그 정보만화는 더 안 그리심?

[아라사(makano)]

접으심ㅇㅇ

[익명(136.60)]

집합론과 논리학의 근간을 뿌리채 흔들어버린 러셀의 역설의 다른 버전

[익명(119.149)]

형 연재 다시 시작해줘

[익명(211.55)]

논리 자체는 네가 내일 죽을 것인지 안 죽을 것인지 맞혀 봐라 하는 역설 문제랑 똑같은데 저걸 자기만의 논리로 증명을 한 게 대단하네. 이런 만화 좋아요 잘 보고 갑니다

[익명(220.74)]

와 킹선갓드셋! - dc App

[익명(118.217)]

이거 유튭에서 영상버전으로 본거같은데

[익명(183.106)]

나도 ㅋㅋㅋㅋㅋ

[익명(susan75)]

https://youtu.be/92WHN-pAFCs

[익명(211.206)]

컴퓨터엔 소신이 없다..

[익명(219.255)]

halting problem: 수업 자체는 전산 3~4학년에 듣는데 증명 자체는 중학생도 이해할 정도로 깔끔하고 간단해서 좋아하는 문제였늠 - dc App

[익명(114.205)]

전산이면 ㅋㅇ냐?

[익명(219.255)]

지잡인데 괜히 전산이라고 하면 사람들이 카이라고 착각해서 기분 좋아져 - dc App

[익명(121.183)]

ㅋㅋㅋㅋㅋ

[거인의아버지(cuteguilty)]

와...

[익명(118.46)]

괴델관련 찾아볼때 나온 문젠데 복습 제대로하고갑니다 ㅎㅎ

[하일리언(kjoon316)]

논리 문제네 잼다 - dc App

[익명(39.124)]

와

[익명(106.101)]

왜 부정 기계에서 빨간색 없으면 고장나게 함? 그냥 빨간색 없으면 빨간색 없다고 출력하면 안됨? 이 부분이 어렵노 ㅅㅂ - dc App

[익명(223.38)]

고장난다 = 빨간색을 출력한다

[익명(223.38)]

부정기계라 빨간색 입력이 있으면 빨간색이 없다(웃는얼굴)로 출력되고 빨간색 입력이 없으면 빨간색으로 출력되는거

[익명(106.101)]

아 ㅇㅋ 이 부분은 이해했음 근데 부정 판별 기계에서 마지막 부정기계가 들어간 이유가 있음? 그냥 정지판별기계에 정지판별기계 설계도 넣는다면 무슨 문제가 발생하는거임?? - dc App

[익명(106.101)]

찾아보니깐 무한루프 발생하므로 제대로 계산할 수 없는 기계다 라고 나오는데 이게 맞음?? - dc App

[익명(223.62)]

맞다고 보면 될듯

[익명(73.37)]

일부러 만들 수 없는 기계도 있다는걸 증명하려고 만든 기계잖아.

[익명(49.174)]

뻗->빨화->합체기계논리 뻗x, 근데 빨화니 뻗어야함(모순) 뻗x->빨화x->합체기계논리 뻗,근데 빨화가 아니니 뻗지않아야함(모순)

[익명(180.67)]

49.174야 내가 궁금해서 그런데 그냥 귀에 걸면 귀걸이, 코에 걸면 코걸이 그런 소리 아니야?? 단순히 이론을 만든 애가 수박은 과일이다! 그러면 과일이 되는 거마냥..

[익명(223.38)]

주워들은거라 잘모르는데 불완정성의 정리 같은건가? 어떤 시스템으로는 그 시스템 스스로의 옳고 그름은 증명할수 없다 이런내용이었는데

[무적(agnig1214)]

[익명(223.38)]

마음 속의 좆문가가 아 아닌거 같은데? 하다가 튜링이 증명했단거 보고 아ㅋㅋㅋ아닌갑네 하고 납득함

[익명(14.46)]

ㅋㅋㄹㅇ

[익명(223.62)]

내가 쓰려던 그 문장이 완벽히 똑같이 여기 떨어져 있네 주워다 쓰자

[냄새싫어(nemsesil)]

[히라에몽(lsh0528)]

[익명(118.235)]

신이 전지전능하면 선악과 먹을줄 알면서도 만들어놓은 씹새끼고 선악과 먹을줄 몰랐으면 전지전능이라고 구라치는 씹새끼니까 결국 성경에서 말하는 신은 허구다 라는것과 비슷한 논리네 - dc App

[익명(223.39)]

지구의 유일한 구원... 좆간의 안락사

[익명(73.37)]

신이 씹새끼면 안될 이유가 없다

[익명(114.207)]

신이 그런 씹새끼라면 섬길 이유도 없지

[익명(110.92)]

그냥 인간을 애완동물마냥 반응보려고 만들었거나 아니면 그냥 전지전능하지 않거나 둘 중 하나임

[익명(175.213)]

[익명(39.7)]

42입니다

[익명(1.243)]

애널 튜닝 선생님...

[앰생중머(centraluniv)]

재미있네

[매일라디오(asdf111111111)]

[익명(114.205)]

고양이만화나 내놓으라고

[소다팝핀스키(sodapopinski)]

오토마타 이론 추 - dc App

[익명(210.223)]

튜링게이 능지 좆되노 ㄷㄷ

[익명(220.116)]

이발사 오류랑 같은거냐

[익명(223.62)]

선생님 드노트카와 고양이가 우주체스두는만화도 빨강이 떠서 뻗었나요?

[데레그랄(integraling)]

마지막에 낫게이트 왜넣운구지

[익명(tmdgns8399)]

근데 정지판별기계가 개쩌는 AI를 가져서 뻗는다고 예상했지만 정상작동하는 모습을 출력할 수도 있는거 아님? 사람이 예와 아니요를 무조건 거꾸로 말하는 질병에 걸렸어도 그냥 본심과 거꾸로 말하면 정답이 되는거처럼 - dc App

[익명(112.161)]

작동할지 안할지조차 맞추는게 불가능함. 본심이랑 다르게 말해서 틀린다(X) 애시당초 정답이 없는 문제라 맞히려고 노력하는게 바보짓이다 (O)

[라면이조아요(ramenizoayo)]

와우 졸라 어렵고 신기하네요

[익명(211.58)]

https://www.youtube.com/watch?v=92WHN-pAFCs&feature=emb_logo&ab_channel=udiprod

[익명(211.58)]

이건 님들이 어려워하는거 답
https://www.udiprod.com/halting-problem/#faq

[익명(118.235)]

터번쟁이한테 저격당하고 탈갤한줄

[익명(1.224)]

모든 섬 사람은 거짓말쟁이다 그거 생각나네

[익명(223.39)]

님 왤케 만화 안그림... 인스타는 왜 안올림... 우주체스 왜 찍쌈... 왜 그리는것마다 찍쌈... 근데 왜 또 존나 재밌음... 죽이고싶음... 아니 죽이면 만화 못싸니까 2평집에 삼시세끼 제공하면서 그림 제대로 안그리면 온도 올려서 익히다가 만화 그리면 쾌적하게 해주며 살게 하고 싶음... - dc App

[生g(crayonjerry)]

[ㄴㅇㅁㄹ(36.39)]

궁금한거 생겼어요 1번 가정에서 뻗는다고 판단한 건 설계도에 설계도를 넣은 경우잖아요? 그런데 이게 판단 기계 결과랑 무슨 상관인지 잘 모르겠어요

[익명(73.37)]

판별기계 왼쪽엔 어떤 기계의 설계도를, 오른쪽엔 그 기계에 넣을 입력값을 넣어서, 오른쪽 입력값을 왼쪽 설계도로 만든 기계에 넣었을때 제대로 작동하는지 아닌지를 밝혀주는거잖아. 근데 저기 넣은 설계도는 합체 기계의 설계도임. 즉, 판별 기계에 합체 기계의 설계도 2장을 넣었을 경우 판별 기계가 1) 뻗을까? 2) 안뻗을까? 2가지 경우를 모두 시뮬레이션 해 본 건데, 2가지 경우 모두 다 모순됨

[Abysse(rhrjs5786)]

이런거 자주 올려줘요 너무 재밌어요 만신추

[익명(223.62)]

이해안됨 왜 합체기계가 불능이라고 정지기계도 불능임? 정지기계만 쓰면 되잖어

[익명(223.39)]

https://m.dcinside.com/board/dcbest/58295

[크아아아아악(go2913)]

재밌어요

[익명(61.80)]

오히려 이런 만화가 더 이해잘안됨 그냥 이산수학이나 알고리즘 책으로 봐라 그게 더 이해잘될거임

[익명(1.251)]

지식이 늘었다

[익명(221.145)]

덕분에 쉽게 이해했다 ㄱㅅ

[익명(175.223)]

괴델의 불완전성 정리 2번째 부분이란 일맥상통하네

[익명(nxsvusmeqdp8)]

222머신이랑 부정머신때문에 더 복잡해진거같음.. 글로 쓸땐 완성형 합체기계를 더 쉽게 설명할려고 있던 개념이겠지만 만화로 하니까 사족인거같애

[익명(1.242)]

오히려 ㅈㄴ쉬워진거임

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[익명(gcn010203)]

결론적으로 모든걸 계산할 수 있는 기계는 만들 수 없다는 거니까 결론은 그대로노

[[№](ja34ng95)]

어......어........

[익명(116.34)]

그냥 부정기계가 씹억지네

[익명(223.39)]

https://m.dcinside.com/board/dcbest/58295

[익명(1.242)]

이런류의 역설들은 항상 자기자신을 포함할때 문제가 되는듯 러셀의 역설처럽

[카갤러 1(121.132)]

아니 분명 정치문제였는데