주제별 자료 · 연구와 학습

논리의 기초와 역사

기초 개념부터 기존 역사 연재까지 한곳에서

학술 연구 78편 · 기초 개념 52편 · 역사 연재 56편을 구분해 찾아보세요.

해외 학술 연구의 7개 분야

읽기 난이도자료 유형조건 초기화

논리의 기초와 역사186편

표시정렬

증명 이야기Kurt GödelStanford Encyclopedia of Philosophy

논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

1차 논리의 의미상 타당성과 형식적 증명을 비교하고 괴델의 완전성 정리, 헨킨의 모형 구성, 콤팩트성, 불완전성과의 차이를 설명합니다.

Kurt Gödel

증명 이야기Hilbert's ProgramStanford Encyclopedia of Philosophy

논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

힐베르트의 무모순성 계획과 유한주의, 엡실론 계산법, 괴델의 제2불완전성 정리, 겐첸의 후속 무모순성 증명을 연결해 설명합니다.

Hilbert's Program

증명 이야기Bertrand Russell, The Principles of Mathematics, Chapter XUniversity of Massachusetts

논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

집합·원소와 자기 자신에 대한 포함 관계부터 시작해 러셀 역설의 두 경우를 검토하고, 조건에 따라 집합을 만드는 원리의 한계를 설명합니다.

Bertrand Russell, The Principles of Mathematics, Chapter X

증명 이야기Thomas Aquinas, Summa Theologiae I, q. 2, a. 3New Advent

논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

작용인과 원인의 의존 관계를 차근차근 살피며 아퀴나스의 둘째 길을 재구성하고, 무한 퇴행과 신의 존재를 연결하는 문제를 검토합니다.

Thomas Aquinas, Summa Theologiae I, q. 2, a. 3

논문 대담Pietro Galliani · Jouko Väänänen, On Dependence Logic (2014)Johan van Benthem on Logic and Information Dynamics, 101–119

논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

학생 번호가 같은 두 기록에서 이름도 같은지 비교해 봅니다. 수강 신청표를 예로 들어, 어떤 정보가 다른 정보를 하나로 정해 주는 관계를 설명합니다. 이어서 값의 조합을 통해 독립과 조건부 독립을 살펴봅니다.

Pietro Galliani · Jouko Väänänen, On Dependence Logic (2014)

26–30 / 186편