심벌 마크
유니온백과
통신
다운로드하기 Google Play
새로운! 안드로이드 ™에 유니온백과를 다운로드 할 수 있습니다
다운로드
브라우저보다 빠른!
 

공리

색인 공리

공리(公理)는 어떤 이론체계에서 가장 기초적인 근거가 되는 명제(命題)이.

29 처지: 명제, 보여이 야노시, 공집합, 괴델의 불완전성 정리, 비유클리드 기하학, 내각, 다비트 힐베르트, 니콜라 부르바키, 니콜라이 로바쳅스키, 힐베르트 공리계, 펠릭스 하우스도르프, 페아노 공리계, 평행선 공준, 이론, 정리, 증명, 직각, 집합, 집합론, 지식, 카를 프리드리히 가우스, 쿠르트 괴델, 쌍곡 기하학, 유클리드 기하학, 위상 공간 (수학), 에우클레이데스의 원론, 연역, 삼각형, 1931년.

명제

명제(命題)는 논리학적으로 뜻이 분명한 문장을 말. 즉, 어떤 말을 딱 본 순간 '참' 혹은 '거짓'을 대번에 알 수 있는 말을 말. 명제는 거의 대부분의 인간들이 즉각, 맞다 틀리다 말할 수 있는 조건이지만, 현대 사회에서 거의 진리로 인정받고 있는 특정 가치관이 명제의 판별에 혼동을 주는 경우가 무시할 수 없이 많다는 것이.

새로운!!: 공리와 명제 · 더보기 »

보여이 야노시

보여이가 태어난 곳 보여이 야노시(1802년 12월 15일 ~ 1860년 1월 27일)는 헝가리의 수학자.

새로운!!: 공리와 보여이 야노시 · 더보기 »

공집합

공집합의 기호 수학에서, 공집합(空集合)은 원소가 하나도 없는 집합이.

새로운!!: 공리와 공집합 · 더보기 »

괴델의 불완전성 정리

수리논리학에서, 괴델의 불완전성 정리()는 페아노 공리계를 포함하는 모든 무모순적 공리계는 참인 일부 명제를 증명할 수 없으며, 특히 스스로의 무모순성을 증명할 수 없다는 정리.

새로운!!: 공리와 괴델의 불완전성 정리 · 더보기 »

비유클리드 기하학

비유클리드 기하학은 유클리드 공간이 아닌 공간에서 다루는 모든 기하학을 총체적으로 가리키는 말로, 쌍곡기하학, 타원기하학, 택시기하학 등이 이에 해당.

새로운!!: 공리와 비유클리드 기하학 · 더보기 »

내각

각(內閣, cabinet)은 주로 의원내각제에서 국가의 행정권을 담당하고 국회에 대한 연대책임을 갖는 기관으로 수상과 여러 장관으로 조직된 합의체를 말. 대통령제에서도 내각이라는 용어를 사용하나, 이 때는 원칙적으로 의결권이 없거나 의결의 구속력이 없는 대통령을 보좌하는 기관(예. 대한민국의 국무회의)을 의미.

새로운!!: 공리와 내각 · 더보기 »

다비트 힐베르트

비트 힐베르트(1862년 1월 23일~1943년 2월 14일)는 독일의 수학자이.

새로운!!: 공리와 다비트 힐베르트 · 더보기 »

니콜라 부르바키

부르바키의 《집합론》 1970년 판 표지 니콜라 부르바키()는 20세기에 프랑스를 중심으로 활동한 수학자들의 단체가 사용한 가명이.

새로운!!: 공리와 니콜라 부르바키 · 더보기 »

니콜라이 로바쳅스키

이 이바노비치 로바쳅스키(1792년 12월 1일 - 1856년 2월 24일)(그레고리력,1792년 11월 20일 - 1856년 2월 12일)(율리우스력)은 러시아의 수학자이.

새로운!!: 공리와 니콜라이 로바쳅스키 · 더보기 »

힐베르트 공리계

