반응형 형식체계1 이 명제는 거짓이다’…괴델이 논리학을 뒤흔든 순간, 당신도 이해할 수 있다! 📋 목차자기언급 명제와 고대의 역설괴델의 불완전성 정리란?수학으로 역설을 증명한 방식논리학, 수학계가 받은 충격AI 시대와 괴델 정리의 관계불완전성과 형식체계 비교표FAQ‘이 명제는 거짓이다.’ 이 말이 사실이면 거짓이고, 거짓이면 사실이 돼요. 뭐가 맞는 걸까요? 🤯 이 고전적인 역설은 수천 년 전부터 철학자와 수학자를 괴롭혀왔고, 결국 20세기 초에 커트 괴델이라는 천재 수학자가 그것을 수학으로 풀어냈어요. 괴델은 ‘불완전성 정리’를 통해 어떤 수학 체계도 자기 자신을 전부 증명할 수 없다는 걸 밝혔어요. 그리고 이 정리는 AI, 프로그래밍, 논리학, 철학까지 엄청난 파장을 일으켰죠. 이번 글에서는 어렵게 느껴지는 괴델의 정리를 누구나 이해할 수 있도록 쉬운 언어로 설명해 볼게요 ✨🌀 자기언급.. 2025. 7. 27. 이전 1 다음 반응형
