| [ KAIST ] in KIDS 글 쓴 이(By): luvbug () 날 짜 (Date): 2002년 11월 27일 수요일 오후 02시 04분 26초 제 목(Title): Re: 일더하기 일은 이의 증명 .. 혹시 공돌님이면 위의 답이 전혀 도움이 되지 않을 것 같아서.. 수의 체계는 어떤 기본값에서 시작합니다. 그리고 그다음(이전) 또 그다음 식으로.. 물론 순서개념이 형성되었다고 가정하고. 기본값을 0이라 하죠. 공집합일 수 있고.. 다음 개념은 여러가지 방법으로 정의됩니다. 집합론에서 네스팅을 하거나 Peano처럼 sucessor를 정의하거나 튜링기계처럼 한칸 움직이거나.. 그리고 편의상 suc(0)에 1이라는 이름을 붙이고 suc(suc(0))에 2라는 이름을 붙이고. 만약 0와 add1, sub1이 주어졌다고 가정하면 plus는 다음과 같이 scheme식으로 정의할 수 있습니다. (plus x y) = (if (x=0) y (plus(sub1 x)(add1 x))) 여기에 (plus 1 1)을 대입하면 결과는 (add1(add1 0))가 되어 약속된 이름인 2가 되는 것입니다. 에고.. 더 헷갈리려나? |