정지 문제 증명 질문
-
게시물 수정 , 삭제는 로그인 필요
https://namu.wiki/w/%EC%A0%95%EC%A7%80%20%EB%AC%B8%EC%A0%9C
function subroutine(s) {
if exit(s,s) == false
return true
else
infinite loop
}
여기서 모순이 발생한다는게 증명이잖아요
그런데 왜 프로그램의 입력으로 subroutine 자기 자신을 받나요?
그냥 a 같은 입력을 받아도 증명이 되지 않나요?
https://namu.wiki/w/%EC%A0%95%EC%A7%80%20%EB%AC%B8%EC%A0%9C
function subroutine(s) {
if exit(s,s) == false
return true
else
infinite loop
}
여기서 모순이 발생한다는게 증명이잖아요
그런데 왜 프로그램의 입력으로 subroutine 자기 자신을 받나요?
그냥 a 같은 입력을 받아도 증명이 되지 않나요?
#정지 문제 #정지 문제 인공지능 #정지 문제 튜링 #정지 문제 불완전성 정리 #정지 문제 코드 #정지 문제 뜻 #정지 문제 나무위키 #정지 문제 설명 #튜링 머신 정지 문제 #최적 정지 문제