이미 소장하고 있다면 판매해 보세요.
- 국내배송만 가능
이 상품의 시리즈 1
이 상품의 시리즈 알림신청
경문수학산책
책소개
목차
|
1. 수학적 조망
2. 수학적 경험의 다양성 3. 외부의 논쟁 4. 내부의 논쟁 - 용어해설 - 참고문헌 - 찾아보기 |
품목정보
- 발행일
- 1999년 10월 31일
- 쪽수, 무게, 크기
- 317쪽 | 크기확인중
책 속으로
|
인간인 독자는 형식 언어에 대해 극복하기 어려운 반감을 갖는 반면에 컴퓨터는 형식 언어를 사용해서 번영하고 있다. 제2차 세계대전 뒤 곧바로 출현한 전자계산기와 함께 형식 언어는 성장 산업이 되었다. '소프트웨어'라는 이름 아래 형식언어로 쓰여진 문장은 현대 문명의 특징적인 인공물 중 하나가 되었다.
형식화된 문장은 기호의 사슬이다. 이것이 수학자 또는 기계에 의해 조작되면 이것은 기호의 또 다른 사슬로 변환된다. 이와 같은 기호 조작 자체도 수학적 이론의 주제가 될 수 있다. 그 조작이 기계에 의해 이루어진다고 생각할 때, 그 이론을 컴퓨터 과학자는 '자동조작이론'이라 부르고 논리학자는 '재귀이론'이라 부른다. 그 조작이 수학자에 의해 이루어지다고 생각할 때, 그 이론을 '증명 이론'이라 부른다. ---190p |
