공리학(기원 전 350년)
실질적 공리학의 양식은 하나, 논설의 어떠한 기본적인 전문적 용어들에 대한 설명이 주어진다. 둘, 그 기본적 용어들에 관한 초기의 설명들에 의하여 제시된 성질들에 근거하여 참이라고 받아들여지는 주요한 명제들이 나열된다. 셋, 그 논설의 다른 모든 전문적 용어들은 그 이
◎ 유클리드의 정의, 공리, 공준
공리: 보기를 들어 같은 것과 같은 것은 또한 서로 같다라는 명제와 같이, 가정되고 원리로 평가된 것이 학생에게 이해되고 그 자체로 수긍이 가면 그런 것은 공리이다.
정의: 반면에 학생에게 제시된 것이 그 자체로 수긍이 간다고 이해되지 못하지만 그럼에도 불구하
공리학 (Axiomatization), 아리스토텔레스 (Aristoteles) 의 논리의 공리화 시도에서 사고에 대한 기계적 이해로서의 기원을 찾아볼 수 있으며, 라이프니츠 (G. W. Leibniz, 1646~1716) 의 기호를 도구로 하는 계산추론 (calculable reasoning), 그리고 힐버트 (D. Hibert) 의 모든 수학적 증명의 형식화 (formalization) 계획을 거쳐 오
모든 명제는 이들로부터 논리적으로 추론되어야 한다. <원론>의 형식체계는 오늘날까지 엄격한 수학적 논증의 모델이 되었다. 공준적 사고는 오늘날 수학의 거의 모든 분야의 논리적 배경이 되었으며, 요즘에는 공준의 일반적 성질과 공준적 사고를 연구하는 공리학이라고 하는 연구 분야까지 생기게
고대 그리스인의 자연관
1. 자연을 질서 있는 코스모스, 즉 조화 있는 세계이며 법칙적인 필연성을 지닌다고 보았다.
2. 자연을 생성되는 것으로 생각하고, 근원을 찾아 존재하는 것을 이끌어내려고 하였다.
그리스의 수학적 자연관
1. 무엇보다도 ‘무정부 상태보다 큰 잘못은 없다’는 신념 아래