연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
괴델의 존재론적 논증을 따라, 긍정적 속성의 공리에서 신적 존재의 가능성과 필연성이 어떻게 연결되는지 양상논리식과 설명으로 읽습니다.
Stanford Encyclopedia of Philosophy · Ontological Arguments
아리스토텔레스의 《Prior Analytics》를 따라, 전제와 항, 보편·특수, 중항의 위치가 만드는 세 도형, 전환·환원·반례로 필연적 귀결을 가르는 방법을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Aristotle, Prior Analytics (기원전 4세기)
주세페 피아노의 《Arithmetices principia, nova methodo exposita》(1889)를 따라, 논리 기호와 산술의 아홉 공리, 후속자·귀납에서 덧셈·곱셈·유리수로 이어지는 형식화를 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Giuseppe Peano, Arithmetices principia, nova methodo exposita (1889)
앨런 튜링의 「On Computable Numbers, with an Application to the Entscheidungsproblem」(1936)을 따라, 유한한 상태표와 테이프에서 보편 기계, circle-free 판정의 한계와 결정 문제로의 환원까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem (1936)
존 매카시의 「Programs with Common Sense」(1959)을 따라, 사실·규칙·목표를 선언문으로 주고 즉각 추론의 결론을 행동으로 잇는 구상과 관련 전제 선택·시간·맥락의 한계를 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
John McCarthy, Programs with Common Sense (1959)
121–125 / 1379편
