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일)는 폴란드의 논리학자·수학자·철학자이.
새로운!!: 수학기초론와 알프레트 타르스키 · 더보기 »