알고리즘적 사고를 수학이 지지하므로 컴퓨터가 작동하고 기능할 수 있지만, 수학적 사고는 (아직까지는) 인간 만이 가능하므로 인간 만이 ‘호기심을 통제된 탐구로 전환하는 두뇌 기계(데이비드 해킷 피셔)’로 수학적 질문을 떠올리게 될 것이다.
이러한 수학을, 도대체 어떻게 마주해야 할 것인가.
수학자 조던 엘렌버그가 말했듯이, "우리는 컴퓨터가 할수 없는 일을 알아내는 데 매우 능숙하다. 미래에 지금 우리가 알고있는 모든 정리를 컴퓨터로 증명할 수 있게 되더라도 우리는 컴퓨터가 풀지 못하는 다른 문제를 찾아낼 것이고, 그것은 바로 ‘수학‘이 될 것이다." - P240
|