수학은 발견인가, 발명인가: 수와 도형은 어디에 존재하는가 — 플라톤주의, 형식주의, 구조주의와 ‘불합리한 유효성’의 수리철학
카테고리
170 페이지
수학
4색 정리와 컴퓨터 수학의 혁명: 100년의 난제와 기계에 의한 증명의 철학
P대 NP 문제의 완전 해부: 계산 복잡도 이론의 금자탑과 미해결의 심연
수리생물학과 튜링 패턴: 천재가 말년에 남긴 자기 조직화와 형태 형성의 수리
정보 기하학의 신비: 확률 분포가 엮어내는 리만 공간과 통계・AI의 미래
초끈 이론과 여분 차원의 세계: 만물의 이론(TOE)을 향한 10차원·11차원의 물리학
타입 이론과 커리-하워드 동형대응: 명제=타입, 증명=프로그램의 심오한 조화
프랙탈 차원과 하우스도르프 측도: 정수의 벽을 넘는 소수 차원과 자기 유사성의 과학
암호의 역사: 에니그마의 공방에서 공개키 암호(RSA)의 탄생까지
원주율을 구하는 끝없는 여정: 아르키메데스부터 슈퍼컴퓨터까지
그래프 이론의 시작: 쾨니히스베르크의 다리를 건너는 한붓그리기 수학
소수 정리: 무작위처럼 보이는 소수의 분포에 숨겨진 아름다운 법칙
압축 센싱: 적은 관측으로 원래 신호를 복원할 수 있는 이유
그로버 알고리즘: 양자 컴퓨터는 검색을 얼마나 빠르게 할까
스펙트럴 그래프 이론: 고윳값으로 네트워크의 성질 읽기
랜덤 행렬 이론: 원자핵에서 주가, 신경망까지 나타나는 수학
확률적 방법: 존재를 '랜덤'으로 증명하는 에르되시의 마법
고속 푸리에 변환(FFT): 음성, 이미지, 통신을 고속화한 알고리즘
대기행렬 이론: 왜 옆 계산대가 항상 더 빨라 보일까
매듭 이론 입문: 풀리는 고리와 풀리지 않는 고리를 수학으로 구별하기
