Halting Problem
[Alan Turing](https://texonom.com/alan-turing-df61b5084e544ac58577d289983e0d28)


정지문제
논리학적으로 결정불가능함(undecidable)이 first proven
 


> [Halting problem - Wikipedia](https://en.wikipedia.org/wiki/Halting_problem)

> [Untitled](https://namu.wiki/w/%EC%A0%95%EC%A7%80%20%EB%AC%B8%EC%A0%9C)

> [당신이 수학을 모르는 이유. (feat. 불완전성의 정리)](https://www.youtube.com/watch?v=oippSXvxUlw&t=590s)





