https://gall.dcinside.com/mgallery/board/view/?id=math&no=37251

고등학교교과서 순환논리 논문도있었네- dc official Appgall.dcinside.com



이거 보고 갑자기 생각난건데 내 학창시절때 수학에 관심이 많았는데 이런류의 질문이 많았음

(지금 나는 직관파라 이제는 formal하게 증명쓰는걸 매우 싫어하지만 엄밀하게 수학개념이 궁금했던 시기가 있었다)


물론 매우 대부분 사람들은 그냥 외우거나 캐치하기 힘들거나, 직관으로 받아들일수 있어서 이런 질문들이 안나온거 같긴한데

그 당시에 이런질문들을 했는데 역으로 받으면 어떻게 답해야할지 막막해서 어떻게 있나 공유해 봄

물론 그때 받은 수학선생님들한테 내 답은 나도몰라거나 '그냥 시험이나 잘봐' 한쿡식이였다


입장을 바꿔서 근데 막상 이걸 학생한테 받을때 진지하게 답한다면 어떻게 답하는게 좋을지 궁금해졌다

물론 애가 매우 똑똑하다면 그냥 관련된 책던져주고 여기 읽어오고 궁금한거 있으면 물어봐 할거 같긴한데 이 방법외에는 뭐가 있을까?


넓이, 둘레 이런개념을 엄밀히 정의하는건 나도 그때 관심 밖이 였지만 (그냥 여기까지는 직관으로 이해해서 의문조차 들지 않았음)

수체계랑 집합은 가장 기초가 되서 유심히 볼만 한데 거기서 순환요소들을 가져와봄

계산을 다룰때 미적분에서도 lim sin/x = 1, 

e^x, ln x, e 정의에도 순환논리 의존요소가 있긴한데 그건스킵


1번:

정수 = 자연수 + 0 + (-자연수)

자연수 = 양의 정수, 아니면 자연수 = 셀 수 있는 수


아니 선생님 보세요 그럼 정수나 자연수 둘중 먼저 하나를 다른거 없이 정의하고 이렇게 해야되는거 아니에요?

도대체 셀수 있는 수가 뭔데요?


이건 뭐 수학 다 배우고 보면 엄밀히 말하려면

결국 ZFC 공리계에서 만들어내거나 induction이 성립하는 제일 작은 무한집합 (최초의 무한 ordinal) 이라고 답해야 되는데

여기에 착안해서 수학적 귀납법이 뭔지 아니? 수학적 귀납법 가정이 성립할때 {n: P(n)}을 다 모은 집합을 자연수라고 한단다 정도로 퉁치는게 최선으로 보이긴한다


2번: (집합더이상 안배우긴 하지? 그래도 질문한다면?)

무한집합 <-> 유한집합

무한: 끝나지 않음, 유한: 끝남

이것도 골때리지 ㅋㅋㅋㅋ 둘중하나 개념을 설명해야 하는데 

그나마 지금 땜빵으로 애한테 답하라고 하면 데데킨트 무한개념을 설명해주는 정도로 해야할듯

'어떤 진부분집합이 원래애랑 크기가 같아질수 있는 애를 무한이라고 한단다' 

+ 예시말해줄듯 (짝수랑 자연수 같은거 보여주고, {1,2,..,n} 같은 유한집합은 절대로 안된다는거 확신시켜주고)


3번: *** (제일 골때림)

유리수 = 정수/정수-0 (정수 받아들이면 이건 문제없음)


실수 = 유리수 + 무리수

무리수 = 실수 - 유리수 


이건 다시 돌아보니 진짜 답이 없다 ㅋㅋㅋㅋ

옛날에 선생님이 이포인트를 가져오면 실수는 수직선상 위의 수를 모아논거다로 답하는데

그러면 수직선상위 수가 도대체 뭐에요? 하면 질문을 회피했다


물론 배우고 나면 이게 납득이 가긴하는데 제대로 배우려면 completion을 배우거나 해석학에 나오는 코시수열이나 데데킨트방식을 설명해야하니까

그냥 이건 잘 설명된 article 찾아서 애한테 던져줘야 할거 같다