| [ KAIST ] in KIDS 글 쓴 이(By): luvbug () 날 짜 (Date): 2002년 11월 29일 금요일 오후 03시 39분 05초 제 목(Title): Re: 일더하기 일은 이의 증명 이 빼기 이가 트이였던가요? ^^ 사실 이런 문제는 수의 개념이 처음엔 손가락 가지고 하던 것을 억지로 공리체계로 만들면서 그 사이에 야기된 복잡성으로 인해 골치아프게 된 것이죠. 사람들이 수를 계산할 땐 거의 뇌에 ROM처럼 박혀버렸으니까요. 그걸 이상한 체계에 맞춰 증명하라고 하니까.. .. 참고로 피애노 앳셤을 만족하는 다른 형태로도 덧셈을 정의할 수 있습니다. 간단한 예로서 리스트구조도 피애노 액셤을 만족합니다. nil, cons, cdr을 이용하면. 그 경우 수는 리스트의 길이로 표시되고 플러스 연산은 append 쯤의 함수로 표현되겠죠. 앞에 정의한 plus함수가 append와 비교해보면 cons대신 add1 이라는 이름으로 바꾼 정도니까요. abstract data type에서 general list를 중요하게 다루는 것도 그것이 갖는 단순성과 아울러 응용이 무한하기 때문일 것입니다. |