튜링머신

남현욱 지음

좋은땅 2016년 11월 11일 출간

작품소개

책소개

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

목차

Ⅰ. 튜링머신
1. 튜링머신이란 | 3
2. 튜링머신이 만들어지게 된 계기 | 3
3. 튜링머신 이해 | 4
Ⅱ. 튜링머신 만들기
1. 부품만들기 | 7
● write 모터
● erase 모터
● 테이프
● 테이프 이동 모터
● 컬러 센서
● 조립
2. 포트 연결 | 22
● 3 포트
● A 포트
● B 포트
● C 포트
Ⅲ. 알고리즘&프로그래밍
1. 알고리즘 설명 | 23
2. 프로그래밍 언어 설명 | 23
3. 튜링머신 프로그래밍 공통 함수 설명 | 24
4. 더하기 | 24
● 더하기 알고리즘
● 더하기 프로그래밍
5. 빼기 | 28
● 빼기 알고리즘
● 빼기 프로그래밍
6. 곱하기 | 32
● 곱하기 2 알고리즘
● 곱하기 2 프로그래밍
7. 나누기 | 37
● 나누기 2 알고리즘
● 나누기 2 프로그래밍

작가정보

저자(글) 남현욱

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