[대박] 튜링의 정지문제 개소리인거 밝혀냄
게시글 주소: 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
-
고2자퇴 6 0
지금 자퇴해도 괜찮을까요? 검고 합불 발표 시기랑 수능 응시 시간이 맞겠죠..?...
-
식센모 너무 어려움..ㅠ 2 0
69모는 둘다 1이었는데 식센모는 항상 30점대 초반인… 시간이 너무 부족하다..
-
과제하기싫어요 3 2
-
멘탈갈린다… 1 0
국어 사설 의미없단걸 알지만.. 오늘 아침 이감 6-11 78점뜬건 타격이 너무크다…
-
핏이 ㄷㄷ
-
국문법 개론서가 밉다 1 0
https://orbi.kr/00075270741 시급한 정상화가 필요 아 그나저나...
-
오르비 키고 1 0
자라
-
ㅈㄱㄴ
-
댓글 선착순 1명 10000덕 4 0
나 줘
-
선착1 1 0
오덕후
-
김0한 파이널 ㄹㅇ 퀄 미쳤네 1 0
공통만 봤는데 난이도 딱 너무 안가고 좋은듯 물론 전 수학을 못해서 22못 풀었습니다 ㅠㅠ
-
내 적생모 ㅅㅂㅅㅂㅅㅂ
-
여기잘생간사람왜케많냐 8 1
짜증나네 사귀어줄것도ㅗ아니면서
-
전산망 복구율 82.4%…권익위 국민신문고 등 정상화(종합2보) 1 0
[세종=뉴시스]성소의 기자 = 국가정보자원관리원(국정자원) 대전 본원 화재로 장애가...
-
탈릅이 유행인가 2 0
많이들 가셨네
-
경남교육청, SNS에 '골반통신 밈' 홍보물 올렸다 삭제 5 2
▲ 경남교육청이 인스타그램에 올린 홍보물로, 부적절하다는 지적을 받고 있다. 해당...
-
선착순 1명 5000덕 10 0
ㄱ
-
여러분들 수능대박
-
ㅇㅈ 4 0
저는바보에요
-
무휴반수생 수능전 마지막 학교 0 0
..
-
으흐흐흐.. 2 0
드디어 끝났다 우하하하하하ㅏ하핳
-
-
행복한 상상을 했음 1 0
월즈 우승 쵸비를
-
4등급기준 하루에 8시간정도 걸린다는데 이거 해봐야하나,, 국영탐도 많이 부족한데
-
곧 투데이 2만이네 5 0
아직 옯뉴비임
-
왜 투데이 2만까지 3 0
200쯤 남앗지
-
투데이 벌써 10만이네 5 0
ㄹㅇ
-
아 연논 발표좀 수능전에햐주면안되나???????? 1 0
붙으면 책 다버리고 떨어지면 마음잡고..
-
선착순) 예쁜사람만. 35 1
우웅
-
n덕? 이게 뭐임? 8 0
가질사람?
-
읍읍
-
선착순 1명 14 1
나한테 1000덕 주기
-
러셀재종 러셀독재?차이점 0 0
뭔 차이인가요. 따로 사이트가 있는거같진않은데 러셀독재라는 학원이 따로 잇나요?
-
오 집게리아 오 집게리아 0 0
내 사랑 집게리아
-
현역 고3입니다 수능 앞두고 국어가 너무 고민인데 공부 남은 기간 어떻게 해야할지가...
-
영어랑 국어 성적은 7 0
대체로 비례하는 것 같음
-
지금 수학 n제 0 0
푸는건좀 그런가?
-
독재학원 2주간 안갔어요 ㅠ 3 0
슬럼프가 와 공부가 너무 하기가 싫어서 2~3주정도 독재학원에 아예 안갔어요.....
-
흠 10 0
흠이다 흠
-
강민철모 언매 질문.. 7 0
원래 현대풀이 조사로 조사파악하면 다 맞던데 이건 답지를 봐도 뭔소린지 모르겠어요…...
-
사람 한명 살린다 생각하고...... 제발....ㅠㅠㅠ 설레임 샤인미 이로운 설맞이 5 0
설레임 샤인미 이로운 설맞이 이 중에서 2등급한테 괜찮은 실모 2개만 추천해주세요...
-
대성패스 1 0
이놈들 작년에는 이맘때 사면 1년 내내 배송무료드만 치사하게 이번에는 반년만 해주는거 보게나
-
수능 2주전 국어 기출vs실모 2 0
실모 김승모 4개랑 혜윰 시즌3 잇는데… 사실 김승모 이제 하나 풀엇긴해요 걍 혜윰...
-
선착순 10명 5만덕 13 0
사실 없어서 못줌
-
롤스 정의론 9 0
롤스가 천부적 능력을 이용하여 더 큰 자산을 누리는것을 허용하지않았나요? 왜 자격이 없다고하는거죠?
-
잠이 오는 약 11 0
그것은 감기약 졸음이쏟아진다아아아
-
일본어로 우리나라 칸코쿠라하네 4 0
키타조센이라는 말 있길래 당연히 미나미조센일줄
-
진지하게 천수석일 것 같긴 함 5 0
-
외쳐 0 0
심멘
-
고전소설 연계는 천수석입니다 4 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)라는 모순을 함의,도출하는게 아니라고 생각함