저도 개인적으로는 그쪽에 관심이 있는데 아는게 없어서요 질문 몇가지 현재 논리 체계에서는, 일정한 공리 체계에서 참인것은 증명가능하지 않나요? 증명가능하다는게 증명된걸로 알고 있었는데 잘못됐나? 글구 괴델정리는 그 공리체계자체가 무모순인거는 증명할 수 없다는거 아닌가요? 음 기억이 가물가물...쩝 죄송 다음 두번째 프로그램의 본질은 알고리즘(data structure를 포함한)아닐까요? 예를들어 sorting같은 경우 수학적으로 input과 ouput을 정의하더라도 여기에 사용될 알고리즘은 창출!해 내야죠. 그런데 흠.. 생각해보면 sorting의 input과 ouput을 well-define하는것도 쉬운일이 아니겠군요... 제가 기억하기로는.. 음.. 정확한건지 모르겠지만 프로그램 생성기를 연구한 사람 논문 부제가 It's a dream! 이라던데..음.. 그 논문에서 소팅을 예로써 했는데 하긴 했다더군요... 대형컴퓨터로 사흘걸려서... 근데 음.. n-th order therem prooving까지 컴으로 할 수 있는거 맞나요? 그럼 왜 Ferma최후정리 같은거 안시켰나요? 흠... 공리계에 따라 안되는게 있나요? integer까지는 젤 쉬울거 같은데 ... 궁금궁금 제발 누구라도 reply해주시기를.... 언제나 혼돈되는 혼돈