물어봐
BETA
수2 기계공학과 세특
IT 지식이 풍부한 고양이 ‘요고’가 답변해 드려요.
수학적 사고 방식으로 유명한 튜링은 1936년에 튜링기계의 설계에 관한 최초의 논문을 발표했습니다. 해당 논문은 다비드 힐베르트의 추론 규칙을 기반으로 튜링이 만능 기계 아이디어를 창안하게 된 계기였죠. 이 아이디어는 모든 수학에 관한 명제를 자동으로 산출하는 추론 규칙을 찾아내는 것을 목표로 하고 있었습니다. 하지만 1931년 쿠르트 괴델의 연구에 의해 이러한 야심찬 전망은 논파되었습니다.
열심히 읽고 답변했어요!
