괴델이 불완전성 정리를 증명하기 전, 당시 수학 기초론의 발전 사항을 알아보는 시간을 가집니다.
강의 슬라이드 링크: https://drive.google.com/file/d/1tVCNsyHgXy1f649AiQcjeu26NTLi9EVx/view?usp=sharing
% 해당 영상은 카이스트 논리학입문, 한국논리학회 월례학회 특강을 기반으로, 2023년 1학기 서울시립대학교 철학과논술 수업 자료로 제작한 것입니다. 최근 학교를 옮겨 당분간 수업 자료로 사용하지 않을 예정이고 시립대학교 학생 및 학교의 민감한 정보가 없다 생각되어 공개 전환했습니다.
% 설명 오류나 청자에게 전달이 잘 되지 않는 난해한 설명은 저의 부족함 때문입니다. 또한 영상에 민감한 사안이 있거나 설명에 오류가 있으면 언제든지 알려주십시오. 오래 걸리겠지만 꾸준히 연구하고 강의해서 더 나은 "전문자료"를 공유할 수 있도록 해보겠습니다.
% 곧 괴델 정리가 증명된지 100년이 되어 갑니다. 모쪼록 괴델 정리가 "올바르게" 사람들에게 이해되길 기원합니다. 시청해 주셔서 감사드립니다.