[대박] 튜링의 정지문제 개소리인거 밝혀냄
게시글 주소: 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
-
2026 수능 대비 지구과학1 모의평가 배포(자작) 1 4
이전의 문항들에서 오류가 발견되어 오류를 수정한 뒤 다시 재배포합니다. 난이도:...
-
짝남이 정말 귀엽네 4 0
수능 끝나고 적백 탐구 50 50 가채점표 휘날리며 짝남을 안아주고 싶구나
-
한석원은 했다던데 누가 불가능하대서
-
10모 지2 1컷43이네 1 0
38이라며 ebsi야
-
정법 마무리 3 0
다들 어떻게 하시나요? 마더텅 검은책 싹 다시풀면서 점검중인데
-
???: 수도를 옮겨야 한다 0 1
https://youtube.com/shorts/XF8vV8i8bZ4?si=KBRko...
-
안녕하세요 동글동글 알감자입니다 !!! 뻘글을 기대하셨다면 경기도 오산이구요 오늘은...
-
재수생 수험표 질문 6 0
수험표는 어케 받는 거임뇨?
-
쉬우면 집중이 진짜 존나 안됨 한 20번까지는 집중하다가 나머지는 걍 무의식으로 풀게됨
-
전국서바 16회 4 0
84 13 14 28 30 13번에서 썰림
-
나만 논리로 하다가 맨날 시간없어서 못푼거시야..
-
고지자기 복각 구하는 거 9 0
어떨 때는 생성당시 기준일고 언제는 현재 기준이던데 왜 그런 건가요? 열점에서...
-
여자로태어날걸 1 1
슬프네
-
경제 감 돌아오는중 1 1
올해는 50점 맞아보자꾸나
-
지금이상태로수능보면좆되겠군 2 1
뭔가조치가필요해
-
15 21 22틀 88점이에요 알려준 사람은 수능날 수학 다 찍맞하고 대학무조건 합격함
-
솔직히 영어강사들 다 사기꾼같음.. 16 2
국어 3등급이상 가정할때 영어 3등급이하면 걍 단어만 ㅈㄴ박으면되는데 이것도 하고...
-
반월당역에 사람많노 0 1
퇴근시간이여서 사람ㅈㄴ많음
-
1컷이 ㅅㅂㅋㅋㅋ 5 2
41점은 ㅅㅂ
-
탈릅하면 안되겠죠? 2 0
ㅈㄱㄴ
-
이감 푸는데 독서 넘 오래걸려서 ㅡㅜㅡㅜ 걍 문학 선택에서 시간을 촤대한 짜내야되나
-
세계사 자작문제 5개 0 0
많은 풀이 및 피드백 부탁드립니다.
-
27수능 부산대 1 0
이제 27수능부터 부산대도 사탐공대 허용잉가요?
-
수능 D-15 드디어 0 0
지인선파이널 1회로 첫 적백 달성
-
사문 도표 고수님들 도와주세요 3 0
만약 t년 t+50년 노년 부양비가 같다고 하고 부양인구 증가율이 10프로라면...
-
님들 할로윈데이때 뭐함 4 1
ㅈㄱㄴ
-
24때 너무 손해를 봤나...... 수기미랑 겹치는 기출 미니모의고사 이딴거 말고...
-
덮 무보정 학프도 들어가요? 4 0
그래서 씹창인건가... ㄹㅇ 말이 안되는데... 엉엉
-
고2 10모 컷 나옴? 1 0
우리만 왜 성적표 안 주냐
-
너무 어렵네요
-
사문1번처음으로틀려봄 0 0
와우
-
클리드노래 제목뭐임? 1 2
꼬집어줄래~ 뭐 이런가사임
-
더프 등급컷 뭐야... 12 1
국어 처음으로 80점 넘겼는데 4등급이라니...
-
고3들이 명심해야 할 것 5 1
10모성적은 믿을게 못된다 저거 제 작년 10모 성적임 뱃지보면 알겠지만 수능땐...
-
10모 등급컷 어떰뇨? 2 1
ㅎ
-
공보의/군의관은 지원하지마라 8 1
섬에서는 염전노예 그이상도 이하도 아니다 눈을 파버리겠다는 말, 소독약 테러 비일비재하다
-
근데 션티 모고 풀다보면 0 1
왜이리 약간 위험한 주제의 지문들이 많너 보다가 헉 하는 지문들이 한둘 잇음 ㄹㅇ...
-
히든카이스 실모 퀄리티 어떤가요? 킬캠이랑 비교했을때 1 1
킬캠 시즌1은 너무 어려워서 다른거 하려하는데
-
살려주세요~ 악마에게 쫓기고 있어요~ 15 5
-
오늘의 추천곡 0 0
-
곱셈공식 4 1
(a+b+c)(a²+b²+c²-ab-bc-ca)=a³+b³+c³-3abc 이런공식...
-
수능 국어 관련 질문(고1 자퇴 후 정시하는데 도와주세요) 3 1
09년생이고요 고1 입니다. 고등학교 1학기 다니다가 자퇴했어요. 내년 검정고시...
-
베몬 we go up 들어보셈 1 0
노래 개좋음 여돌이 이렇게 랩 잘하는건 처음보네
-
2주동안 영어 1 만들기 4 0
도전해봄 근 3년간 영어 순공시간 0분인데 2는 나왔기 때문에 2주하고 1...
-
안녕하세요, 오르비에서 활동 중인 일오라고 합니다 1 0
앞으로는 교양 있는 말을 쓰도록 하겠습니다.
-
10모 아직 성적표 못받았는데 0 0
국어 언매 88점 공통 69 선택 19 수학 미적 96점 공통 74 선택 22...
-
당연히 오르겠지만 고1 때부터 혹시 정시로 틀지 모르니 국어 수능 공부를 조금씩...
-
고3중에
-
ㅠㅜㅠㅜㅠㅠㅜㅜㅠㅠㅠㅜㅠㅜㅠㅜㅠㅠㅜㅠㅜㅠㅠㅜㅠㅜㅠㅠㅜㅠㅜㅠㅜㅠㅜㅠㅜㅠㅜㅠㅠㅜㅠㅠㅠㅜㅠ...
-
다들 화작 몇분컷하심? 3 0
화작+독서론 해서 20분 나오는데 너무 느린건가 해서 줄이려고 해보는데 도저히...
지피티가 님 쩔대요
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)라는 모순을 함의,도출하는게 아니라고 생각함