[대박] 튜링의 정지문제 개소리인거 밝혀냄
게시글 주소: https://orbi.kr/00075269925
예언자의 출력을 부정하는 기계의 출력을 예측하라
즉,
(예언자->부정자) 라는 기계의 출력을 내부의 예언자가 예언할수 있는가
즉,
(NOT 예언자의 출력)
예언자의 출력=A
(NOT A)의 값이 A와 같을수 있는가
즉,
(NOT A)=A
라는 개소리가 나옴
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
#04년생#05년생#07년생 인증O) 탈탈털린 짱르비 33 21
-
#공지#국어#독학생 9모 '두 출발' 떠 먹여드림 98 30
-
교수님. 4 1
진도가 너무 빨라요 2번 했는데 왜 피피티 30장까지 가나요?
-
지금 매일 공부를 하고잇긴한데... 뭔가 뭘해야할지모르겟고 너무불안해요..........
-
2026학년도 정시 전형 - 서울과학기술대, 한국기술교육대, 한국공학대 0 0
안녕하세요, 나무아카데미입니다. 2026학년도 대학입학(입시) 전형 일정을 잠깐...
-
연대 8 0
수학 비율이 많이 낮아진걸로 아는데 연대 인문 13211로 뚫을 수 있나요? 국어...
-
2026학년도 정시 전형 - 카이스트, 유니스트, 디지스트, 지스트 0 0
안녕하세요 나무아카데미입니다! 어느덧 수능이 두 달도 채 안 남은 가을이 왔습니다....
-
아 방금 쓴 글이 0 0
내가 이번 달에 생각해낸 최고의 어그로 소재였는데 정진해야겟군
-
스스로 생각하기에 그럼 솔직히 내가지금수1노베라 수학등급이저런건데 수2는 하나틀렸음...
-
형은 엄마가 낳아준 남편이다 3 2
저는 그렇게 생각치 않습니다
-
아 ㅁㅊ 작수 국어 쉽지 않은데 10 0
올해 9월보다도 어려운 거 같은데 1컷 92가 맞음?? 작년 표본 대체 무슨 일이...
-
확통 어떻게 하나요..? 4 0
요즘 자꾸 실모 보면 공통 다 맞고 확통 1~2개 틀리는데 아예 못 푸는 건 아니고...
-
현재 22살이며 군수중입니다. 의미가 있을까요.. 진로는 노무사입니다.
-
[무료] 대입논술연구소 간단 인문 논술 피드백 신청 1차 모집 0 0
* 간단 피드백은 주요 보완점만 안내드리며, 세부 문장 구조와 대학별 맞춤 첨삭은...
-
걍 버려야 되겠다 개어렵네 ㅅㅂ
-
급해요김승모 5678밖에없는데 1234어디로도망간건가요 4 1
대성에서 살라고 ㅂㅎ니까 파이널에 5678회차뿐이라서... 1234는 없는건가요??
-
물리 실모 추천좀 부탁드림다 0 0
특파1이랑 방인혁T 강k 풀었고 특파2는 5회차까지 풀었는데 뭐가 좋나요 요즘 물리실모
-
김박사넷 인터넷에 뜨길래 0 0
뭐지 싶어서 봤는데 왠 천재 망상 환자 있음 ㅋㅋㅋ 본문이랑 댓글 엄청 잼남 ㅋㅋ
-
해모 시즌4 0회 15번 질문 1 0
f(x) 미지수 잡는거 해설지에선 삼중근 함수로 잡고 넘겨서 풀던데 이렇게 잡으면...
-
ebs 연계 2 0
수특 수완에 수록 안 되어 있는 부분도 출제된 적 있나요 해야 될지 말아야 될지 모르겠네
-
나만너무못하넼ㅋㅋ 2 0
아ㅏㅏㅏㅏㅏㅏ잘하고싶다
-
개꿀 ㅋㅋㅋㅋ올해내내 메가패스 공유해주고 전에는 꾹어 서바 즌4 싹다 주더니...
-
실모만 보면 70점대를 못 벗어나는 이유가 뭘까요
-
올림픽 생윤 완강! 2 0
-
국어 1타 결정전 마감 D-2 0 1
https://orbi.kr/00075044854 많관부
-
제발 국수 불로 나와라 1 0
국수는 매워야 제맛..
-
수2다 무조건
-
평가원 #~#
-
국어85점이 전교10등대네 0 0
개꿀이긴함
-
10모 인증 못해서 울엇어 2 0
제발 날 현역으로 만들어조
-
-
2026학년도 정시 전형 - 충북대, 충남대, 강원대 0 0
안녕하세요 나무아카데미입니다! 어느덧 수능이 코앞으로 다가왔습니다. 2026학년도...
-
내년에 현우진 점유율 많이 떨어질 듯 23 7
중하~중상 학생들이 기존에 대부분 현우진 듣고 하 혹은 상은 자기 맞는 강사...
-
수학 백분위 십창났네 3 1
이런 ㅅㅂ
-
2026학년도 정시 전형 - 전북대, 전남대, 제주대 0 0
안녕하세요 나무아카데미입니다! 어느덧 수능이 코앞으로 다가왔습니다. 2026학년도...
-
2026학년도 정시 전형 - 부산대, 부경대, 경북대, 경상대 0 0
안녕하세요 나무아카데미입니다! 어느덧 수능이 코앞으로 다가왔습니다. 2026학년도...
-
솔직히 시험범위가 어떻든 간에 0 1
수능정도의 시험 수준도 높고 전국의 어지간한 애들 다 제압할 수 있는 수준 공부한...
-
ㄹㅇ 40일려나 ㄷ
-
점수가 어제 푼 국바 15호 85점 오늘 푼 이감 6-11 86점 나오고 또 틀린거...
-
이번 고1모고 수학 풀면서 쉬워서 컷 높겠다는 생각은 했는데 1 1
백분위가 이럴줄은 몰랐음 93점으로 98.5정도는 비빌수 있을것 같았는데
-
전남친 소식 어제 들었는데 10 1
부모님 두분다 의사였고, 전교회장에 돈 존나 많고 똑똑해서 자아 존나 비대했었음...
-
2026학년도 정시 전형 - 대구교대, 부산교대, 진주교대 0 0
안녕하세요 나무아카데미입니다! 어느덧 수능이 코앞으로 다가왔습니다. 2026학년도...
-
ㅇㅇ..
-
윤사 고인물 선생님들,, 불교 선지 여쭈어볼 게 있습미다 9 0
지눌이 말하는 선정, 지혜는 점수의 요체로, 돈오 즉 부처의 깨달음을 이미 얻은 후...
-
댓달아라 0 0
ㅇ차별하지마라
-
근데 생각해보면 실험쥐<이새끼는 치료약 존나많겠네 11 2
탈모도 치료되고 걍 모든 실험을 저걸로하니까 쥐 치료하는약만 존나많을듯
-
문과치고 양호하지않나 0 0
수1노베라그럼ㄹㅇ.
-
강대x 시즌3 등급컷 0 0
등급컷 알려주실수있나요 10,11,12회요 1컷만 알려주시면 됩니다
-
올해 수학 난이도는 어떨까요 2 0
작년이 6 9 사이였으니 올해도 9 < 수능 < 6 이려나요
-
이거좋은거에요? 2 0
-
수열의 귀납법 포기 0 0
22번에 나온거 실수 없이 절대 못푸는데 걍 포기할까요? 15번에 나와도 확신 불가능함
-
통계자료 링크좀… 0 0
10모 고3 부탁드려유
지피티가 님 쩔대요
notA!=A니까 가정이틀려서 A가 존재하지않는ㄴ거져
(NOT A)=A라는 구조자체가 말이안되는건데 그걸왜 A의 탓으로 돌림?
A가 예언자가 아니라 그냥 평범한 진리치를 가져도 말이안되는건데
not연산자체가 존재하는 대상한테만 쓸 수 있음
not은 이미존재하고 A는 존재하는지 안하는지 모르는데 not이랑 A만을 이용해서 notA=A를 논리적으로 만들 수 있고 이는 거짓이기때문에 A가 존재한다는 가정이틀렷음
조건1과 사칙연산을써서 1=0이라는 결론이나오면 사칙연산탓은아니니까 조건1탓임
A의 탓이 아니라 NOT A=A라는 구조의 문제임
A에 예언자가 아니라 나는 밥먹었다를 넣어도 모순임
그럼 나는 밥먹었다가 문제임?
나는 밥먹었다로는 논리적인 과정을 통해서 not A=A를 유도할 수 없음
근데 A는 A의 정의만으로 논리적인 과정을 통해 not A=A를 유도할 수 있음
A의 정의가 예언자의 출력맞음? 예언자의 출력으로부터 어떻게 not A=A를 논리적으로 유도함?
예언자가 정지할지안할지 알려주는거임? '임의의 기계가 정지할지 안할지 알려주는 알고리즘이 존재한다'로부터 모순을 유도할 수 있음
예언자가 있다고 가정하고 예언자의 출력에 부정자를 붙여서 그 부정자로 부터 나오는 출력이 예언자의 출력과 일치하지 않음을 밝힘으로서 예언자가 존재하지않는다는거아님?
무슨 논리적 도출과정이 있는게 아니라 그냥 예언자의 출력에 부정자를 붙이는게 다아님?
ㄴㄴ 부정자 붙이는게 끝아니라 exit( , ) 함수(정지하면 true 안정지하면 false를 뱉음) 를 정의한 다음에
function subroutine(s) {
if exit(s,s) == false
return true
else
loop forever
}
를 정이하고 exit(subroutine,subroutine)이 정지하는지 안하는지 생각해보면
정지=안정지
안정지=정지가 나옴
그러니까 애초에 exit함수같은건 없던거
근데 나는 밥먹는다로는 이런코드못짬
그게 (NOT A)=A아님?
그게 (NOT A)=A아님?
그걸 논리적으로 유도햇음 저 코드 보면 exit(subroutine,subroutine) 은 true일 수도없고 false일 수도없는데 참도 거짓도 아닌건 없으니까 모순임
(NOT A)=A라는 구조자체가 모순이잖음? A가 뭐가되든지 간에 말임
이건 "예언자의 존재로부터 연역적으로 (NOT A=A)가 도출되고 이것이 모순이니 전제인 예언자가 거짓이다"
라는게 님이 말하는거 같은데,
예언자는 그냥 예언자지 예언자의 존재자체가 필연적으로 저 (NOT A=A)라는 모순을 함의,도출하는게 아니라고 생각함