AI 요약
존 W. 애디슨 교수는 1930년에 태어나 2025년 여름 96세의 나이로 세상을 떠났습니다. 그는 UC 버클리에서 수많은 제자를 양성한 뛰어난 교육자이자 논리학자로, 특히 모델 이론(Model Theory) 분야에서 탁월한 족적을 남겼습니다. 1966년 버클리에 도착한 저자 빌 워지는 UBC(브리티시 컬럼비아 대학) 수석 졸업생 신분으로 그의 강의에 매료되어 지도를 받기 시작했습니다. 애디슨은 정교한 표기법과 유머러스하면서도 까다로운 시험 문제로 유명했으며, 제자들이 복잡한 논리적 난관에 부딪힐 때마다 결정적인 힌트를 제공했습니다. 저자는 애디슨의 조언에 따라 하틀리 로저스(Hartley Rogers)의 논문을 참고하여 베이르 공간 내 부분집합의 정의 가능성 문제를 해결했으며, 이 과정에서 '연속 함수를 튜링 기계로 해석'하는 애디슨 특유의 관점이 핵심적인 역할을 했습니다. 이 추모글은 한 시대를 풍미한 논리학자의 학문적 엄격함과 선견지명을 기리고 있습니다.
핵심 인사이트
- 존 W. 애디슨(1930–2025)은 96세의 나이로 별세했으며, 1966년부터 UC 버클리에서 저자의 박사 과정 지도교수로 활동했습니다.
- 애디슨의 교수법은 매우 정밀했으며, 특히 '연속 함수를 지속적으로 작동하는 튜링 기계'로 묘사하는 등의 혁신적인 비유를 사용했습니다.
- 저자는 애디슨의 권유로 하틀리 로저스(Hartley Rogers)의 수론 관련 논문을 유추 적용하여 베이르 공간(Baire Space)의 난제를 해결했습니다.
- 무한 게임(infinite game)을 활용하여 두 수열 집합 간의 상대적 복잡성을 판별하는 기법을 개발하는 데 애디슨의 지도가 결정적이었습니다.
주요 디테일
- 애디슨의 시험은 틀린 답에 감점을 부여하는 엄격한 방식이었으며, "이 문장은 거짓이다"라는 진위형 문제를 내는 등 논리적 유머를 가미했습니다.
- 저자는 논리학 기초 과정 없이 애디슨의 수업에 참여하기 위해 자신이 UBC의 '최고 과학 졸업생(top science graduate)'임을 밝히고 특별 허가를 받았습니다.
- 베이르 공간은 모든 무한 자연수 수열의 집합으로 정의되며, 저자는 이 공간 내 특정 점 부분집합의 정의 난이도를 증명하는 과제를 수행했습니다.
- 애디슨이 강조한 우아하고 경제적인 표기법은 그의 제자들의 연구 방식에 지속적인 영향을 미쳤습니다.
- 그는 프로젝트 초기 단계에서 아직 응용 방법이 명확하지 않은 상태에서도 필요한 핵심 기술(무한 게임 등)을 식별해내는 예리한 능력을 가졌습니다.
향후 전망
- 애디슨 교수가 강조한 모델 이론 중심의 접근법과 전산학의 의미론(Semantics) 연결 고리는 현대 이론 컴퓨터 과학 연구의 중요한 기초로 남을 것입니다.
- 그의 교육 철학과 정교한 논리 체계는 그가 배출한 제자들을 통해 다음 세대의 학문적 방법론으로 계승될 전망입니다.