[대박] 튜링의 정지문제 개소리인거 밝혀냄
게시글 주소: 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
-
수능날 스카치테이프 1 0
스카치테이프로 시계랑 수험표 고정시켜놓는거 어떤가요 감독관 허락은 받아야겠죠?
-
육군훈련소 수료 완료! 2 0
세븐틴 우지와 함께
-
더프 컷 나왔네 2 0
무보정 22234 보정 21222 뭣 대충 95 96 2 94 90 정도인가 라인 어디쯤이려나
-
허세보다 기만이 좆같음 뭔가 3 0
꼴에 겸손이라고 기만하는게 왜케좆같지
-
강사끼리 해석이 갈릴 때ㅋㅋㅋ 예를 들어 북새곡에서 "아무튼 끔찍하더라" 라는...
-
PCR 지문 1 0
개어렵네 이해조차 안됨 생명지문 나오면 다 틀릴거같음
-
화작 오래 걸리는 사람 0 0
보니까 이건 아예 국어를 할줄 모르는게 맞는듯 화작에서 오래 걸리니 다른건 보지도...
-
26 수능 수학 13 14번 5 1
13번애 정적분 넓이 14번애 삼각함수 나올것같나염???? 예상좀해즈십셔 ㄱㄱ
-
이 시기에 몸살 나몀 어떡하냐 0 0
날씨 때뭄에 아
-
ebs 봉투 모고 고난도 0 0
풀어보신분없나요 수학 난이도랑 퀄 궁금해서염
-
ㅅㅂㅋㅋㅋㅋㅋㅋㅋ 언4 매2 시간부족해서 가나 비문학 2로 밀엇어요 가나 채점전에...
-
4월 더프로 센츄 성적 되는데 신청 안하고있었음 1 0
인생 손해 ㅁㅌㅊ? 지금해야지
-
김0한모 의문사 많네.. 2 1
12 21 29 어케 풀고 틀리지
-
정법 질문 1 0
방안 3은 왜 연동형인건가요?? 비례 총 의석수를 고려하니 병립형 아닌가요?
-
이게 어떻게 자신이 이해한 바를 “확인”하는 건가용 그냥 자기가 정리한 거 아닌가요ㅣ ㅜㅠ
-
민방위 하는줄
-
영어 실모 뭐풀까요 3 0
수완은 풀었고 션티 마피원 샀는데 3개 밖에 없더라고요 영어 고정1이긴 한데...
-
사수생 도전 괜찮을까요 10 1
지금 중앙대 사회과학대 다니고있는 05 남자입니다. (합격하자마자 오르비를 떠나서...
-
어제 하이볼 1잔 했는데 5 1
머리는 존나 아프고 일어나자마자 토함 ㅋㅋㅋㅋ
-
당신의 처지가 당신의 의지를 통제하게끔 두지 마라 0 1
모든 의지를 자신의 통제 내부로 들여라 당신의 상황과 처지와 당신의 의지가...
-
오늘은 10월 29일입니다. 0 0
IZ*ONE AGAIN!
-
하얃케불테엇다. 2 0
용어학 10개몯쓰고 장렬히 산화.
-
레어확인용 똥글 0 0
가져가지머세요 ㅅㅂ
-
긍정하라 0 1
운명이 나에게 선사하는 이 모든 부조리를 긍정하라
-
흠 평가원 문학은 안 틀리는데 2 1
작 69수 올 69 전부 평가원 문학 어렵다고 생각도 못 했고 한 번도 틀린 적...
-
국어 88 ㅅㅂ
-
마이맥 캐쉬 0 0
마이맥 캐쉬로 사면 좋은 점이 뭔가요?
-
실모에 일희일비 안하는법. 8 0
실모보면 점수를 박네요.. 특히 영어 멘탈을 잡을까요 아니면 위기감으로 더 공부를...
-
천재가 되는 사고도구들 0 0
1. 질문과 답변의 연쇄(육하원칙 사용가능) 2. 공통점 찾기 3. 명제논리
-
지인선모고 등급컷 어떨까요? 0 0
1회 2회 3회 미적분으로요
-
10덮 무보 개빡세다 0 0
무보 41313 보정 21312 물2는 무보 1컷이 45가 나오는 시험지도 놀랍고...
-
어제 개취함 ㄹㅇ 1 0
-
소신적으로 주말에 신청받아서 더프 실제처럼 해줘야한다고 생각함 현여기 애들은...
-
더데유데 어려운거였냐.. 3 0
어려운줄모르고 정식이가 1타이길래 풀어봤는데 페이크를 존나 걸고 듣기 이 시발...
-
10덮 국어 망햇는데 어캄ㅅㅂ 4 0
못해도 2등급은 나오던 사람인데 갑자기 70이뜨니까 너무 멘탈이 날라감 이제부터라도...
-
3수 커리 평가해주세요 6 0
작수 언확영생윤사문 91 76 2 95 85 이번 9모 과목 동일 88 63 2...
-
10덮 무보 13111 4 0
국탐 만점이긴 하지만 수학이 3인거 보면 에피는 물 건너갔네
-
과탐선택은 죄악이다 2 0
지구과학 컷을 본 나 :
-
실모 2등급 1등급 0 0
이해원 1등급 2등급 뜨는데 수능에서 1띄우는거 가능세계임?
-
우삼겹먹고싶네 0 1
ㅇㅇ
-
생윤황님들 조언좀.. 1 0
6.9모는 각각 22떴는데 사설만 풀면 진짜 엄청 털려요.. 솔직히 개념빵꾸가 좀...
-
경한인문 점수 4 0
확통 백분위 98 탐구 백분위 99라면 국어는 대충 몇정도 나와야 함??? 98나와도 되나
-
김승모 7회 후기 0 0
화작 89점 ㅆㅂ.. 독서 2틀 - 5번 13번 문학 1틀 - 27번 화작 1틀 -...
-
26이감파이널4차 2 0
91점 몇등급이조
-
10모 등급컷 나왔나요? 0 0
ㅈㄱㄴ
-
통 1컷 88이구나 3 0
공통 3틀 88인데 공통선택 표점차때문에 1 아닐 것 같지 왤케
-
95점 헤겔 3점,브레턴우즈 2점 소신발언 한번 해보면 브레턴우즈 좀 올려치기 당한...
-
역대 평가원 기출 작품중 가장 마음에 듬
-
어릴 때 집 앞 삼겹살집 가면 5 2
된장국이랑 계란찜이 서비스로 꼭 나왔는데 된장국에 있는 팽이버섯, 애호박, 두부,...
-
강민철 실모 1회 85 0 0
화작인데 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)라는 모순을 함의,도출하는게 아니라고 생각함