평균 속도의 추구가 어떻게 최악 실행 시간(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)’와 정반대의 결론에 도달했을 때, 합리성은 양보(유화주의)를 명하는가 아니면 신념의 유지(확신유지설)를 허용하는가? 크리스텐슨의 독립성 원리, 켈리의 총체적 증거설, 유일성 테제와 허용주의, 오만의 합의 정리까지 현대 분석인식론의 최전선을 심층 해부한다.
‘우리가 존재할 때 죽음은 없고, 죽음이 왔을 때 우리는 존재하지 않는다’는 에피쿠로스의 고전적 도전에서 출발하여, 노직의 경험 기계, 네이글의 관계적 해악, 펠드먼의 가능세계 박탈 이론, 맥마한의 시간-상대적 이익 이론, 시점 퍼즐, 루크레티우스의 대칭성 논증, 그리고 버나드 윌리엄스의 불멸의 권태(마크로풀로스 사례)까지 죽음의 철학을 심층 분석합니다.
심하게 구부러진 니티놀(Nitinol, NiTi) 와이어가 뜨거운 물에 닿는 순간 원래 모양으로 되돌아가는 이유는 무엇일까? 고대칭 오스테나이트(B2 구조)와 저대칭 마르텐사이트(B19' 구조)의 무확산 열탄성 변태, 24가지 결정학적 변체(Variant)의 자기조절과 탈쌍정(Detwinning), 란다우-팔크(Landau-Falk) 자유 에너지, 클라우지우스-클라페이롱 방정식, 초탄성, λ2 = 1 적합성 조건 및 혈관 스텐트·화성 로버 타이어까지 고체물리학 관점에서 심층 해설합니다.
소크라테스의 주지주의와 계량술, 플라톤의 영혼 삼분설, 아리스토텔레스 『니코마코스 윤리학』의 실천적 삼단논법부터 도널드 데이비슨의 조건부 판단 논리, 리처드 홀턴의 결심 이론, 그리고 조지 에인슬리의 쌍곡할인 V(D)=A/(1+kD)과 율리시즈의 사전구속까지 2400년에 걸친 의지박약의 수수께끼를 해부한다.
버틀러 램슨의 접근 제어 행렬 열 분할(ACL)과 행 분할(Capability) 비교, 놈 하디의 1988년 혼란스러운 대리인 문제(Confused Deputy Problem), 마크 밀러의 객체 역량(OCap) 모델과 최소 권한 원칙(POLA), Facet을 통한 권한 감쇠와 Redell의 Caretaker/Membrane 철회 패턴, 그리고 seL4, FreeBSD Capsicum, CHERI 하드웨어 포인터, WebAssembly WASI의 현대적 구현까지 심층 분석합니다.
1880년 퀴리 형제의 발견과 리프만의 열역학적 맥스웰 관계식으로부터 노이만 원리에 의한 반전 대칭 중심 금지 법칙, 32개 결정 점군의 계층 구조, α-석영과 페로브스카이트 강유전체(PZT)의 미시적 메커니즘, 수정 진동자의 BVD 등가 회로와 초고 Q값 공진, 그리고 위상배열 초음파와 STM/AFM 원자 현미경까지 체계적으로 규명한다.
비둘기집 원리에 의한 만능 압축 불가능성 증명부터 섀넌 엔트로피와 정보원 부호화 정리, 크래프트-맥밀란 부등식, 허프만 부호화, 산술 부호화, 비대칭 수 체계(ANS / Zstandard), LZ77 슬라이딩 윈도우 및 BWT 변환까지 무손실 압축의 수리적 본질을 해부합니다.
동시성 컴퓨팅의 데드락 이론 완벽 해부: 다익스트라의 식사하는 철학자 문제, 코프만의 4가지 필요조건(1971), 자원 할당 그래프(RAG)의 단일/다중 인스턴스 사이클 정리, 전체 락 순서화(Total Lock Ordering)의 귀류법 증명, 은행원 알고리즘 5×3 행렬 완전 추적, RDBMS 대기 그래프(WFG)와 분산 Wait-Die / Wound-Wait, 타조 알고리즘, 데드락·라이브락·기아 상태 비교.
'물이 자체 농도 구배를 따라 확산한다'는 교과서적 오해를 바로잡고, 깁스 화학 퍼텐셜과 혼합 엔트로피로부터 반트호프 법칙을 엄밀히 유도한다. 아쿠아포린 수분 통로, 스탈링 방정식, 폴리아마이드 TFC 역삼투막의 용해-확산 모델과 열역학적 최소 에너지 및 파울링 문제를 심층 분석한다.
겨울철 문손잡이 정전기 충격과 화산 번개부터 N95 일렉트릿 마스크, 마찰전기 나노발전기(TENG)까지. 왕중린의 전자구름 중첩(OEC) 모델, 이온 분배, 기계화학적 결합 절단, 파센의 법칙을 통해 2,600년 된 접촉 대전의 미스터리를 심층 해부합니다.
카르타고 건국 신화의 디도 여왕 문제에서 출발하여 평면 등주 부등식 4πA ≤ L², 슈타이너 대칭화와 4-경첩 기법, 바이어슈트라스와 페론의 존재성 비판, 후르비츠의 푸리에 급수 증명, 그리고 3차원 비누방울과 북소리 기본 주파수의 파버-크란 정리까지 수학적으로 해설합니다.
암호학이 메시지의 '내용'을 숨긴다면, 스테가노그래피는 '통신의 존재 자체'를 숨깁니다. 시몬스의 죄수 문제, Cachin의 쿨백-라이블러 발산 보안 정의, 공간 영역 LSB 치환과 카이제곱 공격, JPEG DCT 변환 및 F5 행렬 부호화, 제곱근 용량 법칙과 디지털 워터마킹을 심층 분석합니다.
한 번 균일하게 섞인 수용액이 외부의 아무런 조작 없이도 적갈색과 푸른색 사이를 메트로놈처럼 수십 번 왕복하고, 페트리 접시에 가만히 두면 아름다운 동심원과 회전하는 나선파를 스스로 그려냅니다. 1951년 '열역학 제2법칙에 위배된다'며 학계에서 묵살당했던 벨로우소프-자보틴스키(BZ) 반응의 극적인 역사부터 프리고진의 소산 구조론, FKN 메커니즘, 오레고네이터 미분방정식과 호프 분기, 그리고 심실세동과 스스로 걸어가는 스마트 하이드로겔에 이르는 비평형 과학의 정수를 해부합니다.
전 세계적 히트 보드게임 『도블(Dobble / Spot It!)』에 숨겨진 유한사영평면 PG(2,q), 파노 평면(Fano Plane), 갈루아 체 위의 동차좌표, 오일러의 36장교 문제, 브룩-라이저-초울라 정리, 그리고 크레이-1 슈퍼컴퓨터의 10차 비존재 증명과 12차 미해결 문제까지 완벽 해설.
패미컴, 슈퍼패미컴, PS2, 게임큐브 같은 커스텀 LSI 덩어리인 콘솔이 어떻게 현대 PC에서 완벽히 동작할까? 보편 튜링 기계 정리부터 스위치 인터프리터의 분기 예측 페널티, SSA IR과 데드 플래그 제거를 활용하는 JIT(Dynarec), 호스트 MMU를 하이재킹하는 Fastmem, 3.58MHz SNES 재현에 3GHz CPU가 필요했던 사이클 정확도 코루틴 동기화까지 해부한다.
고체물리학과 비평형 열역학으로 해부하는 열전 변환의 원리: 온사게르 상반 관계를 통한 제벡 효과·펠티어 효과·톰슨 효과의 완벽한 통합, 무차원 성능지수 ZT와 카르노 한계 효율 유도, S-σ-κ 트레이드오프(피사렌코 관계와 비데만-프란츠 법칙), 그리고 포논 글래스-일렉트론 크리스탈(PGEC)·전척도 나노구조화·SnSe 및 심우주 원자력 전지(RTG) 응용까지.
폴리아의 항아리(Pólya's Urn) 모델을 중심으로 교환 가능성과 베타-이항 분포, 둡의 마팅게일 수렴 정리를 통한 Beta(r,b) 극한 분포 유도, 대수의 강법칙 및 드 피네티 정리와의 비교, 브라이언 아서의 경로 의존성과 선호적 연결 멱법칙, 디리클레 과정을 수학적으로 해설합니다.
