Published on2026년 7월 11일보편 개념으로서의 계산 — 무엇이 단단하고 무엇이 과장인가computer-sciencecomputationcomplexitytheoryphilosophyTim Roughgarden이 가르치는 '보편적이고 근본적인 개념으로서의 계산' 강의가 화제입니다. 실제 내용은 정지 문제, 알고리즘 효율, NP-완전성, 그리고 P 대 NP를 다루는 견실한 계산 이론입니다. 이 글은 그 단단한 핵심과, 우주나 마음이 문자 그대로 계산이라는 더 큰 주장을 구분하고, '모든 것은 계산이다'가 어디서부터 반증 불가능한 말이 되는지를 따집니다.