힐베르트 공리계(Hilbert's axioms)는 다비트 힐베르트가 1899년에 발표한 공리계로, 유클리드 기하학을 엄밀하게 공리화.

새로운!!: 공리와 힐베르트 공리계 · 더보기 »

펠릭스 하우스도르프

릭스 하우스도르프(1868년 11월 8일~1942년 1월 26일)는 독일의 수학자이.

새로운!!: 공리와 펠릭스 하우스도르프 · 더보기 »

페아노 공리계

수리논리학에서.

새로운!!: 공리와 페아노 공리계 · 더보기 »

평행선 공준

만약 α + β 기하학에서, 평행선 공준(平行線公準)은 원론에 등장하는 다섯 개의 공준 중 마지막으로, 내용은 다음과 같. 두 직선이 다른 한 직선과 만나 이루는 두 동측내각의 합이 두 직각보다 작다면, 이 두 직선을 무한히 연장할 때, 그 두 동측내각과 같은 쪽에서 만. 유클리드 기하학은 평행선의 공준을 비롯한 다섯 공준으로 구성되는 기하학이.

새로운!!: 공리와 평행선 공준 · 더보기 »

이론

이론(理論)이라는 낱말은 토론의 환경과 방법론에 따라, 다른 분야의 지식 속에서 수많은 구별된 뜻을.

새로운!!: 공리와 이론 · 더보기 »

정리

정리(定理)는 수학에서 가정(assumption)으로부터 증명된 명제를 말. 좁은 의미로는, 그와 같은 명제들 중에서 중요한 것만을 일컫.

새로운!!: 공리와 정리 · 더보기 »

증명

증명의 다른 뜻은 다음과 같.

새로운!!: 공리와 증명 · 더보기 »

직각

300px 직각(直角, right angle)은 직선 두 개가 만나 서로를 이등분했을 때 만들어지는 각이.

새로운!!: 공리와 직각 · 더보기 »

집합

9개의 다각형의 집합을 나타낸 오일러 다이어그램 수학에서, 집합(集合)은 명확한 기준에 의하여 주어진 서로 다른 대상들이 모여 이루는 새로운 대상이.

새로운!!: 공리와 집합 · 더보기 »

집합론

집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.

새로운!!: 공리와 집합론 · 더보기 »

지식

식(知識)은 교육, 학습, 숙련 등을 통해 사람이 재활용할 수 있는 정보와 기술등을 포괄하는 의미이.

새로운!!: 공리와 지식 · 더보기 »

카를 프리드리히 가우스

요한 카를 프리드리히 가우스(1777년 4월 30일~1855년 2월 23일)는 독일의 수학자이자 과학자이.

새로운!!: 공리와 카를 프리드리히 가우스 · 더보기 »

쿠르트 괴델

르트 괴델(1906년 4월 28일 ~ 1978년 1월 14일)은 불완전성의 정리로 유명한 수학자이자 논리학자이.

새로운!!: 공리와 쿠르트 괴델 · 더보기 »

쌍곡 기하학

쌍곡기하학이란 원을 쌍곡선의 형태로 나누었을 때를 말하며, 곡선이 세개 이상일 경우 도형이 성립.

새로운!!: 공리와 쌍곡 기하학 · 더보기 »

유클리드 기하학

리스의 수학자가 컴퍼스로 작도를 하고 있는 모습. (라파엘로의 ‘아테네 학당’ 일부) 유클리드 기하학(-幾何學, Euclidean geometry)은 고대 그리스의 수학자 에우클레이데스가 구축한 수학 체계로 《원론》은 기하학에 관한 최초의 체계적인 논의로 알려져 있. 유클리드의 방법은 직관적으로 받아들일 수 있는 공리를 참으로 간주.

새로운!!: 공리와 유클리드 기하학 · 더보기 »

위상 공간 (수학)

일반위상수학에서, 위상 공간(位相空間)은 어떤 점의 근처(근방)가 무엇인지에 대한 정보를 담고 있지만, 점 사이의 거리나 넓이·부피 따위의 정보를 포함하지 않는 공간이.

새로운!!: 공리와 위상 공간 (수학) · 더보기 »

에우클레이데스의 원론

《에우클레이데스의 원론》의 첫 번째 영어판 표지. 《에우클레이데스의 원론》(스토이케이아)은 고대 그리스의 저명한 수학자인 에우클레이데스가 기원전 3세기에 집필한 책으로 총 13권으로 구성되어 있. 그리스어 제목 Στοιχεῖα는 ‘원소’, ‘구성 요소’, ‘글자’ 등을 뜻하는 단어이며, 한국어로는 유클리드의 원론, 또는 기하학 원본이라는 제목으로도 불린.

새로운!!: 공리와 에우클레이데스의 원론 · 더보기 »

연역

리학에서 연역적 추론(演繹的推論,deductive reasoning)은 이미 알고 있는 판단을 근거로 새로운 판단을 유도하는 추론이.

새로운!!: 공리와 연역 · 더보기 »

삼각형

* 삼각형(三角形, 세모꼴)은 세 개의 점과 세 개의 선분으로 이루어진 다각형이.

새로운!!: 공리와 삼각형 · 더보기 »

1931년

1931년은 목요일로 시작하는 평년이.

새로운!!: 공리와 1931년 · 더보기 »

나가는들어오는
이봐 요! 우리는 지금 Facebook에 있습니다! »