[대박] 튜링의 정지문제 개소리인거 밝혀냄
게시글 주소: https://orbi.kr/00075269925
예언자의 출력을 부정하는 기계의 출력을 예측하라
즉,
(예언자->부정자) 라는 기계의 출력을 내부의 예언자가 예언할수 있는가
즉,
(NOT 예언자의 출력)
예언자의 출력=A
(NOT A)의 값이 A와 같을수 있는가
즉,
(NOT A)=A
라는 개소리가 나옴
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
#04년생#05년생#07년생 인증O) 탈탈털린 짱르비 33 23
-
#공지#국어#독학생 9모 '두 출발' 떠 먹여드림 100 30
-
스압)가요이같은 여친 기원 3 0
-
님들아 나 배아파ㅠㅠ 15 0
오뎅 유통기한이 2주지난거 먹어서 배아픈걸수도 있음? 떡볶이에넣어 먹었는데 오뎅맛...
-
가끔 들어오니까 모르는 사람이 많아짐 15 0
-
사랑해ㅐㅐㅐㅑㅑㅑㅑㅐㅐㅐ 5 0
나도모르겠다 ㅋㅋㅎ 그냥 젛음 사람은 사랑의힘으로살아가는거같애
-
좀 어느정도 체감되는 정도의 그런..
-
국어 서바이벌 16회 등급컷 5 0
알려주시면 수능 커리어하이 찍고 만수무강하며 모든일이 뜻대로 풀림 단 알면서도...
-
서울대가 제일 가기 쉽나요? 1 0
한국대학중에서 제일 크고 많은 인원수를 뽑자나요
-
대가리치고자기 33일차 1 0
요즘 자꾸 아무말이나 싸는듯 수능이 가까워서 그런가 뇌내 필터링할 힘이 없는느낌 걍...
-
느낌이 좋아 9 0
학점 유지 가능할지도
-
내 기준 저평가됐다고 생각하는 수학 기출문제 중 하나는 16 1
220920
-
님들 d&d 성향 검사해보심? 8 1
전 혼돈 중립이라네요..
-
믿으시겠습니까 상상파 10 강실모 4 ㅆㅂㅇ
-
와이바이오로직스 전에 추천했던 종목 20 2
8천원대부터 계속 불타기했는데, 전에 2만3천-2만4천원까지 중기 목표가 잡았다...
-
페이커 LPL 다전제 12연승 1 0
몇년째 잘하는거야
-
220622는 1 0
내신에 쟤 변형들 많아서 풀다가 든 생각인데 x-f(x)=g(x)해서...
-
덴찌군
-
애초에 동생이 0 1
이런 똥통 중학교에 간거부터가 답이 없는거 같다...
-
생윤선배림들 3 0
저 현돌모 안 풀엇는데 2는 뜰까요..? 일단 수특 수완 2회독 햇고 기출도 2회독...
-
2206 솩 공통 어려운 편인가요?? 13 0
뭔가 시간재고 풀땐 어려웠는데 막상 풀이 까보니까 상상한 정도는 아닌데...
-
딱오늘만쉴까?
-
한국시리즈 롯데 우승! 1 0
ㅈㄱㄴ
-
가능 4 1
가능할 것이라는 생각을 가질 것
-
농이 좋아 빵이 좋아 2 0
농빵
-
69 빼고 수능에서
-
흠
-
수능 잘봐서 인터뷰 나가게 되면 오르비에 자랑할거임? 0 0
투표!
-
동생 외고 보내려면 25 1
뭐해야함 영어는 좀 치고 지금 중2임
-
꼭하고싶은게 있었는데 이뤘어
-
시선모 괜찮네요 2 2
배포문제 퀄리티 보고 이정도면 양치기로 좋겠다 싶어서 샀는데 적당히 어렵고 좋네요....
-
어제 바빠서 롤 못했네 4 0
하 롤손실난다
-
10덮 늦은 인증 2 0
등급컷 왜이리 빡셈요..
-
과탐 수완실모는 다 쉽네 0 1
근데 개념형 찌르는건 좋다. 1,2페 실수하는 사람들은 풀어보세요
-
나도 이제 스물하나가 되는구나 9 1
실시간으로 늙는 중...
-
2학년 1학기때 지구과학1 수강했었고 내신은 2등급, 고2 모의고사는 3~4등급이...
-
지듣노 2 1
-
곧 스물한 살이라니 15 1
믿기지가 않네요
-
레전드 메가패스 광고 보여드림 13 0
https://youtube.com/shorts/qxXEFsqw1xg?si=RePr-...
-
이길 수 없다면 합류하면 그만임
-
강x서킷 푸는데,, 0 0
오랜만에 승연쌤 해강보니까 벽느껴지네,, 내가 얼마나ㅡ멍청하게 문제를 풀었는지 깨닫게됨,,
-
윤석열 순애 ㄹㅈㄷ 4 1
감탄만나옴
-
국어 1일 2실모 vs 실모 몇개 유기 하고 기출 1 0
기출도 좀 봐야할거같은데 지금 이감 5 6 7 8 9 10 11 12 회차 남앗어요...
-
문만 잘하고 싶다 8 0
지금은 너무 우연에 기대는듯
-
. 12 1
-
10덮 ㅇㅈ 13 3
은 신청실패해서 못보고 9덮임뇨 11덮땐 언백적백을 받아오겟듬…(희망사항)
-
2306 ㄱㄴㄷ (3개) 2409 2411 ㄱㄴㄷㄹ (4개) 2606 ㄱㄴㄷㄹㅁ...
-
작수 끝나고 기사까지 뜨면서 28번은 무조건 2번이다라는게 온 세상에 바이럴이...
-
아일릿 이거 진짜에요? 14 3
지피티가 님 쩔대요
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)라는 모순을 함의,도출하는게 아니라고 생각함