휴고상 수상작인 그렉베어의 'moving mars'를 보면 thinker라는 인류최초의 의식을 가진 컴퓨터의 출현에 대해 이야기합니다. 아 그렇다구요. 저의 질문은 혹시 지금현재 프로그램들 코딩에 종사하는 노동자들을 위한건데 '자동 코드 제너레이터' 뭐이런거 연구하는 분야가 있습니까? 갑짜기 생각난건데 그러니깐 자동코드 제너레이터가 뭐냐면 프로그램의 목적을 가장 간단하게 수학적으로 specify하면 기계가 알아서 그목적을 수행시킬수있는 프로그램을 programmer대신에 짜주는거요. 요즘 프로그램 언어의 개발추세로 보면 현재는 원시적인 단계에 있다고 볼수있겠는데 여기에 대한 reference나 pointer를 알켜주시면 공부해보고싶군요. 지금현재 제 생각이지만 머지않아 지금도 계속일어나고 있지만 '수학방법론' 에 대한 일대 혁신이 일어날것입니다. 마치 뉴우턴과 라이프니츠가 미적분을 발명해서 수학이라는 학문이 본격화된것처럼 만약 위와같은 프로그램의 탄생이 본격화된다면 수학자들은 수식의 복잡성에 구애되지 않고 가장 핵심적인 것들만 생각하게 될것같군요. 결국은 그래서 수학은 다시 메타 피직스로 되돌아 갈것입니다. iLUSiON 환상 �� Department of Mathematics, University of Toronto, Canada chung@math.toronto.edu / Fluid Dynamics, P.D.E., Non-linear System & Dynamics httpd://www.math.toronto.edu/~chung