27 처지: 도형, 리하르트 데데킨트, 모형 이론, 명제, 거짓말쟁이의 역설, 게오르크 칸토어, 버트런드 러셀, 공리, 계산 가능성 이론, 인식론, 정리, 정의, 증명 이론, 집합, 집합론, 체르멜로-프렝켈 집합론, 수, 수리논리학, 수리철학, 수학, 수학자, 에우클레이데스의 원론, 역설, 함수, 알고리즘, 1901년, 19세기.
도형
평면도형과 입체도형 기하학에서 도형(圖形)은 점·선·면·입체의 집합이.
리하르트 데데킨트
율리우스 빌헬름 리하르트 데데킨트(1831년 10월 6일~1916년 2월 12일)는 독일 태생의 수학자이.
새로운!!: 수학기초론와 리하르트 데데킨트 · 더보기 »
모형 이론
수리논리학에서 모형 이론(模型理論)은 수리논리학적 도구들을 이용해 추상대수학이나 집합론의 모형을 이루는 수학적 구조를 연구하는 분야이.
새로운!!: 수학기초론와 모형 이론 · 더보기 »
명제
명제(命題)는 논리학적으로 뜻이 분명한 문장을 말. 즉, 어떤 말을 딱 본 순간 '참' 혹은 '거짓'을 대번에 알 수 있는 말을 말. 명제는 거의 대부분의 인간들이 즉각, 맞다 틀리다 말할 수 있는 조건이지만, 현대 사회에서 거의 진리로 인정받고 있는 특정 가치관이 명제의 판별에 혼동을 주는 경우가 무시할 수 없이 많다는 것이.
거짓말쟁이의 역설
학과 논리학에서, 거짓말쟁이의 역설(Liar Paradox)는 “이 말은 거짓이다”라는 말이.
새로운!!: 수학기초론와 거짓말쟁이의 역설 · 더보기 »
게오르크 칸토어
오르크 페르디난트 루트비히 필리프 칸토어(1845년 3월 3일~1918년 1월 6일)는 러시아에서 태어난 독일의 수학자이.
새로운!!: 수학기초론와 게오르크 칸토어 · 더보기 »
버트런드 러셀
제3대 러셀 백작 버트런드 아서 윌리엄 러셀(Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS, 1872년 5월 18일 ~ 1970년 2월 2일)은 영국의 수학자, 철학자, 수리논리학자, 역사가, 사회 비평가Stanford Encyclopedia of Philosophy,, 1 May 2003.
새로운!!: 수학기초론와 버트런드 러셀 · 더보기 »
공리
공리(公理)는 어떤 이론체계에서 가장 기초적인 근거가 되는 명제(命題)이.
계산 가능성 이론
산 가능성 이론(計算可能性理論) 또는 재귀 이론(再歸理論)은 수학기초론의 중요한 분야이자 컴퓨터 과학에서는 계산 이론의 한 갈래이.
새로운!!: 수학기초론와 계산 가능성 이론 · 더보기 »
인식론
인식론(認識論)은 지식에 대한 제반 사항을 다루는 철학의 한 분야로서 지식의 본질, 신념의 합리성과 정당성 등을 연. 인식론(Epistemology)은 고대 그리스어의 episteme(지식 또는 인식)와 logos(이론)을 합친 데에서 비롯하였.
새로운!!: 수학기초론와 인식론 · 더보기 »
정리
정리(定理)는 수학에서 가정(assumption)으로부터 증명된 명제를 말. 좁은 의미로는, 그와 같은 명제들 중에서 중요한 것만을 일컫.
정의
안대를 두르고 저울과 칼을 든 유스티티아는 정의의 상징이다. 정의(正義)는 사회를 구성하고 유지하기 위해 사회 구성원들이 공정하고 올바른 상태를 추구해야 한다는 가치로, 대부분의 법이 포함하는 이념이.
증명 이론
수리논리학에서, 증명 이론(證明理論)은 증명을 형식적인 수학적 개체로 표상하여 수학적 기법으로 이용하여 증명을 객관적으로 분석하는 것을 가능하는 이론이.
새로운!!: 수학기초론와 증명 이론 · 더보기 »
집합
9개의 다각형의 집합을 나타낸 오일러 다이어그램 수학에서, 집합(集合)은 명확한 기준에 의하여 주어진 서로 다른 대상들이 모여 이루는 새로운 대상이.
집합론
집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.
새로운!!: 수학기초론와 집합론 · 더보기 »
체르멜로-프렝켈 집합론
수학에서, 체르멜로-프렝켈 집합론(Zermelo-Fraenkel集合論,, 약자 ZF)은 공리적 집합론의 하나이.
새로운!!: 수학기초론와 체르멜로-프렝켈 집합론 · 더보기 »
수
수에는 다음과 같은 뜻이 있.
수리논리학
수리논리학(數理論理學)은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이.
새로운!!: 수학기초론와 수리논리학 · 더보기 »
수리철학
수리철학(數理哲學)은 수학에 대한 철학이.
새로운!!: 수학기초론와 수리철학 · 더보기 »
수학
수학(數學)은 양, 구조, 공간, 변화 등의 개념을 다루는 학문이.
수학자
레온하르트 오일러는 유명한 수학자들 중 한 명이다. 수학자(數學者)는 수학을 주로 연구하고, 발전시켜 나가는 사람을 말. 수학자는 수학적 지식을 증진시키기 위한 연구 업무를 수행하며, 생명과학, 물리학, 사회학, 보험학 및 공학 분야의 문제를 해결하기 위해서 기술을 개발•응용하는데 관련된 수학적 업무를 수행.
새로운!!: 수학기초론와 수학자 · 더보기 »
에우클레이데스의 원론
《에우클레이데스의 원론》의 첫 번째 영어판 표지. 《에우클레이데스의 원론》(스토이케이아)은 고대 그리스의 저명한 수학자인 에우클레이데스가 기원전 3세기에 집필한 책으로 총 13권으로 구성되어 있. 그리스어 제목 Στοιχεῖα는 ‘원소’, ‘구성 요소’, ‘글자’ 등을 뜻하는 단어이며, 한국어로는 유클리드의 원론, 또는 기하학 원본이라는 제목으로도 불린.
새로운!!: 수학기초론와 에우클레이데스의 원론 · 더보기 »
역설
역설(逆說)은 언뜻 보면 일리가 있고 있는 것처럼 생각되는 것에도 불구하고, 분명하게 모순되어 있거나 잘못된 결론을 이끌거나 하는 논증이나 사고 실험 등을 일컫.
함수
수를 상자에 비유한 그림. 수학에서, 함수(函數) 또는 사상(寫像)은 첫 번째 집합의 임의의 한 원소를 두 번째 집합의 오직 한 원소에 대응시키는 대응 관계이.
알고리즘
알고리즘(라틴어, 독일어: Algorithmus)은 수학과 컴퓨터 과학, 언어학 또는 관련 분야에서 어떠한 문제를 해결하기 위한 일련의 절차를 공식화한 형태로 표현한 것을 말. 알고리즘은 연산, 데이터 진행 또는 자동화된 추론을 수행.
새로운!!: 수학기초론와 알고리즘 · 더보기 »
1901년
1901년은 화요일로 시작하는 평년이.
새로운!!: 수학기초론와 1901년 · 더보기 »
19세기
세실 존 로드의 케이프-카이로 철도 계획을 풍자한 그림. 영국의 아프리카 남북 분할의 상징이다. 제1차 아편 전쟁의 전투기록화 19세기(- 世紀)는 1801년부터 1900년까지의 기간이.
새로운!!: 수학기초론와 19세기 · 더보기 »