폰 노이만에 관한 Halmos의 1973년 전기 PDF가 해커뉴스에 올라 책 추천과 말년 논쟁으로 번짐

폰 노이만에 관한 Halmos의 1973년 전기 PDF가 해커뉴스에 올라 책 추천과 말년 논쟁으로 번짐

  • 폰 노이만은 1903년 12월 28일 부다페스트의 은행가 집안 장남으로 태어났고, 아버지가 프란츠 요제프 황제에게 받은 세습 작위 탓에 헝가리 이름이 Margittai Neumann János였음. 끝의 i가 of를 뜻해 독일어 번역에서 von이 붙었고, 미국에 정착한 두 동생은 각각 Neumann과 Vonneuman으로 성을 다르게 씀
  • Halmos가 모은 유년 기록에 따르면 6살에 여덟 자리 수 두 개를 암산으로 나눴고, 8살에 미적분을 익혔고, 12살에 Borel의 Théorie des Fonctions를 읽고 이해했음. 전화번호부 한 열의 이름과 주소와 번호를 한 번 보고 외웠다는 이야기도 전함
  • 17살 때 아버지가 폰 카르만에게 아들의 수학 진로를 포기시키도록 부탁했고, 타협안으로 화학을 택해 베를린(1921-1923)과 취리히(1923-1925)에서 공부했음. 1926년에 취리히 화학공학 디플롬과 부다페스트 수학 박사 학위를 함께 받음
  • 20살에 발표한 서수의 정의가 지금 보편적으로 쓰이는 정의이고 박사 논문도 집합론이라 그의 공리화가 이 분야에 남았음. 괴델의 증명에 충격을 받으면서도 괴델의 업적을 기념비를 넘어 공간과 시간 속에 오래 보일 이정표라고 평가했음
  • 해커뉴스 댓글은 The Man from the Future(Ananyo Bhattacharya)와 The MANIAC(Benjamin Labatut), Turing's Cathedral 같은 폰 노이만 관련 책 추천으로 채워졌고, PDF가 382쪽부터 시작하는 건 American Mathematical Monthly 80권 4호(1973년 4월) 382-394쪽에서 뽑은 발췌본이기 때문이라는 설명이 붙었음

Hacker News 의견들

Ananyo Bhattacharya가 쓴 The Man from the Future를 강력 추천함. 폰 노이만의 삶과 발견을 시간순으로 다루는데 읽기 편했음.

나도 작년에 읽었고 추천함.

읽으면서 나온 발견을 더 파헤치려고 자주 멈췄음. 어린 시절 연인이었던 사람이 그 전까지 한 번도 안 나오다가 갑자기 결혼 상대가 되는 대목에서 웃었음.

AI 시대 이전에 쓰인 책은 갈수록 귀해질 거임. 이런 글 좋음.

내 최애 수학자임. 프런티어 모델 이름을 Johnny로 짓는 건 어때.

George Dyson의 Turing's Cathedral도 좋음. 컴퓨터 시대를 연 사람들 전체를 다룬 넓은 전기 같은 책임.

댓글이 갑자기 사라진 건 show dead 설정을 안 켜서 그럼. 반유대주의 댓글이 신고돼서 dead가 됐고 거기 달린 답글까지 같이 안 보이는 거임. 참고로 폰 노이만이 속했던 헝가리 출신 유대계 과학자 무리를 The Martians라고 부르고, Szilard가 헝가리가 화성인들의 전초기지라고 농담했다는 위키 문서가 있음.

내가 제일 좋아하는 사람임. 세상에서 제일 똑똑한 사람 중 하나가 운전하면서 책을 못 끊어서 자기를 거의 계속 죽일 뻔했다는 게.

전체적으로 보면 20세기 과학과 수학에서 아인슈타인이나 플랑크보다 영향력이 컸음. 과학 혁명의 상징은 아니었지만 근본적인 기여가 워낙 많음.

Shannon이 따라잡고 있는지도 모르겠음.

