[대박] 튜링의 정지문제 개소리인거 밝혀냄
게시글 주소: https://orbi.kr/00075269925
예언자의 출력을 부정하는 기계의 출력을 예측하라
즉,
(예언자->부정자) 라는 기계의 출력을 내부의 예언자가 예언할수 있는가
즉,
(NOT 예언자의 출력)
예언자의 출력=A
(NOT A)의 값이 A와 같을수 있는가
즉,
(NOT A)=A
라는 개소리가 나옴
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
#국어#추천#공지 국어 1타 결정전 결과 발표 54 52
-
대학 가면 2시간 거리 갈거갘은데 OT 새터 보통 늦게 끝나지 않나여? 기차 끊겨서...
-
대학가고 싶다 1 1
가서 축구도 하고 야구도 하고 흐흐흐ㅡㅎ
-
아니 우리학교 자체 실모 ㅆㅂ 7 4
영어 심경이나편지보낸의도?이런건0문제내고 빈칸삽입8문제 순서6문제 ㅇㅈㄹ로냄씨발...
-
사문vs한지 뭐해야할까요 1 0
하나는 생윤낄거에요 작년에 사문해봤는데 너무 안맞았던기억이 있어서요 안맞기보다는...
-
자작? 1 0
자작이라고 하긴 좀 그런 게 고2 30번을 고1수학으로 바꿔놓은 거라 마지막에 실근...
-
아파트입구 차단기에 머리 박아봄? 16 2
방금 경험햇음
-
빈칸고자 빈칸 결과 0 1
38/59 64.4%
-
할거없어서 등산하고있는데 5 0
10분만에 죽을거같음
-
엄청난 BM 생각해냄 11 0
수학 실모 2,3점은 공짜로 뿌리는 거임 대신에 예를 들면 500원으로 서바이벌...
-
난 그렇게 믿어
-
포스텍 무학과 vs 지방 약대 vs 연대 신소재 7 0
지방약대 근처에서 삶 그런데 난 내가 살던 곳을 벗어나고 싶음.. 그리고 연대공대도...
-
작년 핵빵 난 곳들은.. 5 0
쓰면 안 되겠지..? ㅅ부ㅠㅠㅠ 넣을곳이 그런곳밖에 없는데 쓰발!! 하필 핵빵들이야;
-
쓸 거 같은데 왠만하면 붙?
-
적당한 수학 실모 가격 2 0
"담배 한갑"
-
크리스마스 재시 안 걸렸다 6 0
캬캬캬캬캬캬
-
수능 그만 할게요 2 2
나 이거.. 나 울 줄 알았는데 눈물이 안나네. 뭐 내가 그만 하는 이유는 저는...
-
마이너스 통장 카드 왔다 31 2
딱 대 ㅋㅋ
-
국어가 98 99 이런데 수학이 69 71 68 이럼 ㅋㅋㅋ
-
노래들으면서 오르비 프사보면 1 0
박자에 맞춰서 프사 춤추는거같음
-
낙지 표본 유입 0 0
지금부터 해서 원서 접수 때까지 새로 유입되는 표본은 보통 합격 가능성이 있는...
-
적당한 수학실모의 가격 5 1
1티어 수학실모 기준 회당 얼마정도가 적당하다고 생각하시나요? 여러분들의 생각이 궁금합니다.
-
국어 강사 특징 알려줘 0 0
국어 아예 모르는 5,6등급 왔다 갔다 하는 노베인데 심찬우, 강민철,김동욱,유대종...
-
국어재능충이 되고싶군아 3 0
작업기억이 평범해서 지문 정보량이 터지거나 어려워지면 앞 내용을 까먹네요
-
일어일문 0 0
일어일문 가는데 일본어 하나도 모르면 입학 전에 학원이라도 다녀야 할까용
-
영화관에 데려다 주긴 하는데 표는 자비구매하라는 학교 3 2
현장체험학습을 이런 식으로 운영하는 학교들은 #~#
-
일어일문 0 0
일어일문 가는데 일본어 하나도 모르면 입학 전에 학원이라도 다녀야 할까용???
-
부산대입학키트 왜 인형안줌? 0 0
개꼴받네
-
귀차너 4 0
지원서 하루컷 가능할까
-
행복한 3월 컨설팅 어때요? 2 0
아빠가 예약했다는데 굳이 받아야하나 싶은데 돈값은 할라나
-
경희 어문 vs 외대 영교 5 0
외대 영어교육과 vs 경희대 어문계열 둘이 입결이 비슷하더라구용 영교가 좀 더...
-
뭐가 더 어렵나요? 이 둘중에 1 0
ㅈㄱㄴ
-
한약대>약대 9 3
약사는 전문약 일반약 2개밖에 못다루고 6년 뺑이쳐야함 한약사는 전문약 일반약 한약...
-
의대생들은 군대 언제 가나요? 6 0
보통 예과 다 끝내고 가나요? 의대생이면 의무병으로 갈 확률은 높은가요?
-
사문 생윤 한지 셋중에 택2하는게 나으려나요
-
오 2 1
홍대도 합격함
-
ㅇㅇ 딱정했다
-
아빠도 이제 한계다. 그냥 나가 살아라 유전자 탓 사회탓 환경 탓하지 마라. 아빠도...
-
나는 발표를 잘해~~~
-
수2문제좀풀어주세요(급함) 0 0
-
현강 고민 0 0
러셀에서 미적 현강 들으려고 했는데 일단 러셀 강남에서 최석호 선생님 미적 결제...
-
후기:ㅈㄴ사설틱
-
가천대간호vs인하대간호 0 0
어디감
-
김종익 조교 면접보신 분 1 0
어떤 질문 하셨나요? 저도 방금 보고 왔는대 딱히 압박은 아니었습니다.
-
내 몸 왜이런지 아는사람 10 1
11월3일 독감걸리고 지금까지 기침이 지속중 기침이 ㅈㄴ심해 근데 수요일밤에...
-
좆됨
-
드릴 vs 하사십 2 0
여러분이면 뭐 고르나요
-
성대 물변이 안나온다면 14 0
강제로 가군경희대를 써야하는
-
반수하면 오를까요? 3 0
물론 아쉬움은 남지만 건강때문에 반수할생각은 없는데 좀 궁금함 국어를 유난히...
-
외대 수시 9 0
우수 입학 국수영탐(평균) 합 6 이거는 최초합격자만 해당하나요? 추가합격자는 못받나요?
-
#~# 사람 #~# 많네 2 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)라는 모순을 함의,도출하는게 아니라고 생각함