Math's Fundamental Flaw
0:00 · Watch on YouTube
수학의 바닥에는 구멍이 있다: 기초 산술을 담을 만큼 강력한 모든 체계는 증명할 수 없는 참 명제를 포함하고, 자신의 무모순성을 증명할 수 없으며, 진리를 항상 판정할 수 있는 알고리즘이 존재하지 않는다 — 그리고 그 실패가 현대 컴퓨터를 탄생시켰다.
0:00 · Watch on YouTube
수학의 바닥에는 구멍이 있다: 기초 산술을 담을 만큼 강력한 모든 체계는 증명할 수 없는 참 명제를 포함하고, 자신의 무모순성을 증명할 수 없으며, 진리를 항상 판정할 수 있는 알고리즘이 존재하지 않는다 — 그리고 그 실패가 현대 컴퓨터를 탄생시켰다.