[대박] 튜링의 정지문제 개소리인거 밝혀냄
게시글 주소: https://orbi.kr/00075269925
예언자의 출력을 부정하는 기계의 출력을 예측하라
즉,
(예언자->부정자) 라는 기계의 출력을 내부의 예언자가 예언할수 있는가
즉,
(NOT 예언자의 출력)
예언자의 출력=A
(NOT A)의 값이 A와 같을수 있는가
즉,
(NOT A)=A
라는 개소리가 나옴
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
영어1받고 연대뚫는꿈꿨어 3 0
ㅠ
-
원래 4-5엿다가 방학 때 공부한 이후로 2등급까지 올렷는데 방학에 고등수학 상하,...
-
오르비 굿밤!! 2 0
아마도 12시 안으로 잠들 듯
-
주인 잃은 레어 4개의 경매가 곧 시작됩니다. 레이싱 미쿠"goodsmile 레이싱...
-
서브 프라임 모기지 사태 2 0
구매 완료 10월과 11월 2회분을 찢어보자! 엥 뭐야, 이름이 시대인재...
-
다들 26년도 11월 모의고사 꼭 잘 보시길 바랍니다 3 0
그리고 27년도 수능 대박나시길!
-
최성주쌤 너무너무귀여우시다 2 0
하 ..
-
사문 고수분들 도와주세요 2 1
4개중 무엇이 비공식적 사회화 기관이 아닌건가요??
-
난 좆밥이야
-
ㅋㅋ
-
근디 화1은 고일수밖에 없네 2 1
유기한지 1년정도 됬는데 문제 몇번 풀다보니 감이 다 돌아옴
-
영어가 최저땜에 1이 나와야하는데 평소에 순서삽입을 그냥 읽고 감으로 풀거든요ㅜㅜ...
-
부엉모 ㅍ어야지 2 0
인쇄했다
-
백분위 99 나왔었음 그런데 이게 찐실력인지 모르겠어서 올해는 현돌 파이널 실모...
-
생명은 진짜 모르겠다 1 0
잘맞는 시험지에 찍고들어간거 맞으면 이기는 시험같음
-
[문학칼럼] 소설 감상은 서술자만 잡자! (Feat. 찬우야) 2 4
안녕하세요. 국어를 가르치는 성현입니다. 그동안 현생이 바빠 오랜만에 칼럼을...
-
수학 22번 몇번으로 찍는게 가장 맞출 확률 높나요? 1 0
과학적으로
-
해모 파이널 언제와 2 0
수능 전날 올래?
-
히카 풀어본 게이들 평가원이랑 점수대 비슷하게 나옴? 1 0
본좌는 평가원보다 10점~20점 정도 덜 나오던데 왜이러지
-
"구구법구.... 트럼프=상. 이쪽을 보는 것이다." 1 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)라는 모순을 함의,도출하는게 아니라고 생각함