단위원에서 무작위로 그은 현이 내접 정삼각형의 한 변보다 길어질 확률은 1/3인가, 1/2인가, 아니면 1/4인가? 조제프 베르트랑이 1889년에 제시한 기하학적 확률의 역설부터 라플라스의 불충분한 이유의 원리와 케인스의 와인-물 역설의 붕괴, 콜모고로프의 측도론적 공리화, 제인스의 변환군 불변성과 적분기하학(푸앵카레-산탈로 운동학적 측도), 그리고 제프리스 사전분포까지 심층 해설한다.
프레더릭 피치(Frederic Fitch)가 1963년에 발표한 가지성의 역설(Paradox of Knowability, 알론조 처치의 1945년 익명 심사 보고서에서 유래)을 완벽히 해부한다. 반실재론과 검증주의의 온건한 ‘가지성 원리’(∀p(p → ◇Kp))가 인식 양상 논리의 최소 규칙(지식의 사실성과 연언 분배)만으로 어떻게 ‘전지성 원리’(∀p(p → Kp))로 붕괴하는지 형식 증명을 통해 도출하고, 마이클 더밋의 직관주의 논리, 닐 테넌트의 데카르트적 명제 제한, 도로시 에징턴의 2차원 양상 논리, 동적 인식 논리(PAL) 등 4대 탈출 경로를 심층 분석한다.
18세기 카지노를 매혹시킨 마틴게일(Martingale) 배액 베팅법의 함정부터, 호이겐스와 파스칼의 ‘도박꾼의 파산 문제’에 대한 흡수벽 랜덤 워크 엄밀해, 그리고 폴 레비와 조지프 두브가 구축한 현대 마팅게일 이론과 선택적 정지 정리(Optional Stopping Theorem)까지 완벽하게 유도하고 해설한다.
알렉산드리아의 아타나시우스 일화와 미국 연방대법원의 브론스턴 위증 판결에서 출발하여, 신념 논리에서의 거짓말의 형식적 정의, 뻔뻔한 거짓말(Bald-Faced Lies), 그라이스의 협동 원리와 대화 함축(Implicature), 베이즈 합리적 화행(RSA) 모델, 칸트의 엄격주의와 전략적 오도, 제니퍼 솔의 윤리적 비판, 그리고 해리 프랑크푸르트의 『개소리에 대하여(On Bullshit)』가 현대 대규모 언어 모델(LLM)의 환각 문제에 던지는 통찰을 심층 분석한다.
1943년 로버트 도프만(Dorfman)의 2단계 풀링(Pooling) 기법부터 섀넌의 정보이론적 하한, 12개의 가짜 동전 양팔저울 문제와 적응형 이진 탐색, 카우츠-싱글턴의 분리 행렬(Disjunct Matrix)과 리드-솔로몬 유한체 다항식 설계, 그리고 압축 센싱(Compressed Sensing)과 코로나19 P-BEST 검사법까지 심층 해설합니다.
프레게의 뜻과 지시체, 러셀과 설의 기술이론부터 크립키 『이름과 필연성』의 고정 지시어, 퍼트넘의 '쌍둥이 지구' 사고실험(H2O와 XYZ), 버지의 사회적 외재주의, 그리고 현대 거대언어모델(LLM)의 기호 접지 문제까지 '의미는 머릿속에 있지 않다'는 언어철학의 패러다임 전환을 심층 해설한다.
존 로크의 기억 이론과 토머스 리드의 용감한 장교 역설, 버틀러의 순환논법 반박, 신체설과 동물주의, 그리고 데릭 파핏의 텔레트랜스포터 및 뇌 반구 분열 사고실험을 통해 수적 동일성에서 심리적 연속성(관계 R)으로의 철학적 전환을 심층 분석한다.
상사 없이 평균 연봉만 계산하는 가법 비밀 분산부터 앤드류 야오의 백만장자 문제, 샤미르의 (t, n) 임계값 비밀 분산과 라그랑주 보간법, 비버의 곱셈 트리플, 불감 전송(OT)과 가블드 서킷(Garbled Circuits), 그리고 동형암호(FHE)·영지식 증명(ZKP)과의 차이점 및 금융·의료 응용까지 수학적으로 완벽히 해부합니다.
110℃의 철판에서는 1초 만에 증발하는 물방울이 200℃가 넘는 고온의 프라이팬 위에서는 왜 수 분 동안이나 살아남아 마찰 없이 미끄러져 다닐까요? 1756년 라이덴프로스트의 고전 논문부터 누키야마 시로의 비등 곡선과 임계 열유속(CHF), Biance-Clanet-Quéré의 증기막 윤활 스케일링 법칙, 내부 열 마랑고니 대류, 별 모양 고유모드 진동, 래칫 자기추진, 그리고 원자로 냉각재 상실 사고(LOCA) 재관수 급랭 물리까지 완벽히 해부합니다.
도심 교통 체증을 줄이기 위해 초고속 우회도로나 다리를 신설했음에도 불구하고, 네트워크를 이용하는 모든 운전자의 통행 시간이 오히려 늘어나는 '브라에스의 역설(Braess's Paradox)'. 디트리히 브라에스의 1968년 논문 속 4정점 다이아몬드 네트워크의 우월전략 분석부터, 워드롭(Wardrop)의 두 가지 원리, 베크만-로젠탈 볼록 퍼텐셜 함수, 러프가든과 타르도시의 무질서의 대가(Price of Anarchy) 상한 4/3 엄밀 증명, 코언과 호로위츠의 용수철-실 역학 실험, 그리고 서울 청계천 고가도로 철거와 피구 혼잡통행료까지 체계적으로 해설한다.
접착제도 흡반도 없이 수직 유리벽과 천장을 질주하는 토케이도마뱀붙이(Gekko gecko)의 건식 생체 응착 메커니즘 완벽 해설: 아리스토텔레스의 기록과 7대 고전 가설을 논파한 Kellar Autumn의 결정적 실험부터 런던 분산력과 카시미르-리프시츠 양자전기역학, 강모(Seta)와 스파튤라(Spatula)의 7단계 계층 구조, 응착력을 3만 배 증폭하는 JKR 접촉역학의 접촉 분할 원리, 그리고 15밀리초 만에 발을 떼는 켄달(Kendall) 박리 방정식까지 다룬다.
1,000달러가 보이는 투명한 상자 A와 100만 달러 혹은 0달러가 든 불투명한 상자 B 앞에서, 당신의 선택을 99% 확률로 미리 적중시키는 예언자 오메가(Omega)를 마주했을 때 합리적인 의사결정자는 '상자 하나만(One-Box)' 가져야 할까, 아니면 '두 상자 모두(Two-Boxes)' 가져야 할까? 증거적 결정이론(EDT)과 인과적 결정이론(CDT)의 정면충돌, 주디어 펄(Judea Pearl)의 do-연산자와 공통원인 포크 절단, 흡연 병변과 막스 베버 칼뱅주의 예정설의 구조적 동형성, 엘스의 '간지럼 방어(Tickle Defense)', 데이비드 루이스의 '쌍둥이 죄수의 딜레마' 동형 정리, 그리고 현대 AI 얼라인먼트 최전선의 기능적 결정이론(FDT)을 완벽히 정식화한다.
라플라스의 악마와 인과적 결정론, 피터 판 인바겐의 귀결 논증, 양자역학의 확률과 '운의 논증', 갤런 스트로슨의 기본 논증, 데이비드 흄과 해리 프랑크푸르트의 반례 및 위계적 욕구 이론, P.F. 스트로슨의 반응적 태도, 벤저민 리벳의 준비전위 실험까지 자유의지와 도덕적 책임을 둘러싼 현대 분석형이상학과 신경철학의 최전선을 심층 해부한다.
백열전구가 수천 도의 고온을 필요로 하는 반면, 반딧불이와 심해 생물이 실온에서 높은 양자 수율로 빛을 방출하는 원리를 심층 해설합니다. 플랑크 흑체복사와 루미네선스의 통계역학적 차이, 루시페린-루시페레이스 반응의 1,2-다이옥세타논 중간체와 CIEEL 전자 여기 메커니즘, GFP 형광 및 BRET와의 차이, 그리고 AkaBLI 생체 이미징과 자가 발광 식물 응용까지 총망라합니다.
뉴턴이 완전하게 풀어낸 이체 문제의 완전 적분가능성과 위상 공간 자유도 계산부터, 오일러와 라그랑주의 5개 평형점(L1~L5, 제임스 웹 우주망원경과 트로이 소행성군), 카오스 이론을 탄생시킨 푸앵카레의 1889년 호모클리닉 얽힘, 변분법으로 증명된 8자형 주기 궤도, 그리고 태양계의 운명을 결정하는 KAM 정리와 500만 년의 리아푸노프 시간까지 수리물리학적으로 완벽 해부합니다.
표면장력의 열역학적 기원과 영-라플라스 방정식부터 극소곡면, 작은 거품이 큰 거품에 흡수되는 오스트발트 숙성과 폐 계면활성제(DPPC)의 생리학, 플라토의 법칙과 109.47도 정사면체 각, 켈빈 추측을 107년 만에 깨뜨린 위어-펠란 구조, 그리고 비누막의 자가 치유를 가능케 하는 깁스-마랑고니 탄성까지 미분기하학과 유체역학으로 완벽 해부한다.
모르포나비의 날개를 막자사발에 갈면 왜 칙칙한 갈색 가루가 되고, 아세톤을 떨어뜨리면 즉시 파란색이 사라질까? 박막 간섭, 분포 브래그 반사기(DBR), 모르포나비의 '질서와 무질서의 협주', 그리고 맥스웰 방정식이 유도하는 3차원 광결정과 광밴드갭까지 수천만 년 동안 바래지 않는 구조색(Structural Color)의 파동광학을 완벽 해부합니다.
오직 흑백으로만 이루어진 방에서 자란 천재 신경과학자 메리가 인간 색채 시각의 모든 물리적·신경생물학적 법칙을 완벽히 습득한 뒤, 방을 나와 처음으로 잘 익은 빨간 토마토를 보았을 때 그녀는 새로운 사실을 배우게 될까? 네이글의 박쥐, 잭슨의 지식 논증, 차머스의 철학적 좀비와 2차원 양상 의미론, 물리주의의 반격, 러셀적 일원론, 그리고 통합정보이론(IIT)까지 심리철학의 핵심을 분석합니다.
Avery Wang이 2003년 발표한 Shazam 음향 지문 알고리즘(단시간 푸리에 변환 STFT, 가보르-하이젠베르크 불확정성 원리, 성좌도 Constellation Map 피크 추출, 32비트 조합 해싱과 시간 오프셋 히스토그램)과 칵테일 파티 효과 및 독립 성분 분석(PCA 백색화의 한계, 중심극한정리의 역이용, 첨도, 네겐트로피, FastICA)의 수학적 원리를 완벽 해부합니다.
펜로즈 삼각형과 M.C. 에셔의 무한 계단은 어느 한 구석을 잘라 보아도 물리적으로 완벽하지만, 전체를 하나로 이어 붙이는 순간 3차원 공간에서 파탄에 이른다. 투시 투영이 지워버리는 깊이 정보, 로저 펜로즈의 층(Sheaf)과 체흐 코호몰로지(Čech Cohomology)를 통한 불가능 도형의 엄밀한 정식화, 그리고 스기하라 고키치의 불가능 입체부터 양자 맥락성까지 심층 해설한다.
