[김진현]

오늘 수업시간에 계산가능성에 대해 배우면서 등장한 세 사람에 대해 의문이 생겼습니다.

괴델 : 1906 - 1978
처치 : 1903 - 1995
튜링 : 1912 - 1954

Church-Turing thesis 라는 말이 있던데, 괴델은 어디로 갔나요? -_-;

일단 저 이름은 튜링이 처치의 제자라서 붙은 것 같은데....
_________________
The kingdom of heaven has been forcefully advancing, and forceful men lay hold of it.