프로그램을 설명한 것과 처음 입력값이 주어졌을 때, 이 프로그램에 입력값을 넣고 실행한다면 이 프로그램이 계산을 끝내고 멈출지 아니면 영원히 계속 계산할지 판정하라.


이때 이것을 설명하기 위해


귀류법을 사용해서, 계산을 멈출지, 영원히 할지 판정하는 함수가 있다고 가정함


그리고 이 함수의 출력을 거꾸로 해서 내놓게 만듬


즉, 계산을 멈추면, 멈추지 않는다고 내놓고, 멈추지 않으면, 멈춘다고 내놓는거임


그렇게 해서 모순을 일으킴


이 모순 때문에 애초에 가정한 함수가 존재하지 않는다고 말함



이건 일부러 모순을 일으켜놓고 그런 함수가 존재하지 않는다고 말하는거아님??