김상문
한국과학기술원 졸업(석사). 독일 Bern 대학교 대학원에서 박사학위를 받았다.
연세대학교 수학과 교수로 재직하였다.
Abstract
이 책은 수학자뿐 아니라 철학자 및 누구에게도 수학기초론의 진상, 즉 수학기초의 위기 및 이의 해결책으로서 최근 연구결과의 체계화를 제시하는 것뿐 아니라 미해결 문제, 추측 (conjectures) 등을 통해 수학기초론의 새로운 연구진로 모색을 위한 기동력을 제공하는 데 주목적이 있다.
Table of Contents
제1장 수학 기초의 위기
제2장 힐버트의 계획
제3장 계산 가능성 이론
제4장 회기 이론
제5장 괴델 이론의 일반화
제6장 집합론의 모델 이론
제7장 수학기초론의 미해결 문제-수학기초론은 어디로?