불완전성 | 수학의 반란

불완전성. 레베카 골드스타인. p285 쿠르트 괴델의 증명과 역설 모든 오류는 (감정이나 교육과 같은) 외부 요인 때문이다. 이성 자체는 오류를 범하지 않는다-쿠르트 괴델 “히틀러가 나무를 흔들고 나는 사과를 줍는다” 프린스턴의 주민들은 히틀러를 피해 유럽으로부터 건너온 수많은 고급 인력들 때문에 더욱 세계화되었다…그 가운데 가장 탐스러운 몇몇 사과들은 지구의 한 좁은 구석에 지나지 않는 이곳으로 굴러 들어오게 되었다.(아인슈타인과 … 불완전성 | 수학의 반란 더보기

너무 많이 알았던 사람 | 컴퓨터의 아버지 튜링

너무 많이 알았던 사람. 데이비드 리비트. p333 앨런 튜링 컴퓨터의 아버지는 찰스 배비지? 천재수학자 앨런 튜링!!! 튜링의 위대한 업적? 앨런 튜링은 대부분의 사람들이 쓸모없게 여기는 순수수학의 머나먼 영토와 산업계를 멋들어지게 연결하는 다리를 놓았다(암호 해독의 실용적 목표!) 괴델은 완전성과 무모순성을, 튜링은 결정가능성을 공략 계산 가능수와 계산기 페르마, 오일러. 가우스, 아벨, 리만과 같은 ‘진짜’ 수학자들의 ‘진짜’ 수학은 … 너무 많이 알았던 사람 | 컴퓨터의 아버지 튜링 더보기