Human: 계산 가능성 이론에서 중단 문제는 임의의 컴퓨터 프로그램과 입력에 대한 설명으로부터 프로그램이 실행을 완료할지 아니면 영원히 계속 실행할지를 결정하는 문제입니다. 앨런 튜링은 1936년에 가능한 모든 프로그램-입력 쌍에 대해 중단 문제를 해결하는 일반적인 알고리즘은 존재할 수 없음을 증명했습니다. 프로그램의 중단 여부를 결정할 수 있는 모든 프로그램 f에 대해, 일부 입력과 함께 호출되는 "병리적" 프로그램 g는 자신의 소스와 입력을 f에 전달한 다음 f가 예측하는 것과는 정반대의 작업을 수행할 수 있습니다. 이 경우를 처리하는 f는 존재할 수 없습니다. 이 증명의 핵심 부분은 튜링 머신이라고 알려진 컴퓨터와 프로그램에 대한 수학적 정의이며, 튜링 머신에서는 정지 문제를 해결할 수 없습니다. 이는 결정 문제가 풀 수 없는 것으로 입증된 최초의 사례 중 하나입니다. 이 증명은 실용적인 컴퓨팅 노력에 중요한 의미를 가지며, 어떤 프로그래밍 발명품도 완벽하게 수행할 수 없는 애플리케이션 클래스를 정의합니다. 
다음 단락에서 중단 문제에 대한 주요 결론은 무엇인가요? 

Assistant: 멈춤 문제는 해결할 수 없습니다.</s>