직관이란 무엇입니까?

직관주의는 수학이 순전히 공식적인 마음의 창조라는 것을 고용하는 수학적 철학입니다.네덜란드 수학자 L.E.J.에 의해 20 세기 초에 시작되었습니다.브로우 르.직관주의는 수학이 일관된 수학적 진술을 정신적 구성으로 만 생각하고 입증 될 수있는 내부적, 내용 비어있는 과정이라고 주장합니다.이런 의미에서, 직관은 고전 수학의 많은 핵심 원칙과 모순되는데, 이는 수학이 외부 존재의 객관적인 분석이라고 주장한다.외부 수학적으로 일관된 현실.또한 수학이 특정 고정 규칙을 따라야하는 상징적 언어라고 가정하지 않습니다.따라서, 수학에서 일반적으로 사용되는 상징적 인물은 순수한 중재로 간주되기 때문에, 그들은 한 수학자의 마음에서 다른 수학자의 마음에서 수학적 아이디어를 전달하는 데만 사용되며, 그 자체로는 더 많은 수학적 증거를 제안하지 않습니다.직관에 의해 가정 된 유일한 두 가지는 시간에 대한 인식과 창조적인 마음의 존재입니다.

직관성과 고전 수학은 각각 수학적 진술이라고 부르는 것이 무엇을 의미하는지에 대한 다른 설명을한다.직관주의에서, 진술의 진실은 그 입증만으로도 엄격하게 정의되지 않고 오히려 수학자가 진술을 직관하고 다른 합리적 일관된 정신 구조의 추가 설명으로 진술을 직관하고 증명할 수있는 능력에 의해 정의됩니다.

직관은 고전 수학의 일부 주요 개념과 모순되는 심각한 영향을 미칩니다.아마도 이것들 중 가장 유명한 것은 배제 된 중간의 법을 거부하는 것입니다.가장 기본적인 의미에서, 배제 된 중간의 법칙은“A”또는“A”가 사실 일 수 있지만 동시에 모두 사실이 될 수 없다고 말합니다.직관 론자들은 각각 일관되게 증명하는 정신 구조를 구축 할 수있는 한“A”와“A”를 증명할 수 있다고 주장합니다.이런 의미에서, 직관주의 추론의 증거는“A”가 존재하는지 여부를 증명하는 것과 관련이 없지만,“A”와“A”가 모두 마음 속의 수학적 진술로 일관되고 일관되게 구성 될 수 있는지 여부에 의해 정의된다.직관은 고전 수학을 대체 한 적이 없지만 오늘날에도 여전히 많은 관심을 받고 있습니다.직관에 대한 연구는 수학 연구에서 수학적 구성의 정당화에 대한 개념으로 개념을 대체하기 때문에 수학 연구에서 광범위한 발전과 관련이 있습니다.그것은 또한 다른 철학 분야에서 이상적이고 팬을 보장하는 마음에 대한 우려에 대해 약간의 대우를 받았으며, 이는“초월적인 주제”에 대한 Husserl의 현상 학적 개념과 비교 된 것입니다.