(송*우 정지문제) 공학적 가치에 관한 질문 #34
Description
영상을 보고, 좀 더 찾아보고 인공지능에게 수 번의 질문과 대답을 주고 받으면서 정지 문제를 해결하는 알고리즘은 존재할 수 없다고 알게되었습니다.
하지만, 과연 모든 알고리즘을 판별할 수 있는 알고리즘 H가 과연 정말로 필요할까, 생각하면 아니라고 생각합니다.
모든 알고리즘까지는 아니더라도, 하나의 전문적인 분야를 만들어서 해당 알고리즘들에 대한 정지 문제를 해결할 수 있는 알고리즘들로 H를 충분히 대체할 수 있다고 생각합니다.
예를 들어, 컴파일러 같은 도구들은 제한된 사용처이지만, 그 안에서만큼은 정지 문제에 대한 전문가라고 할 수 있다고 생각합니다.
그 전문가들 조차도 제한된 상황 속 모든 상황에 완벽한 대답을 내놓지 못하지만, 공학적으로는 충분히 가치있다고 생각합니다.
그래서, 제 결론은, "과연 모든 정지문제를 해결할 수 있는 H가 과연 애초에 공학적으로 가치가 있을까?"에 관한 질문이였습니다.