[대박] 튜링의 정지문제 개소리인거 밝혀냄
게시글 주소: 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
-
살면서 수학 실모 풀면서 0 0
8번 11번 2개를 의문사 당한건 처음이네
-
백분위 이정도면 어디라인돼요? 2 0
국어 92 수학 94 영어2 탐구 둘다 98
-
과탐 집모는 ㄱㅊ은데 2 0
현장에서 뇌 굳는 거 어캄.. 순수피지컬 올리는 것밖에 없나
-
그게 맛없나
-
지구황들아 0 0
이젠 몰라서 틀리는거보다 귀신 씌인듯이 이상한 판단해서 틀리는게 더 많은데...
-
가짜 배고픔 구별 방법 3 1
꼭 브로콜리가 아니여도 된다고 하네요 자기가 제일 싫어하는 음식이라도 먹을 수...
-
내가 항상 학생들에게 하는 말이 있음 니가 미적분 내용을 몰라서 미적분을 못푸는게...
-
ㅈ반고 대결 0 1
내 지인 10모 지구 3등급 전교 1등 지구응시인원이 80명인디
-
↑저 글 작성자 수능 만점자 0 0
흐흐
-
노베이스 쌍지선택괜찮을까요 1 1
노베이스라 국영수도 벅차서 일단 암기를 잘 해놓으면 틀일 일이 잘 없을거란 마인드로...
-
사설 등급 상관 없는 이유 2 2
11덮 6 떴는데 수능은 1 떴었음
-
요즘 신규 여돌 다 좋노 0 0
베몬 하투하 등등
-
오르비 특정되면 어쩌죠 1 0
-
ㅈ반고 고2 10모 ㅇㅈ 2 0
국어가 아쉬운
-
음식이 먹고 싶을 때 참는 법은 음식을 먹지 않는 것입니다.
-
넌 또 뭐세요 ? 0 0
어제 오늘 어렵네 ….
-
연대 어문 가려면 0 2
영탐탐 1컷이고 국어 백분위 97~98쯤 되면 수학은 백분위 몇은 나와야 안정권인가요
-
ㅌ 2 0
ㅇ
-
내성발톱어덯게해결해요 5 1
제벌오 엄지 ㅈㄴ아파시발 ㅜ제때깍을걸
-
-
흠,,, 나 삼수대비해야되는데
-
. 5 2
-
10모 8 0
재수 확정이면 개추
-
10모… 6 0
나도 작년 10모 성적이 수능이었으면 여기안있지..
-
저녁 뭐먹지 12 3
-
ㅋ
-
ㅈ됨 공부 너무 많이 해서 손목 터널 증후군 왔음 0 0
근데 왜 왼손에 왔지? 오른손으로 공부하는데
-
특정오르비언 계속 주시하는데 너무 재밌음..
-
ㅤㅤㅤㅤ↑ 수능까지 남은 날짜 0 0
으흐흐ㅤ
-
10덮 0 0
보정 언확정사 12111 대학 어디 갈 수 있나요.. 설대는 못 가겠죠? ㅜㅜ확통 원점수 80인데
-
주술회전 공부법실행중 0 0
1회전 2회전 3회전 4회전 5회전 6회전 무하한 공부법
-
통통이들 안되겠다 물공통 패치 0 0
불공통 물미적 제발요 ㅠㅠ
-
개천박한 말은 가끔 하겠습니다 감사합니다
-
그거 안주면 중등기하만으로 다 풀릴 수 있어서 그런듯 물론 중등기하로 유도해낼 수 있지만
-
휴 0 0
쌓여있던 국어실모가 점점 없어지는구만
-
한우 등심.. 오골계.. 맛있겠다
-
어그로 끄는 거 너무재밋음 2 1
이 맛에 커뮤니티 하지
-
저메추 15 1
안 받음 고추장제육에 김치사발면
-
대전 숙소 2 0
서프보러 내려가서 하루 잘건데 추천좀요
-
-
메가스터디 정오표 0 0
어디서 봄??? 하씨.. 수강평 답글보고 개같이 찾았는데 못 찾음 정오표 정도는 좀...
-
아 xxx스마렵다 8 0
같은 천박한 말 대신 '아 테트리스마렵다'라고 하기로 해요 우리
-
진짜 영어 끝나면 머릿속에 "그냥 집가고 싶다"는 거로 도배가 됨 ㅋㅋㅋㅋㅋ
-
우우 지능낮아서우럿서 2 0
지능이 낮으면 외모라도 우월해야 되는데 아
-
나만 10덮 독서 어렵고 영어 어법 빈칸 어려웠음?
-
영어해석이 잘안되는데 0 0
쉬운거빼고 해석이 안댐 글이 튕기는 느낌? 집중하면서해도 전제적인 주제가 안잡혀서...
-
설맞이 시즌2 1회 97점!! 8 1
18번 계산실수빼고다맞아서웃엇어
-
오늘 학교에서 한 공부 1 1
이감 5-5 간쓸개 5-2 독서 풀고 분석 상상 화작 n제 3회분 이제 할 것 이감...
-
더프 사문 그정도임? 1 0
1컷 무보 50에 보정 47인데 그렇게 쉬웠나
-
강민철모고 복습 0 1
1회차 독서(단어를 먹고 이해하며 가기) -주제통합형지문 복습 -2606과학지문...
지피티가 님 쩔대요
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)라는 모순을 함의,도출하는게 아니라고 생각함