[대박] 튜링의 정지문제 개소리인거 밝혀냄
게시글 주소: https://orbi.kr/00075269925
예언자의 출력을 부정하는 기계의 출력을 예측하라
즉,
(예언자->부정자) 라는 기계의 출력을 내부의 예언자가 예언할수 있는가
즉,
(NOT 예언자의 출력)
예언자의 출력=A
(NOT A)의 값이 A와 같을수 있는가
즉,
(NOT A)=A
라는 개소리가 나옴
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
제발 도표 한명 살려주실분 6 0
도표 풀기전에 알아야될 진짜 최소한의 것 몇가지 있을까요? 일단 계층은 풀거고...
-
안정액 먹어보신분들 있나요? 0 0
수능전까지 청심환 먹어보려고 어제 오늘 사서 먹었는데 왜인진 모르겠는데 두통이...
-
백호 시즌4 풀어보신분? 0 0
후기좀요 시즌3는 진짜 너무 어려워서 벽느껴짐
-
사문적중예감보다 훨어려운(ㅈ같은)모고->오메가ㅅㅂ 5 1
시발 진짜 개조온나기분나쁘고어렵메시발 오늘11회풀엇는데 33점(찍맞제외)...
-
쌍사 연표 얼마나 봐야 돼요? 2 0
요즘에 권용기 약자로 커버 안 되나 동아시아사는 건국+멸망+명나라부터 약자...
-
내일부터 진짜 열심히 살거임 7 2
아침에 일어나서 공복 유산소하고 열심히 공부하고 저녁 먹고 웨이트하고 11시에는 잘거야
-
내 3점 돌려내 ㅅㅂ
-
쪽지로 고백하신 분 자백하세요 2 0
구라임ㅋㅋ잇겟녀. 진짜 아뮤도안함ㅋㅋ
-
9모끝나고 사문선택했는데 0 0
한지할걸 그래도 한적 있는데...하기 싫어서 사문했더니 ㅈㄴ 후회중 그래도 세사는 버려서 다행임
-
요즘에 너무 못해짐 6 0
국어나 수학이나 영어는 원래 못했고 그냥 너무 못해져서 우울함 솔직히 공부도 많이...
-
내년부터 이름은 에고이스트 모의평가 할거긴 한데 3 1
출제목표는 똑같을듯 ‘단 한문제도 그냥 맞추라고는 못주겠다‘
-
용수철에 중력이 가미되면 0 0
항상틀림 씨바…
-
궁금함
-
사문러분들 0 0
실모에서 도표 3유형 각각 몇분씩 쓰시나여? 현우진 윤성훈 엠스킬 적중예감 시즌프리
-
탈릅은 아닌데 활동중지한 분들 꽤 보이네 현생살러 간 분도 있고 군대간 분도 있고....
-
오르비안햇으면 전국서바 유기할뻔
-
구강게이야 0 0
"오늘이 심심하니 북관에 못 한 말을 내 다시 하오려니 방인들은 들어보소" 안해도...
-
설맞이 드가자 0 0
-
기프티콘드림 공유좀
-
사회문화 질문 0 0
B국에서는 순대를 소금이나 간장에 찍어먹었었다. 이후 tv프로그램으로 인해 순대를...
지피티가 님 쩔대요
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)라는 모순을 함의,도출하는게 아니라고 생각함