순수한 물은 왜 0°C에서 즉시 얼지 않고 영하 40°C 가까이까지 액체로 존재할 수 있을까? 준안정 상태의 통계열역학, 고전 핵생성 이론(CNT)을 통한 임계 핵 반지름과 자유 에너지 장벽의 수학적 유도, 접촉각 인자와 불균일 핵생성, 충격에 의한 수지상 결정(Dendrite) 성장과 10% 슬러시 법칙, 과열·돌비 및 유리 전이(Tg)까지 심층 해부한다.
아폴로 11호의 달 착륙을 구원한 칼만 필터의 탄생 비화부터, 두 정규분포의 곱이 단일 센서보다 분산을 줄이는 수학적 증명, 다변량 상태공간 5대 방정식과 조셉 안정화 형태의 완전 유도, LQG 분리 정리, 확장·무향 칼만 필터(EKF/UKF)와 SLAM, Python 2차원 추적 시뮬레이션까지 완벽 해설.
맨홀 뚜껑이 원형인 이유에서 출발하여 민코프스키 지지함수와 홀수 고조파 푸리에 급수, 바르비에 정리(둘레 L=πw)의 미분기하·적분기하 두 가지 증명, 블라슈케-르베그 넓이 최소 정리, 와츠의 사각 구멍 드릴의 궤적 방정식(면적 피복률 98.77%), 그리고 3차원 마이스너 다면체와 미해결 마이스너 추측까지 완벽히 해설합니다.
클라우지우스-클라페이롱 방정식과 실제 접촉 압력 계산을 통해 교과서의 '스케이트 날 압력 융해설'을 정량적으로 반증하고, 패러데이의 복빙 현상과 철사 실험의 열전도 진실, 얼음 표면의 나노미터 유사 액체층(QLL), 보든-휴즈의 마찰열 경계층 융해, 그리고 21세기 최신 분자 볼베어링 효과와 점탄성 유변학을 심층 해설한다.
240억 km 떨어진 보이저 탐사선이 23와트 송신기로 보낸 미약한 전파($10^{-16}$ W)와 커피 얼룩이나 로고로 30%가 가려진 QR 코드가 단 1비트의 오차도 없이 10밀리초 만에 복원되는 수학적 원리는 무엇일까? 섀넌의 채널 부호화 정리, 해밍(7,4) 부호의 기하학, 갈루아 체 위의 리드-솔로몬(RS) 다항식 보간법, 그리고 5G와 SSD를 지탱하는 LDPC 부호와 폴라(Polar) 부호까지 완벽히 해설합니다.
아담 엘가의 '1/3파(중심화된 가능세계와 제한적 무차별 원리)'와 데이비드 루이스의 '1/2파(반영 원리와 월요일 2/3 업데이트)'의 엄밀한 수학적 증명부터, 히치콕의 통시적 더치북 논증, 닉 보스트롬의 극단적 잠자는 미녀와 우주론의 인류 원리(SSA 대 SIA)까지 심층 분석한다.
1854년 존 스노의 런던 콜레라 지도에서 시작된 최근접 영역 분할의 기하학. 오일러 다면체 정리를 통한 보로노이 다이어그램의 선형 복잡도 증명, 쌍대 그래프인 들로네 삼각분할의 빈 외접원 및 최소각 최대화 정리, 3차원 포물면 리프팅 사상, 포춘(Fortune)의 스위프 라인 알고리즘, 그리고 자연계의 육각형 패턴과 5G 기지국 배치를 지배하는 로이드 완화법(Lloyd's Relaxation)을 심층 해부한다.
쿡-레빈 정리(1971)에 의해 최초로 증명된 NP-완전 문제인 불 충족 가능성 문제(SAT)는 최악 시간 복잡도가 O(2^n)에 달한다. 그러나 현대 산업용 SAT 솔버는 1,000만 개의 변수와 5,000만 개의 절을 가진 반도체 검증 및 패키지 의존성 공식을 단 몇 초 만에 해결한다. 고전적 DPLL의 한계부터 CDCL(충돌 주도 절 학습), 제1 UIP, 2-리터럴 감시법(2WL), VSIDS, 그리고 랜덤 3-SAT의 상전이(α≈4.267)와 200TB 수학 증명까지 완벽 해부한다.
12×12 픽셀의 좁은 격자 안에 복잡한 한자와 정교한 세리프 글꼴을 선명하게 그려내는 현대 폰트 렌더링의 수리와 시스템 공학: 번스타인 기저 다항식, 2차 및 3차 베지어 곡선, 드 카스텔조 분할 알고리즘, 비제로 와인딩 규칙과 해석적 사다리꼴 면적 적분, TrueType 스택 기반 힌팅 가상머신(VM), ClearType 5탭 FIR 서브픽셀 필터와 감마 보정 선형 블렌딩, 그리고 GPU 시대의 MSDF와 Slug 셰이더까지 완벽 해설.
뮤텍스가 초저지연 시스템에서 일으키는 우선순위 역전과 락 호송대(Lock Convoying) 한계부터, 모리스 헐리히의 합의 수 계층 정리(CAS와 LL/SC의 보편성), 트라이버 스택의 치명적인 ABA 문제 메모리 파괴 메커니즘, 그리고 해저드 포인터(Hazard Pointers)·에포크 기반 메모리 회수(EBR)·RCU까지 체계적으로 해부한다.
옥수수 전분과 물의 혼합물(우블렉, Oobleck) 위를 달리면 가라앉지 않지만 멈추면 늪처럼 빠지는 이유는 무엇일까요? 뉴턴의 점성 법칙부터 오스트발트-드 발레 거듭제곱 법칙, 허셸-벌클리 모델, 하이드로클러스터와 마찰 접촉 힘 사슬 이론, 혈액의 전단 박화, 바이센베르크 효과, 데보라 수, 액체 방탄복까지 비뉴턴 유체의 물리학을 완벽 해설합니다.
아몽통-쿨롱 법칙의 면적 무관성 역설을 보든-테이버 응착 이론과 그린우드-윌리엄슨 통계 접촉역학으로 규명하고, 바이올린 현에서 거대 지진까지 지배하는 디터리히-루이나 속도-상태 마찰 법칙, 클라우지우스-클라페이롱 방정식을 통한 얼음 압력 융해설의 정량적 반박, 그리고 비정합 결정 격자가 만드는 구조 초윤활(Superlubricity)까지 체계적으로 해설한다.
브라우어르 부동점 정리(1911)가 보증하는 커피잔의 정지 분자와 구겨진 지도의 겹침점이라는 일상의 경이에서 출발하여, 콤팩트성·볼록성·연속성의 반례, 중간값 정리·보르수크의 수축 비존재 정리(호몰로지 군과 스토크스 정리)·스페르너의 보조정리를 통한 3가지 증명, 그리고 바나흐·샤우데르·가쿠타니 부동점 정리와 존 내시 균형(1950) 및 애로-드브뢰 일반균형 이론(1954)까지 완벽히 해설합니다.
1729년 미모사 암실 실험과 2017년 노벨상의 전사-번역 피드백 루프(CLOCK:BMAL1 및 PER:CRY)부터 굿윈-골드베터 진동자의 호프 분기 수리모델, 시험관 내에서 DNA 없이 작동하는 시아노박테리아의 KaiABC 단백질 시계, 그리고 아레니우스 법칙을 거스르는 온도 보상성(Q10≈1.0)의 수수께끼까지 일주기 리듬(서카디안 리듬)의 분자생물학·비선형역학·생물물리학을 심층 해설한다.
다익스트라의 격언과 라이스의 결정 불가능성 정리부터 플로이드-호어 논리, Z3 SMT 솔버, 시제 논리와 모델 체킹(TLA+), 아리안 5호 로켓 폭발 사고가 낳은 추상 해석(갈루아 연결), 그리고 대화형 정리 증명기(Coq/Lean 4/CompCert/seL4)까지 수학적 완전 무결성을 달성하는 과학을 해부한다.
콜린 래드포드(Colin Radford, 1975)가 제기한 '허구의 역설(세 가지 전제의 비일관적 삼원조)'을 중심으로 정동의 인지주의, 콜리지의 '불신의 자발적 유예', 켄달 월튼(Kendall Walton)의 '가장 놀이(Make-Believe)' 이론과 준공포(Quasi-Fear), 사고 이론(Thought Theory), 비극의 역설, 상상적 저항, 허구적 대상의 인공물 존재론을 심층 분석한다.
평균 속도의 추구가 어떻게 최악 실행 시간(WCET)을 파괴하는가? 경성/펌/연성 실시간 효용 함수부터 Liu & Layland(1973)의 비율 단조 스케줄링(RMS: 상한 ln 2 ≈ 69.3%)과 최소 마감 우선(EDF: 100%), 그리고 1997년 NASA 마스 패스파인더 우선순위 역전 사고와 우선순위 상속/상한 프로토콜(PIP/PCP)까지 완벽 해부.
아우구스티누스의 시간의 수수께끼와 맥타가트의 『시간의 비실재성』(A계열·B계열 역설)에서 출발하여 현재주의·영원주의(4차원 블록 우주)·성장 블록 우주·이동 스포트라이트 4대 존재론 모델, 특수상대성이론과 안드로메다 역설(Rietdijk-Putnam 논증), 후설의 내적 시간의식 현상학과 볼츠만의 열역학적 시간의 화살을 체계적으로 해부한다.
페테르 브로 밀테르센(2003)이 제시한 100명의 죄수 문제를 중심으로 대칭군의 서로소 순환마디 분해, 길이 ℓ>50인 긴 순환마디의 개수 정리 1/ℓ, 조화수로 유도되는 1 - ln 2 ≈ 31.18%의 생존 확률과 무통신 위험 결합(Coupling)의 원리를 수학적으로 해설합니다.
동일한 증거를 공유하고 동등한 추론 능력을 갖춘 ‘인식적 동등자(Epistemic Peer)’와 정반대의 결론에 도달했을 때, 합리성은 양보(유화주의)를 명하는가 아니면 신념의 유지(확신유지설)를 허용하는가? 크리스텐슨의 독립성 원리, 켈리의 총체적 증거설, 유일성 테제와 허용주의, 오만의 합의 정리까지 현대 분석인식론의 최전선을 심층 해부한다.
