파깨비의 공부자료/공유자료실

멈춤 문제

파깨비	2007-05-31 13:44:30, VIEW : 2,732

[괴델]143쪽.
멈춤문제에서 핵심적인 것은 프로그램의 멈춤 조건이 만족될 것이냐의 여부를 미리 말해주기 위해 그 프로그램과 입력자료들에 적용될 수 있는 어떤 효과적인 절차가 존재하느냐 하는 물음이다.
1936년에 튜링은 이 문제를 일거에 부정적으로 해결했다.

* 파깨비님에 의해서 게시물 이동되었습니다 (2014-03-15 06:39)


	목록보기