수학기초론



수학기초론(Foundations of mathematics)은 수학의 분야들 중 수리논리학공리적 집합론, 모형 이론, 증명 이론계산 가능성 이론 등을 가리키는 말이다. 수학의 기초를 찾는 것은 근본적인 의미에서 수학적 명제가 옳다고 말할 수 있는 근거가 무엇인지를 연구하는 것이며, 이는 수리철학의 중심 과제이다.

역사


수학은 고대부터 다른 학문에서의 엄밀함을 확인하는 도구가 되었는데, 19세기 중엽부터 수학 체계 자체내에서 더욱 엄밀한 논리체계가 요구되었고, 그 결과 리하르트 데데킨트의 실수론과 게오르크 칸토어집합론이 나왔다. 그러나 1901년 버트런드 러셀이 칸토어가 정의한 집합론에서 역설을 발견하였다. 이것을 계기로 수학자들은 수학의 논리체계를 반성하고 수학의 기초를 비판하였으며, 이로써 수학기초론이 생겨났다. 러셀이 제기한 역설을 해결하여 수학의 안정성을 보증하는 이론이 바로 수학기초론이라 할 수 있다.

수학기초론은 언어(유의미한 수학적 명제를 만들기 위해서 정확한 수학적 언어를 말해야 한다)를 형식화하고, 분석하는 방법, 공리(증명 없이 참임을 인정한 명제), 모든 수학 연구에서의 논리적인 방법 개발을 포함한다. 수학기초론의 기본 수학 개념으로는 , 도형, 집합, 함수, 알고리즘, 공리, 정의, 정리가 있다.

같이 보기


수학 포털



분류: 수학기초론 | 수리논리학 | 수리철학


데이트: 16.03.2021 03:33:13 CET

출처: Wikipedia (저자들 [역사])    Lizenz: CC-by-sa-3.0

변화들: 모든 그림과 그와 관련된 대부분의 디자인 요소가 제거되었습니다. 일부 아이콘은 이미지로 대체되었습니다. 일부 템플릿이 제거되거나 (예 : "문서 확장 필요) 할당되었습니다. CSS 클래스가 제거되거나 조화되었습니다.
기사 또는 카테고리로 연결되지 않는 위키백과 특정 링크 (예 : "레드 링크", "편집 페이지 링크", "포털 링크")는 제거되었습니다. 모든 외부 링크에는 추가 이미지가 있습니다. 약간의 디자인 변경 외에도 미디어 컨테이너,지도, 내비게이션 상자 및 음성 버전이 제거되었습니다.

부디 을 알아차리다 주어진 콘텐츠는 주어진 시점에 위키백과에서 자동으로 가져 오기 때문에 수동 확인이 가능했고 불가능했습니다. 따라서 kowiki.org는 획득 한 콘텐츠의 정확성과 실제 성을 보장하지 않습니다. 현재 잘못된 정보 나 부정확 한 표시가있는 정보가있는 경우 언제든지 문의하기: 이메일.
또한보십시오: 법적 고지 & 개인 정보 정책.