파깨비의 철학공부 자료실
 

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


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

Copyright 1999-2017 Zeroboard / skin by sirini

 

 

 

 

 

a

<영화로 읽는 윤리학>