Texonom
Texonom
/
Computing
Computing
/Computing Theory/Automaton/Automaton Relation/
Halting Problem
Search

Halting Problem

Creator
Creator
Seong-lae Cho
Created
Created
2019 Nov 5 5:18
Editor
Editor
Seong-lae Cho
Edited
Edited
2023 Dec 19 3:8
Refs
Refs
Alan Turing
Turing Machine

정지문제

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.
Halting problem - Wikipedia
https://en.wikipedia.org/wiki/Halting_problem
Halting problem - Wikipedia
namu.wiki
https://namu.wiki/w/%EC%A0%95%EC%A7%80%20%EB%AC%B8%EC%A0%9C
당신이 수학을 모르는 이유. (feat. 불완전성의 정리)
1400만 조회수를 기록한 영상!거짓이라는 것이 모두 다 증명 될 수는 없습니다. 이 사실은 무한대를 재조명하였고, 세계 대전을 단축 시켰고, 현대 컴퓨터의 발명으로 이어졌습니다.학창 시절 때 대체 수학이 어디에 쓸모 있을지 의구심을 가졌던 기억이 납니다. 수학계의 여러 이야기들을...
당신이 수학을 모르는 이유. (feat. 불완전성의 정리)
https://www.youtube.com/watch?v=oippSXvxUlw&t=590s
당신이 수학을 모르는 이유. (feat. 불완전성의 정리)
 
 

Recommendations

Texonom
Texonom
/
Computing
Computing
/Computing Theory/Automaton/Automaton Relation/
Halting Problem
Copyright Seonglae Cho