목차
20 처지: 람다 대수, 루트비히 비트겐슈타인, 무정의 용어, 게르하르트 겐첸, 계산 가능성 이론, 괴델의 불완전성 정리, 논리학의 역사, 페아노 공리계, 전체모임, 증명 이론, 집합론, 체르멜로-프렝켈 집합론, 쿠르트 괴델, 순서쌍, 수리논리학, 수학, 수학적 대상, 현대철학, 소박한 집합론, 알프레트 타르스키.
람다 대수
수(λ-calculus, lambda-calculus)는 이론 컴퓨터과학 및 수리논리학에서 변수의 네임 바인딩과 대입의 방법을 이용하여 함수 정의, 함수 적용, 귀납적 함수 추상화를 수행하고 수학 연산을 표현하는 형식 체계이.
보다 수학기초론와 람다 대수
루트비히 비트겐슈타인
비히 요제프 요한 비트겐슈타인(1889년 4월 26일 ~ 1951년 4월 29일)은 오스트리아와 영국에서 활동한 철학자이며, 논리학, 수학 철학, 심리 철학, 언어 철학 분야에 업적을.
무정의 용어
무정의 용어 또는 근본 원리(Primitive notion)는 정의 없이 사용하는 용어이.
게르하르트 겐첸
르하르트 카를 에리히 겐첸(1909–1945)은 독일의 수리논리학자이.
계산 가능성 이론
산 가능성 이론(計算可能性理論) 또는 재귀 이론(再歸理論)은 수학기초론의 중요한 분야이자 컴퓨터 과학에서는 계산 이론의 한 갈래이.
괴델의 불완전성 정리
수리논리학에서, 괴델의 불완전성 정리()는 페아노 공리계를 포함하는 모든 무모순적 공리계는 참인 일부 명제를 증명할 수 없으며, 특히 스스로의 무모순성을 증명할 수 없다는 정리.
논리학의 역사
리학의 역사는 타당한 추론을 탐구하는 학문인 논리학의 발전사를 말. 형식논리학은 고대의 중국, 인도, 그리스에서 발전.
페아노 공리계
수리논리학에서.
전체모임
수학, 특히 집합론, 수학기초론 등에서, 전체모임(全體-, universal class, universe) 또는 전체(全體), 모집단(母集團), 보편류(普遍類)는 고려하고자 하는 모든 대상을 포함하는 모임이.
보다 수학기초론와 전체모임
증명 이론
수리논리학에서, 증명 이론(證明理論)은 증명을 형식적인 수학적 개체로 표상하여 수학적 기법으로 이용하여 증명을 객관적으로 분석하는 것을 가능하는 이론이.
보다 수학기초론와 증명 이론
집합론
집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.
보다 수학기초론와 집합론
체르멜로-프렝켈 집합론
수학에서, 체르멜로-프렝켈 집합론(Zermelo-Fraenkel集合論,, 약자 ZF)은 공리적 집합론의 하나이.
쿠르트 괴델
르트 괴델(1906년 4월 28일 ~ 1978년 1월 14일)은 불완전성의 정리로 유명한 수학자이자 논리학자이.
순서쌍
수학에서, 순서쌍(順序雙)은 두 개의 수학적 대상을 순서를 정하여 짝지어 나타낸 쌍이.
보다 수학기초론와 순서쌍
수리논리학
수리논리학(數理論理學)은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이.
보다 수학기초론와 수리논리학
수학
수학(數學)은 양, 구조, 공간, 변화 등의 개념을 다루는 학문이.
보다 수학기초론와 수학
수학적 대상
수학 및 수리철학에서 수학적 대상 (数學的対象)은 수학 중에서 생겨 오는 추상적 대상이.
현대철학
현대철학 (現代哲學)은 20세기 반 이후에 나타난 서양 철학·사상.
보다 수학기초론와 현대철학
소박한 집합론
소박한 집합론은 수학기초론의 여러 집합에 관련된 이론 중 하나이.
알프레트 타르스키
알프레트 타르스키(1901년 1월 14일 ~ 1983년 10월 26일)는 폴란드의 논리학자·수학자·철학자이.