Seong-lae Cho정지문제
The machine halts if there are no possible transitions to follow
Halting : is undefined
all process decidable, halting problem is undecidable
Logically undecidable is first proven
Halting problem - Wikipedia
In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running, or continue to run forever. Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist.
https://en.wikipedia.org/wiki/Halting_problem
namu.wiki
https://namu.wiki/w/%EC%A0%95%EC%A7%80%20%EB%AC%B8%EC%A0%9C
당신이 수학을 모르는 이유. (feat. 불완전성의 정리)
1400만 조회수를 기록한 영상!거짓이라는 것이 모두 다 증명 될 수는 없습니다. 이 사실은 무한대를 재조명하였고, 세계 대전을 단축 시켰고, 현대 컴퓨터의 발명으로 이어졌습니다.학창 시절 때 대체 수학이 어디에 쓸모 있을지 의구심을 가졌던 기억이 납니다. 수학계의 여러 이야기들을...
https://www.youtube.com/watch?v=oippSXvxUlw&t=590s
