목차
13 처지: 독일, 고틀로프 프레게, 논리주의, 논리학, 페아노 공리계, 정리, 철학자, 수리철학, 영국, 1884년, 1893년, 1903년, 2차 논리.
- 명제 논리 정리
- 수학기초론 정리
독일
독일 연방공화국(), 줄여서 독일()은 중앙유럽에 있는 나라이.
보다 프레게의 정리와 독일
고틀로프 프레게
리드리히 루트비히 고틀로프 프레게(1848년 11월 8일 ~ 1925년 7월 26일)는 독일의 수리논리학자이자 철학자이.
논리주의
리주의(論理主義)는 심리주의에 대립되는 말로, 모든 것을 논리적으로 설명할 수 있다고 하거나 혹은 하려는 입장이.
논리학
리학(論理學,, logic)은 인간의 두뇌 활동과 관련하여 그 원리들을 분석하고 명제화하여 체계화하는 학문이.
보다 프레게의 정리와 논리학
페아노 공리계
수리논리학에서.
정리
정리(定理)는 수학에서 가정(assumption)으로부터 증명된 명제를 말. 좁은 의미로는, 그와 같은 명제들 중에서 중요한 것만을 일컫.
보다 프레게의 정리와 정리
철학자
학.
보다 프레게의 정리와 철학자
수리철학
수리철학(數理哲學)은 수학에 대한 철학이.
영국
이트 브리튼 북아일랜드 연합왕국(-聯合王國), 약칭 브리튼() 또는 연합왕국(聯合王國,, UK) 혹은 영국(英國)은 유럽 북서부 해안의 브리튼 제도에 위치한 주권국이자 섬나라로, 북해, 영국 해협, 아일랜드 해 및 대서양에 접하여 있으며 그레이트 브리튼 섬의 잉글랜드, 스코틀랜드, 웨일스 및 아일랜드 섬 북부의 북아일랜드로 네 개의 구성국으로 이루어져 있는 연합국가이.
보다 프레게의 정리와 영국
1884년
1884년은 화요일로 시작하는 윤년이.
1893년
1893년은 일요일로 시작하는 평년이.
1903년
1903년은 목요일로 시작하는 평년이.
2차 논리
수리논리학에서, 2차 논리(二次論理)는 임의의 다항 관계 및 다항 연산에 대한 변수 및 이에 대한 전칭·존재 기호를 사용할 수 있는 논리이.