| [ KAIST ] in KIDS 글 쓴 이(By): uriel (조영익) 날 짜 (Date): 2002년 11월 26일 화요일 오전 09시 52분 40초 제 목(Title): Re: 일더하기 일은 이의 증명 수가 있고 연산자를 증명하는 게 아니라, 기본적인 항등원(1)과 기본 연산자 (+)를 통해서 수를 정의하는 게 되겠죠. 저도 이 쪽 수업 듣거나 책을 본 지가 5년이 넘어서 (저는 전자과) 수학과 분들이 더 자세히 써 주시겠지만요. P.S. 부연 설명 하면, 어떤 A1란 기본적인 녀석이 하나 있고, A1 + A1이 되는 것을 A2라고 정의하고, A1 + A1 + A1은 길게 쓰기 귀찮으니까 A3라고 정의합니다. 이런 식으로 일반화해서 An = sum(A1, n)으로 정의한 것을 수라고 하고요. |