체르멜로는 수학자들이 자신의 증명을 비판하는 것을 의식하여 새로운 ‘공리적 집합론‘에 대해 연구하기 시작했고, 1908년에7개의 공리로 이루어진 공리계를 발표한다. 이 7개의 공리 중에는 선택공리도 포함된다. - P263
튜링머신과 계산 가능성튜링은 헝가리 출신의 또 다른 천재 수학자 요한 폰 노이만Johann von Neumann, 1903~1957과 함께 컴퓨터의 아버지로 불린다. 그는 컴퓨터과학에 필요한 이론적 배경을 설립하는 데 공헌했고,폰 노이만은 최초의 컴퓨터라고 할 수 있는 미국 육군의 에니악ENIAC, Electronic Numerical Integrator and Computer의 개발에 공헌했다. - P264