Theoretical Computer Science (이론 컴퓨터 과학)

📌 한 줄 통찰 (The Karpathy Summary)

"코드를 한 줄 적기 전에 '이 문제는 해결 가능한가(Computability)'와 '얼마나 많은 자원이 필요한가(Complexity)'를 수학적으로 증명하여, 지능의 논리적 한계를 정의하라" — 컴퓨터 연산과 정보 처리의 수학적 기초를 탐구하는 학문.

추출된 패턴: "Formal Logic and Resource-bounded Computation" — 추상적인 계산 모델(Turing Machine, Automata)을 통해 연산의 본질을 정의하고, 시간과 공간이라는 자원의 제약 하에서 문제의 난이도를 체계적으로 분류하는 패턴.
핵심 분야:
- Algorithms: 문제 해결을 위한 절차 설계 및 효율성 분석 ($O$-notation).
- Complexity Theory: P, NP, NP-complete 등 문제의 난이도 계층 연구.
- Computability Theory: 정지 문제(Halting Problem)처럼 물리적으로 해결 불가능한 영역 식별.
- Automata & Formal Languages: 기계가 언어를 인식하는 문법적 구조 연구.
의의: 현대의 모든 암호 기술(RSA 등), 컴파일러 설계, 데이터베이스 최적화, 그리고 인공지능의 학습 한계 정리 등 실제 기술 구현이 가능하게 만드는 '논리적 설계도' 역할.

과거 데이터와의 충돌: 고전적 연산(Classical Computing)의 한계에 갇혀있던 시대에서 벗어나, 이제는 양자 컴퓨팅(Quantum Computing)과 확률적 알고리즘, 근사 알고리즘을 통해 기존에는 불가능해 보였던 영역에 도전하는 방식으로 지평이 넓어짐.
정책 변화: Antigravity 프로젝트는 에이전트의 복잡한 추론 로직 설계 시, 무의미한 연산 루프를 방지하고 최적의 시간 복잡도를 달성하기 위해 이론 컴퓨터 과학의 '결정 가능성(Decidability)' 원칙을 엄격히 준수함.

Algorithm-Complexity-Analysis, Optimization-Algorithms, Machine-Learning-Foundations, Cryptography-Basics
Raw Source: 10_Wiki/Topics/AI/Theoretical-Computer-Science.md