안녕하세요? 2주전부터 p->q의 의미에 대해 질문한 질문자입니다.


많은분들이 조언을주셨고 저도 적극적으로 찾아보고 읽어봐서 어떻게 이의문를 해결해야할지, 이 의문이 무엇인지 감이 잡혔습니다.


그러나 저는 수학과 신입생이라 수학기초론에 해당하는 수리논리학, 공리적집합론, 모델이론, 증명이론 등을 공부할 현실적인 상황이 아닙니다.


우선 영어도 그다지 잘 읽는편이 아니고, 학과에 문의했더니 제가 다니게될 수학과는 물론이고, 컴퓨터공학과에도 아는분이 없다고하네요..


저 홀로 이분야에 대해 공부하는건 현실적으로 1년 다 바쳐도 힘들것입니다.


왜냐하면 질문에 답을해줄사람도 없고, 학과 1학년으로써 공부해야할 과목들도 있기때문입니다. 물론 미적분학은 홀로 독학해본적이있지만..



이런상황이므로, 대략 제 의문을 해결할 방도에 대해 감을 정도로 만족해야만 할것같습니다.


허나 솔직히말해서, 당연히 나올만한 제 의문에 대해서 얼버무리고마는 수학계의 수학교육의 방식에는 대단히 개탄스럽고 실망스럽습니다..


그리고 어떤분이 남긴 수기에는 일본에선 자연연역부터해서 자세하게 가르친다고하던데.. (철학과?)


저는 1년간 수학적으로 엄밀하지도못한 미적분학을 과목을 의무적으로 해야한다는 생각을 하니까.. 의욕도 안나기도하고 허탈하기도 합니다.


저는 수학에만 관심이있었기에 그동안은 수학과 관련해서만 이 의문을 해결하려들었는데 답이 도저히 나오지않았습니다.


그래도 논리학도분들에게선 긍정적인 해답이 나온것같아 다행입니다.


그래서 영어를 잘읽을수있게 공부하고, 수학적으로 성숙하고, 어느정도 여유가 생긴다면 수학기초론분야를 공부할생각입니다.


하루빨리 이 날이 오면좋겠네요.


그동안 답변을 주신 모든분들께 감사드립니다.