[대박] 튜링의 정지문제 개소리인거 밝혀냄
게시글 주소: https://orbi.kr/00075269925
예언자의 출력을 부정하는 기계의 출력을 예측하라
즉,
(예언자->부정자) 라는 기계의 출력을 내부의 예언자가 예언할수 있는가
즉,
(NOT 예언자의 출력)
예언자의 출력=A
(NOT A)의 값이 A와 같을수 있는가
즉,
(NOT A)=A
라는 개소리가 나옴
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
텔그 입결표 언제 나와요?
-
-
올해 한양대 인기 꼴아박을듯 0 0
작년 정시 조지는거 보면 쫄려서 못씀ㄹㅇ
-
노베이스 입문 국치독 15강: 7h 34m 인셉션 독해 13강: 독서 10강: 문학...
-
뭐야 6평 신청 목요일까지였네 0 0
할까
-
본인 최애곡 0 0
You and I-박봄
-
까마귀 날자 배떨어진다 2 0
까마귀 날자 배떨어진다 이 명제는 참임 왜냐하면 까마귀가 날아간것도 참이고 배가...
-
마라톤 자원봉사 좆됐네 16 2
어린이마라톤 자원봉사인데 치어리딩 vs. 음악에 맞춰 아이들이랑 같이 춤추기 이런 시발
-
얼마 받을거 같음
-
국영수 깨달음을 얻고 있음 2 1
아마도
-
평가원에서는 국수 1등급 잘 나오는데 사설만 풀었다하면 국어 80점대 수학 70점대...
-
관정 오르비 꺼라 1 0
네
-
기본 커리 RNP 비문학 32강: 20h 56m2027 브레인크래커 CC독서...
-
올해 화1 vs 화2 1 0
머가 더 괜찮아보이나요
-
젠지 ㅅㅂ 3 0
듀로한테 짬때리는거 볼때마다 가슴이 미어터지노
-
개꿀이면 많이들 했겠지 개꿀이라는거 선전이니 속지말고 미적 ㄱ
-
올해 시반공 입결 어케 되려나 0 0
애초에 원서 시즌에 무슨 일이 일어날지부터 두렵다 작년에도 추합 ㄹㅇ 안 돌던데
-
중간 ㅈ됐노 2 1
1학년인데 아.
-
과제 생각 안 하니까 행복하네 1 1
크아악 이제 생각해 버림
-
생각도구 응용 0 0
생각도구란? 1. 관계된 것 관계된 것 찾기 2. 다른 관계 관계된 것이 이루는...
-
더워용 0 0
날씨 갑자기 여름;; 햇빛미쳑는데
-
그런건 없어.
-
이번 27 수분감으로만 기출분석을 해도 충분한 양인지 궁금합니다 물론 수분감 회독을...
-
기하시발점 0 0
이제 개념은 반쯤왓음 ㄹㅇ 기하만 하고 수2유기.....
-
지2 만점자가 직접 출제한 실모 '유아독존 4월 월례고사' 배포 공지 0 0
https://cafe.naver.com/suhui/29512279 수만휘도...
-
약대생 질받 2 0
현재 1학년인데 시험공부하기 싫어요 질문 ㄱㄱ
-
권라떼 호감이면 좋아요 3 4
-
독서 비독원 14강: 19h 13m비독원 어드밴스드 ?강: 비원실 ?강: 비실독...
-
[종교학] - 서울대 인문대 전공과외 찾습니다. 0 0
안녕하세요. 서울대 인문대 - [종교학] 전공과외 찾습니다. 1.과외목적: 서울대...
-
어려운 n제 추천 부탁드려요! 0 0
이해원 s1 끝났는데 s2말고 다른 어려운 n제 있을까요? n제 아니더라도 컨텐츠...
-
미적분 27번 자작문제 0 1
-
-
와 좆됐다 ㅋㅋ 3 0
개발점 확통 완강하고 수분감 step1 푸는데 반타작이네 ㅋㅋ 어떡하지 ㅅㅂ
-
일단 그게 나야
-
All Of KICE(올오카) 오리진 14강: 12h 40m프레데터 독서 32강:...
-
엉 3 0
덩이
-
이번주.. 하.. 틈틈이 계속 공부에 손을 대긴 했으나, 굉장히 마음에 들지 않는...
-
진짜 학점 개박을거같다 0 0
무조건 탈출해야지
-
Tim 교재없이 0 0
수강해도 별 차이 앖나요? 특별한게 더 나와있지는 않죠? 김승리 국어 t1m 대성
-
08현역 모고 2 0
걍 전과목 2~3등급 나오는 현역인데 더프 서프 이런거 사서 푸는거 현장감을...
-
가가체점표 3 1
수능 치면 시험지 못 들고 나와서 가체점표 적잖아요 그럼 가체점표는 시험칠때...
-
20대들 사이에서 일본음악 인기많은 이유가 뭐라고생각하심? 5 0
ㅈㄴ좋아서?
-
미평 0 1
-
아파 6 0
계단에서 넘어졌음…. 최대한 안아프게 넘어질려고 하긴 했는데 팔이랑 손이 조금 아프다
-
미적하는데 성취감이 없음 5 1
미적분 하고있고 88점~92점 뜨는데 의대목표라 못해도 96은 떠야하는데 그냥...
-
08 현역 자퇴생이고 현재 대치비상에듀 재종학원이랑 국어 수학 지구 단과 3개 따로...
-
ㅇㅂㄱ 7 0
-
이원준 선생님 강의를 한 번 들어보려고 알아보고 있습니다. 저는 커리큘럼이...
-
중간 끝나고 체육대회인데 0 0
반티 마킹이랑 번호 좀 재치있는거로 추천해주시면 감사하겠습니다!
-
대전 시대인재 부엉이라이브러리 0 0
다녀보신/다니시는분 있으신가요? 몇가지 궁금한 게 있어서요
지피티가 님 쩔대요
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)라는 모순을 함의,도출하는게 아니라고 생각함