공학도적인 것만 파는거고
컴퓨터의 본질은 수학에 있음
불완전성의 원리를 증명하기 위해 앨런 튜링이 튜링 머신을 고안하고
이것이 람다 계산법과 동치임을 알 때
컴퓨터는 더이상 사람 대신 계산해주는 기계가 아니라 수학 그 자체임