
로그인 후 이용해주세요
저장소에 저장되었습니다.
로그인 후 이용해주세요
수학(하)에서 명제(필요조건, 충분조건)을 배우고, '지금까지 우리가 배운 수학하고 너무 느낌이 다른데? 이게 수학하고 무슨 관련이 있는거지?' 라는 생각이 남. 이런 명제가 수학과 무슨 관련이 있는지를 탐구하고 싶어함.
러셀의 역설에 대해 설명한 책<논리철학-논고> 와 이전에 유튜브 Veritasium 채널에서 본 불완전성 정리 영상에 대해 떠올림.
수학에서 논리학이 가지게 된 입지에 대해 탐구하며 칸토어의 대각선 정리 -> 불완전성 정리 -> 튜링기계로 이어지는 해석학의 역사에 대해 알게됨.
이를 통해 논리학이 수학에서 가지는 입지는 수학의 기본적인 것을 정의해주며 메타-수학적인 성격을 띄게 된다는 것을 앎.