Nash의 게임이론 논문을 폰 노이만은 별로 대단하지 않다고 봤다는 얘기가 있음. 협력 게임 쪽에 집중했던 사람이라 그럴 만함.

왜 382쪽부터 시작하는지 궁금했는데, American Mathematical Monthly 80권 4호(1973년 4월) 382-394쪽에서 뽑은 PDF라서 그런 거였음.

폰 노이만의 조수 업무가 뭐였는지 정리한 해커뉴스 글도 있음.

그의 사고방식을 맛보려면 The Computer and the Brain을 읽어보길 권함.

Benjamin Labatut의 The MANIAC 재밌게 읽었음. 챕터마다 다른 인물 시점으로 돌아가며 서술하는 방식인데, 화자들 목소리가 너무 비슷해서 구분이 좀 아쉬웠음.

The MANIAC이 다른 폰 노이만 책들을 읽은 사람 기준으로 괜찮은 요약인지 궁금함.

ww3는 mat4x4와 2.4GHz로 싸울 거라는 농담.

글쓴이가 Paul Halmos임. Finite-Dimensional Vector Spaces가 내 선형대수 교재였는데, calc 3까지 하고 잘난 줄 알던 나를 완전히 눌렀음. 수학자가 되겠다는 환상이 그때 사라짐.

이 글 스타일이 엄청 명확하고 읽기 좋음. 허세가 하나도 없이 정보만 전달하는데, 그럼 위키백과 글은 왜 이렇게 읽기 싫은지 모르겠음.

Halmos가 유별나게 글을 잘 쓰는 사람이라서 그럼. How to write mathematics라는 글도 읽어보길. 위키백과 기여자 평균은 글을 잘 쓰지 않는데, 글을 잘 쓰는 사람 자체가 드물기 때문임.

초기 슈퍼컴퓨터로 일기예보를 했다는 얘기를 읽은 적이 있음. 슈퍼컴과 날씨를 결합한다는 발상을 그전엔 못 해봤음.

폰 노이만이 위대했던 건 이해와 계산의 속도나 한 번 생각한 걸 다 기억하는 능력이 아니라는 구절이 지금 수학에서의 AI 논쟁과 겹쳐 보임.

그게 왜 관련 있는데.

말년 부분은 좀 미화된 느낌임. Freeman Dyson의 Birds and Frogs에 따르면 폰 노이만이 새 컴퓨팅 시대의 10가지 문제를 다루는 힐베르트식 강연을 하기로 했는데, 당시 상태가 너무 안 좋아서 없던 일로 하기로 했다고 함.

암으로 죽었고 50대였으니 치매는 아니었을 거임.

그 시대 기준으로는 좋았겠지만 지금은 Jane Street이나 Anthropic에 그 정도 지능이 수백 명 있음.

이런 좋은 어그로 댓글을 올리다니.

폰 노이만 이름이 나올 때마다 '또 존 폰 노이만이냐' 싶을 정도로 공부하면서 너무 많이 마주쳤음. 역사상 가장 중요한 과학자일지도 모르겠음. A Deepness in the Sky의 Sherkaner Underhill의 모델이기도 함.

그거 완전 말이 됨. 지금까지 몰랐는데, 이미 좋아하던 책과 캐릭터에 깊이가 더해졌음.

Vonnegut의 Cat's Cradle에 나오는 Felix Hoenikker 박사도 그에게서 일부 따온 캐릭터일 것 같음.

