피타고라스가 무리수를 발명했지만, 피타고라스는 무리수를 채텍하지 않았다.

무리수를 채텍한 건 소위 피타고라스 학파고, 피타고라스의 이름을 더럽힌 것도 그들이다.

 

인류 역사의 비극이다.

 

컴퓨터는 메타언어와 최소값과 최대값을 갖는 정수, 유리수를 다룬다.

 

그리고, 현대에 와서 증명되고 있다.

real number 는 인간의 imagine 이지, 자연이 아니라...