선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
문제 정의
- 이러한 점에서, 수학사와 수학 철학은 수학을 이해하고 더욱 건실하게 발전시키고 새롭게 구성하는 일에 일정한 기능과 역할을 담당한다고 할 수 있다([27]). 본 소고에서는 괴델이 보는 수학의 토대를 조명하고, 그것이 담고 있는 수학사적 의미를 고찰할 것이다.
가설 설정
- 이러한 괴델의 논리합은 다음과 같은 의미와 연결된다. (1)에 따라, 튜링기계의 구현인 컴퓨터가 수학자와 동등한 수준의 지능을 가질 수 없다면, 수학자없는 수학은 가능하지 않을 것이다. 괴델은 오직 명제(1)을 참으로 받아들이고 (2)를 부정하는 수학자들을 '직관주의자(intuitionist)'라고 불렀다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.