경운대학교 전자책도서관

책소개

독일 수학자 힐버트(David Hilbert)는 1928년에‘ 원칙적으로 수학의 모든 문제를 순서대로 해결할 수 있는 일반적인 기계적 절
차가 있는가?’ 라는 문제를 제기했다.
1931년, 미국의 수학자 쿠르트 괴델(Kurt Godel)은“ 기계적인 방식으로는 수학의 모든사실들을 만들어 낼 수 없다.”라는 것
을 증명했다.
튜링(Alan Turing)은 이 문제를 새롭게 증명하는 과정에서“ 기계적인 방식만으론 모든 수학적인 사실들이 만들어질 수 없다”라
고 하면서‘ 기계적인 방식’이 무엇인지를 정의한다. 튜링은 아주 단순한 다섯 종류의 기계 부품들을 정의하고 그 부품들로 만든
기계들로 돌릴 수 있는 것만을‘ 기계적인 방식’이라고 했다.
그 후, 이 방식으로는 절대 풀 수 없는 계산 문제 하나를 제시하고, 따라서 기계적인 방식으로 모든 수학적인 사실들이 만들어
질 수 없다는 결론을 냈다.
이 결론을 내는 중간 과정에서 튜링은 인간의 두뇌를 기계의 본보기로 설정하고, 사람처럼 계산하는 기계를 구성할 수 있다는
사실을 논문『 계산 가능한 수에 대해, 수리명제자동생성 문제에 응용하면서』에 기재했다.

저자소개

학력
포항공과대학교 기계공학 박사
경력
삼성전자 메카트로닉스센터 책임연구원
청주교육대학교 실과교육과 교수
청주교육대학교 대학원 발명영재전공 주임 교수
관심분야
공학교육, 발명 교육, 영재 교육

책소개

저자소개

목차