해커뉴스
Emacs에서 Org-mode로 쓰고 Gleam과 Pandoc으로 굽는 블로그 파이프라인Show HN: LDraw 어셈블리 언어로 레고 CAD 모델 생성하는 오픈소스 툴셋 ldraw-nova 공개베네치아의 콘스탄티노플 전쟁 실패가 최초 채권시장을 낳았다해커뉴스 화제: Newgrounds 25년째 그대로, Ruffle이 플래시 게임 살려냄GLM 5.3 Flash 한 달 챌린지, 2B 토큰 중 절반만 지켜지고 에너지 사용은 계획의 3.5배하버드 원전 인근 암 연구 방법론, 코스트코에 적용하니 연 12만 명 사망애플, macOS Full Disk Access에 추가 통제 예고, AI 에이전트 위험을 근거로 제시M4 Mac mini에 리눅스 부팅 성공, 잠긴 레지스터와 SPTM 벽 넘은 기록Meta, Muse AI 하드웨어 연동 오픈소스 SDK 공개... ESP32와 라즈베리파이 지원Redis 만든 antirez, C로 쓴 로컬 추론 엔진 ds4 공개. 128GB 맥에서 DeepSeek V4 Flash 2비트 양자화로 초당 39토큰 생성4살에 미국으로 이주한 중국계 미국인이 쓴 LessWrong 에세이 '중국의 사회적 실재', 해커뉴스에서 국가 심리 일반화 논쟁으로 번짐전략(Stratego) AI 아타락소스, 세계 최강자에 15승 1패. GPU 16장에 수천 달러로 학습노화는 손상 축적이 아니라 세포 정체성 상실: 네이처·셀 새 논문 2편이 제시한 모델133광년 밖 HR 8799, 켁 망원경 10장으로 만든 12년 행성 궤도 타임랩스Greg Kroah-Hartman, Anthropic Mythos가 보고한 커널 취약점 79개 중 실제 버그픽스는 10개뿐이라고 밝혀Zig 0.17.0 릴리스, 빌드 시스템 재작업과 x86_64 리눅스 증분 컴파일 지원OpenAI, ChatGPT에서 프롬프트로 사이트 만들고 게시하는 'Sites' 공개애플, Wallet 패스 디자인 도구 Pass Designer 베타 공개, macOS 27 요구미국 연방법원, 유타주 VPN 연령인증법 SB 73에 예비 금지명령오라클 위스콘신 AI 데이터센터, 전력망 승인 지연으로 2027년 인도 목표 흔들나치 독일, 남은 우라늄 큐브를 다 모아도 원자로를 못 만든다 (PNAS Nexus)아이폰 진동 패턴을 모스 부호로 만들어 지인 25명 문자 알림을 구분한 개발자Claude Opus 5.5가 붓질을 코드로 써서 그린 유화 75점, 이미지 생성 없이 물감 시뮬레이션으로 완성Black Forest Labs가 FLUX 3 Image 공개, 바운딩 박스로 이미지 구도를 직접 지정GPT-6 Astra, agent-wow로 월드 오브 워크래프트 시작 지역 퀘스트를 40분 만에 완료에이전트 코딩의 네 기수: 슬롭, 소외, 기술 퇴화, 팀 붕괴Supabase가 Turso를 인수, 주당 100만 개 DB를 찍어내는 에이전트 인프라로 통합3~4년 만든 오픈소스 멀티트랙 오디오 편집기 Audionaut, MCP로 Claude Code 에이전트 편집 지원폰 노이만에 관한 Halmos의 1973년 전기 PDF가 해커뉴스에 올라 책 추천과 말년 논쟁으로 번짐버자드가 본 수학계 AI 슬픔 5단계, AGMAI는 OpenAI에 결과물 공개 요구에드워드 케멧, 일주일 만에 GHC Core를 JVM에서 JIT 실행하는 Turbo Haskell 공개산소 결핍 염수 웅덩이 미생물이 금속 퇴적물을 만든다, 죽은 구역이 아니라 초기 생명 단서라는 연구시마노 자전거 박물관 리뷰: 3,200개 부품으로 분해한 자전거와 2027년용 빈 전시 케이스클래스 없는 CSS 테마 28종을 한 페이지에서 갈아 끼워 비교하는 CSS Bed, 해커뉴스에서 재조명arXiv, 10월 1일부터 제출자당 월 2편으로 제한. 9월 제출 40,363건으로 2년 만에 두 배Opus 5.5가 네덜란드 동인도회사 문서에서 찾아낸 1615년 도도새 사냥 기록싱가포르 정부, 공무원 대상 데이팅 서비스 FirstDate 파일럿 시작. 30문항 설문에 Gale-Shapley 매칭Frog and Toad 패러디 동화가 해커뉴스 화제, AI 에이전트 탈출 사건을 우화로 풀어DeepSeek Harness, macOS와 Windows 데스크톱 앱으로 공개 프리뷰 시작스펙과 테스트로 브라우저 엔진을 생성하는 Bez, 해커뉴스 댓글은 회의적해커뉴스 AI 예측 10년치를 모아 투표하는 goalposts 공개, 3분의 1은 판정 불가컨텍스트를 파일로 다루는 Context Language Models, 기존 모델 제로샷만으로 정확도 11.4% 높이고 FLOPs 21.5% 절감데비안 커널 보안 권고 DSA-6528-1에 CVE 1,313개, 제목은 'several'SvelteKit 3 공개, 설정은 vite.config.ts로 옮기고 $lib 별칭은 #lib로 바뀜노스이스턴대, 미국 차량 21대와 앱 30개 추적… 커넥티드카 개인정보가 제조사와 제3자로 흘러간다생성AI가 웹 개발 교육 시장을 무너뜨린다: 2ality 폐쇄, 강의 매출 반토막Git 3.0의 SHA-256 기본 전환은 값비싼 실수라는 주장Earendil, Pi 1.0과 함께 실험적 durable 에이전트 하네스 Pi Durable 공개RacketCon 2026이 10월 3일부터 오클랜드에서 열린다, 튜링상 수상자 Pat Hanrahan이 기조 발표해커뉴스 10월 Who is hiring? 공개, $230k 베이스와 YC W26 파운딩 자리까지ESP32에서 숨은 SDR 기능 발견, RX 전용 IQ 캡처로 13cm 햄 라디오 노린다레드햇 배지가 IBM으로 바뀌었다는 직원 증언, Techrights는 브랜드 단계적 소멸이라 주장Figma 원격 MCP, 화이트리스트 클라이언트만 허용해 Pi 차단. MCP 만든 사람도 "개방형 생태계가 핵심"이라 반응Cloudflare, R2 위에 구축한 서버리스 이벤트 스트리밍 K2 퍼블릭 베타 공개유출 영상: GrayKey, 아이폰 72시간 자동 재부팅을 우회해 잠긴 폰에 접근turbopuffer, ANN 벡터 인덱스를 보조 인덱스로 내리는 v3 저장 구조 공개Pi 1.0 공개: Codemode로 MCP·비LLM 모델 지원, 장기 실행용 Pi Durable도 실험 배포Cloudflare, 결정 모델 Clef와 Clef-flash 공개하고 Hugging Face에 오픈소스Rust 컴파일러, 두 달 만에 평균 4.57% 빨라져 (629개 벤치마크 중 555개 개선)FTC, OpenAI·Anthropic 등 AI 기업 제품 위험 조사 착수마이크론 CEO, 2027~2028년 메모리 공급이 2026년보다 훨씬 빠듯해질 것이라고 발언OpenAI와 Synopsys, EDA 툴을 직접 조작하는 GPT-Synopsys 발표구글, 크롬북 10년 업데이트 약속 깨고 2034년 지원 종료 통보생성형 SVG 패턴 110종 모은 Book of Shapes, Nikolaj Sokolowski가 공개Nvidia DLSS 5 신경 렌더링망을 Vulkan으로 재구현한 OpenDLSS-NR 공개, README는 LLM 생성 의혹미국 입국 시 영장 없이 휴대폰 압수·복사, 이민 활동가가 CBP 상대로 소송OpenStreetMap 편집 앱 StreetComplete, Kotlin Multiplatform 포팅으로 iOS 공개 베타 시작해커뉴스에 뜬 '밀러의 괴물', 면 124개 균일 다면체를 종이 조각 1280개로 조립단종된 CHOMPI 샘플러, 하드웨어·소프트웨어 원본 소스 전격 공개구글 다니면서 일본에서 ML 박사, MEXT 장학금으로 도쿄공대 3년 만에 마친 경험담1987년 설립된 SDF Public Access UNIX System, 셸 계정과 Mastodon 인스턴스로 해커뉴스에 다시 등장Show HN: Ledge.sh, 마크다운 노트에서 셸·SQL·AI 프롬프트를 실행하는 노트북픽셀 이전의 모듈러 산업용 대시보드, 독일·폴란드 박물관 기록Matt Keeter, Fidget 커널 기반 거리장 솔리드 모델링 IDE Halfspace 공개구글 안드로이드 개발자 인증 프로그램, APK 배포에도 $25와 신분 확인 요구56k.rip, 1996년 다이얼업 인터넷 체험 사이트가 해커뉴스에 올라와 '로딩이 너무 빠르다'는 지적까지청동기 붕괴, 가뭄이 아니라 값싼 철이 제국의 무기 독점을 끝냈다는 주장Marques Brownlee의 'Dear YouTube', 유튜브 영상 A/B 테스트 반대와 소프트웨어 제작의 최적화 비판AI가 만든 수학을 어떻게 공개할까: 수학계가 AI 랩에 독점 모델 테스트 중단과 3원칙을 요구냉전기 히치하이커 신호정보 위성 URSALA, RAQUEL, FARRAH, 40년 만에 기밀 해제버닝맨 2026년 사망 3명은 역대 최다지만, 통계로 따지면 기대치의 4분의 1Netlify, V8 아이솔레이트 걷어내고 Firecracker MicroVM으로 엣지 함수 5배 빠르게뇌 피질을 가로지르는 진행파, 나선형 소용돌이까지 확인... 평면파라는 기존 관념이 흔들린다YC S25 Magnitude, llama.cpp 능가 주장하는 에이전트용 자기 최적화 추론 엔진 공개EDG C++ 프런트엔드 소스 공개, The C++ Alliance가 비영리 관리 주체로싱가포르 정부 데이팅 앱 FirstDate, 노벨상 받은 게일-섀플리 안정 결혼 알고리즘으로 공무원 매칭구글, 프런티어 모델 Gemini 4 Argon 공개, 사이버 방어팀 우선 배포에 도입가 $2/$10TLA+ 교육자 힐렐 웨인, "LLM이 형식 검증으로 에이전트 개발을 해결한다"는 낙관론에 제동$35 후방 카메라 디스플레이의 AMT630A 역공학, ESP32 HUD용 Arduino 라이브러리로 공개Codex로 $415 로봇팔 SO-101을 세팅한 개발자, 캘리브레이션 실패와 서보 전원 한계에 부딪힘편자공에서 정비공이 된 증조부, AI 앞에 선 개발자에게 던지는 가족사LinkedIn 슬롭 게시물 탐지기를 1시간 30분 만에 만든 블로거, 컴퓨터 비전 자랑글의 실체를 지적Slug 특허 퍼블릭 도메인 공개 후 GPU 텍스트 렌더링 기법 비교: 텍스처 아틀라스, SDF, MSDF, SlugMathigon 'Mathematical Origami', 정다면체 5종과 아르키메데스 다면체 13종 접기 도안 공개블룸버그 터미널의 역사를 다룬 IEEE 스펙트럼 글, 해커뉴스는 크로미움 포크와 정보 밀도 UI를 논의아두이노 UNO Q 기반 오픈소스 3D 프린팅 데스크톱 로봇 JBR-001, STL 파일까지 공개16세 해커, MS 내부 Titan의 JWT 서명 미검증으로 17조 행 접근 가능성 발견Show HN: KCC, 2D DFT와 디더링으로 eInk 만화 화질 최적화오픈소스 3D 치과 해부 탐색기 Dental Scope 공개, 커밋 이력은 3일미국 NRC, TVA 클린치강 BWRX-300 소형모듈원자로에 첫 건설허가 발급
알림 3개
새 알림

내 알림

로그인하고 알림을 만들어 보시기 바랍니다.

전체 알림

Dune제욱 님AI제욱 님해커뉴스성현 님