불완전성 정리1 [컴퓨터의 기원] 2. 괴델의 불완전성 정리 1. 괴델의 아이디어에서 무엇이 혁신인가?1-1. 이전 내용 요약 컴퓨터의 본질과 기원에 대해 - 1. 힐베르트 프로그램1. 힐베르트 프로그램 1-1. 비유클리드 기하학과 러셀의 역설 1-1-1. 비유클리드 기하학의 등장 유클리드 기하학은 우리가 중학교에 입학하고 처음 배우는 바로 그 기하학과 관련이 깊다. 우리는linocraft.tistory.com괴델의 불완전성 정리를 시작하기 전에 잠깐 전에 했던 배경지식을 요약해보자. ● 수학이란 참이라고 받아들이는 명제(공리)들에서 다른 참인 명제(정리)를 논리적으로 추론하는 작업이다. 그러나 비유클리드 기하학의 등장으로 인해 우리가 직관적으로 타당하다고 넘기는 공리들이 사실은 거짓일 수도 있다는 것이 드러나고 말았다.● 결국 우리는 수학 체계의 기초라 할 수 .. 2024. 3. 17. 이전 1 다음
