김진현

가입: 2005년 9월 20일 올린 글: 91 위치: SNUCSE OPT. lab.
|
올려짐: 2005년10월20일 14:40 주제: Church-Turing thesis |
|
|
오늘 수업시간에 계산가능성에 대해 배우면서 등장한 세 사람에 대해 의문이 생겼습니다.
괴델 : 1906 - 1978
처치 : 1903 - 1995
튜링 : 1912 - 1954
Church-Turing thesis 라는 말이 있던데, 괴델은 어디로 갔나요? -_-;
일단 저 이름은 튜링이 처치의 제자라서 붙은 것 같은데.... _________________ The kingdom of heaven has been forcefully advancing, and forceful men lay hold of it. |
|