[대박] 튜링의 정지문제 개소리인거 밝혀냄
게시글 주소: https://dev.orbi.kr/00075269925
예언자의 출력을 부정하는 기계의 출력을 예측하라
즉,
(예언자->부정자) 라는 기계의 출력을 내부의 예언자가 예언할수 있는가
즉,
(NOT 예언자의 출력)
예언자의 출력=A
(NOT A)의 값이 A와 같을수 있는가
즉,
(NOT A)=A
라는 개소리가 나옴
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
07년생도 더프는 올렸는데 ㅉ
-
연대 입결은 ㄹㅇ로 3 0
의대-치대-약대-공대가 등차수열을 이룸 의대는 산출 방식이 달라서 모르겠고 연치는...
-
으아아아아 0 1
오답해야해
-
더프가 아직도 안올라온다고 10 2
말세다 말세
-
무휴학 반수 d-247 0 0
오늘은 넘 피곤해서 컷 ㅍㅠ
-
곧 올라나
-
이거 무슨 기출이에요 7 0
교재는 돈 주고 샀습니다 1년 전에..
-
갑자기 억울하네 1 2
내가 공부를 왜해야돼 라는 생각을 하기보다는 일단 펜을 잡아야겠죠..
-
집안사정이 내 공부에 발목 잡는 기분인데 이걸 최대한 신경 안쓰고 한해동안 수능...
-
Snumo 모의고사 공통 후기 7 2
1시간 잡고 모의고사 공통만 후기 남기려했는데 15,20,21,22를 못...
-
2611 칸트 1 0
풀면서 뭔가 1809 LP 상호 배타적 상태 공존처럼 이해를 막아놨는데 이해를...
-
우리학교수행이빡센편은아닌것같음 4 1
남고라그런가
-
누가 탈릅했나 1 1
팔로워 한명 줄은거같은데 기분탓인가
-
피곤타 0 0
피곤티
-
리바이벌을 안사고 0 0
과년도 서바를 풀면 되겠군
-
치맥 인증 14 5
후라이드 반마리 + 리뷰 케이준감자 + 2천원 쿠폰 = 11500원
-
오늘 수학문제 하나 풂 8 0
영수증에 풂..ㅡ
-
벌써 수행하는곳도있어? 4 0
우린 언급도 안했는데 국어 1주일에 한번 책읽기빼곤.
-
친구들 다 과제하느라 바쁘네 0 2
나도 이짓거리 올핸 끝내야지
-
비냄새를 2 0
맡고싶어요 후
-
휴학생의 1년만의 더프 후기(3덮) 12 0
3월 더프 국어(언매) : 89 수학(미적) : 88 영어: 93(1) 생1:...
-
최지욱 서프 최초풀 보고싶은데 4 1
ㅅㅂ 목에스들아 강기원이랑 바꾸자
-
시대수학 0 0
미적반은 강김장만 마감인거예요?다른쌤들은 그럼 수강신청 어케하는거지
-
국어가망해쪄 10 0
75점인데 보정4등급일거같아...
-
설맞이 엔제 0 0
오늘 수1 왓는데 수2는 언제오나요??세트로 샀어요
-
lim 날짜->20261119 1 2
공부량=0
-
언제 종강함 12 0
ㄹㅇ
-
고3입니다. 아직 언매 개념만 하고 기출 못끝내서 빠르게 풀 자신 없는데 3모에서...
-
중딩시험기간임? 5 1
스카에 중딩들 스멀스멀 기어오네 ㅆㅂ
-
진지함 지금 ㄹㅈㄷ 개망쳐서
-
박종민 현강 듣는사람 1 0
Qed 미리 안풀어가도되요..?
-
인스타 간택 달달함 0 1
뜰때마다 찾아보는데 맛있음
-
더프 한국사에서 19 2
비상계엄 나와서 놀라씀
-
강x 재탕 관련 + 서바재탕 3 0
이거 둘 다 재탕인가여??? 궁금해서 여쭤봅니다..! 그거 아니면 26학년도꺼...
-
아 진짜 나한테만 왜이런 일이 1 0
4월 둘째주 주말에 본가 내려갔다올 일이 생겼는데 하필 츠키 내한콘이랑 겹쳐서 예매 취소함 ㅅㅂ
-
요즘 군것질안하는 이유 4 1
편의점 가러 나가기가 귀찮음
-
열품타에 14 2
중딩이 많구나ㅏ 중3 대수선행러가 질문방 팠네
-
문신 인식 진짜 그렇게 별로임? 16 2
약간 이런느낌으로 조그맣게 이레즈미 하박 고민중인데인식이 너무 씹창일까봐 고민임
-
그러더라고~ 0 0
말투중독됨.. 그러더라고
-
컷은 그대로일거같은 예감이...
-
이번 덮 국어 문학 2틀에 화작 3틀인 미친년 등장 5 1
빠바밤
-
자 의적아 일을해라 1 1
아카이브!!
-
대치동이 그립구나 0 0
지금쯤 아수라장일 텐데
-
오르비 덮글에 3 1
더프모의고사 광고뜨네 ㅋ
-
이렇게 딱 박아놔야 동기부여가 되지 국어는 서프 더프 렐트리 스페셜 수학은 서프...
-
대학교 못가도 괜찮고 수능 망쳐도 괜찮음 다만, 부모님의 기대가 너무 높아서 문제임...
-
20살이 여자한테 인기많은곳 5 0
좀 나이대많은 클럽가셈 30대누나들이 먼저말검
-
컹컹컹컹컹컹!!!!!!!! (17점)
-
작수 화작 50 더프 63 1 0
진화한거냐 퇴보한거냐 유지냐화작에서 2개틀 비문학에서 시간 없어서 한 지문 재껴서...
-
올해 수능 만표 예상해준다 1 1
국어 언어와 매체 만점 표준점수 145 1등급 구분 원점수 86-88 2등급 구분...
지피티가 님 쩔대요
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)라는 모순을 함의,도출하는게 아니라고 생각함