수치해석의 강
정확한 답을 쓸 수 없을 때 얼마나 틀렸는지 아는 계산은 어떻게 발전했을까?
바빌로니아의 √2 근사 → 뉴턴-랩슨 반복법 → 가우스 구적법 → 부동소수점 오차 분석 → 1979년 《LINPACK Users’ Guide》 → 21세기 GPU 계산까지, 닫힌 형태의 답을 구하기 어렵거나 큰 행렬을 다뤄야 할 때 *오차를 통제하며 근삿값을 구하는* 방법의 흐름.
흐름 읽기
도시 사이에서 무엇이 달라졌을까?
- 1
기원전 1800년–1669년
independent comparison
바빌론케임브리지점토판의 √2 근사에서 반복 계산의 질문으로
바빌로니아 점토판 YBC 7289의 √2 근삿값과 17세기 뉴턴식 반복법은 직접 이어진 한 전승선이 아니다. 두 정거장을 나란히 놓으면 ‘정확한 닫힌 답이 없을 때 얼마나 좋은 근삿값을 어떤 절차로 얻는가’라는 오래된 문제가 보인다.
YBC 7289의 60진법 근사 · 뉴턴식 반복 계산이 구간을 지도에 놓기 - 2
1669년–1815년
problem reformulation
케임브리지괴팅겐반복법과 관측 오차가 일반 계산 절차를 요구하다
뉴턴·랩슨 계열 반복법은 방정식의 근을 단계적으로 다듬었고, 가우스의 계산은 천문 관측 오차 속에서 궤도와 미지수를 추정해야 했다. 케임브리지에서 괴팅겐으로 그은 선은 문서 한 권의 이동이 아니라 근사·오차·계산 절차라는 문제의 재구성을 표시한다.
근 찾기 반복법 · 최소제곱 · 가우스 구적법이 구간을 지도에 놓기 - 3
1944년–1955년
team computation
프린스턴로스앨러모스전자 계산이 근삿값을 전쟁 규모의 실험으로 바꾸다
프린스턴의 수학·계산 논의와 로스앨러모스의 무기·수송 문제는 ENIAC 계산과 몬테카를로 방법을 결합한 팀 작업으로 이어졌다. 무작위 표본을 반복해 해를 추정하는 방식은 정확한 식 대신 계산 가능한 실험을 선택했다.
ENIAC 계산 · 몬테카를로 방법 · 오차 추정이 구간을 지도에 놓기 - 4
1948년–1965년
error analysis
로스앨러모스테딩턴빠른 계산보다 믿을 수 있는 계산을 묻다
로스앨러모스의 대규모 계산과 테딩턴 NPL의 제임스 윌킨슨 연구를 나란히 놓으면 반올림 오차가 어떻게 증폭되는지, 알고리즘이 작은 입력 교란에 얼마나 민감한지가 핵심 문제로 떠오른다. 수치해석은 답을 출력하는 기술이 아니라 답을 믿을 조건을 설명하는 학문이 됐다.
부동소수점 오차 · 조건수 · 후방 오차 분석이 구간을 지도에 놓기 - 5
1961년–2024년
software and hardware ecosystem
테딩턴마운틴뷰행렬 알고리즘이 가속기 시대의 공용 엔진이 되다
테딩턴에서 정리된 안정적 QR 알고리즘과 오늘날 가속기 위의 대규모 행렬 계산 사이에는 수많은 라이브러리·표준·하드웨어 팀이 있다. 이 선은 LINPACK·LAPACK과 병렬 계산을 생략한 단선 전파가 아니라, 안정성·이식성·속도의 균형이 계속 다시 설계됐음을 보여 주는 압축 경로다.
QR 알고리즘 · LINPACK/LAPACK · 병렬 행렬 계산 · GPU이 구간을 지도에 놓기
선을 읽는 법
각 선은 관객이 따라갈 문제·문헌·실천의 편집 경로입니다. 한 책의 직선 이동, 단독 발명, 모든 지역에 동일한 수용을 뜻하지 않습니다.