답변:
정지 문제가 인간의인지에 대한 제한을 의미합니까?
그렇습니다. 절대적으로-인간이 볼 수있는 코드 조각이 있고 그것이 유한 한 시간 안에 멈추는 지 여부는 확실하지 않습니다. (확실히 인간이보고 "예"또는 "아니오"라고 말할 수있는 코드 조각이 있지만 실제로 분석하기 어려운 코드에 대해 이야기하고 있습니다.)
정지 문제는 수학적으로 불가능하기 때문에 컴퓨터가 할 수없는 코드 분석 유형이 있다는 것을 의미합니다. 그러나 가능성 의 영역 은 여전히 강력한 인공 지능 (자신을 향상시킬만큼 충분히 이해할 수있는 코드의 의미)을 허용 할만큼 충분히 크다.
정지 문제는 결정 불가능으로 알려진 일반적인 현상의 한 예이며 , 이는 튜링 머신이 유한 한 시간 내에 해결할 수없는 문제가 있음을 보여줍니다. Turing Machine이 Rice의 정리 라는 사소한 속성 P를 만족하는지 여부를 결정할 수 없다는 일반화를 고려해 봅시다 .
먼저 정지 문제는 튜링 기계가 임의로 긴 입력을하는 경우에만 적용됩니다. 입력이 제한되어 있으면 가능한 모든 사례를 열거 할 수 있으며 문제를 더 이상 결정할 수 없습니다. 여전히 그것을 계산하는 것은 비효율적 일 수 있지만, 우리는 복잡성 이론으로 전환하고 있는데, 이것은 별도의 질문이어야합니다.
라이스 정리는 지능 (인간)이 다른 지능 (AGI 등)이 친근 함 과 같은 특정 속성을 가지고 있는지 판단 할 수 없음을 의미합니다 . 이는 친절한 AGI를 설계 할 수 없다는 것을 의미하지는 않지만 임의의 AGI가 친화적인지 여부를 확인할 수는 없습니다. 따라서 친숙한 AI를 만들 수는 있지만 IT가 친숙하지 않은 다른 AI를 만들 수 없도록해야합니다.