최상의 답변
조금 백업 할 수 있습니다. 수학 철학이라고하는 수학의 전체 영역이 있습니다. 수학 철학 . 이것은 다양한 사람들이 수학의 기초를 어떻게 보는지에 대한 연구입니다.
이 위에 두 가지 언어가 있습니다. 메타 언어 및 개체 언어. 메타 언어는 객체 언어에 대해 이야기하는 데 사용하는 언어입니다. 미적분은 객체 언어이고 자연어는 미적분학의 메타 언어입니다. 이론적 수학은 객체 언어를 구축하고 메타 언어의 사물로 설정하는 데 시간을 소비합니다.
더 일반적인 용어로 말하자면, 메타 언어는 객체 언어의 증명이있는 곳입니다.
답변
당신은 교과서 읽기, 교정의 질, 교수의 강의로 이론적 인 수학을하고 있다는 것을 알고 있습니다.
단순히 당신은 교수가 정의 나 유도를 이론으로 언급 할 때 이론 수학을하세요. 대학원 교과서가 이론에 관한 것일 때 이론 수학을 할 수 있습니다. 능숙한 수학자가 서면 증명을 인정하면 이론 수학을한다는 것을 알고 있습니다.
저는 저의 교수가 과거 수학자들의 정리와 결과에 대해 이야기하는 방식으로 이론적 수학을하고이를 자신의 목표를 달성하기 위해 사용한다는 구어체로 말합니다. 그는 동료로서 중요한 인물에 대해 이야기하고 수학에서 이론을합니다.