기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 78편 · 기초 개념 52편 · 역사 연재 57편을 구분해 찾아보세요.
해외 학술 연구의 7개 분야
주세페 피아노의 《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)
11세기 알카라지와 12세기 알사마왈의 대수 저술에는 한 차수의 계산에서 다음 차수로 나아가는 절차가 나타난다. 현존 저술과 후대의 인용, 현대 연구자의 재구성을 구분하면서 이항계수 배열과 세제곱 합 공식을 검산하고, 반복되는 계산이 언제 일반 명제의 증명이 되는지 살펴본다.
기원전 3세기의 스토아 논리학자들은 ‘모든 A는 B다’ 같은 항의 포함 관계와 다른 길을 택했다. ‘만약 첫째라면 둘째다’, ‘첫째 또는 둘째다’처럼 완성된 문장 사이의 연결을 다섯 가지 기본 논증으로 정리했다. 원전이 거의 사라진 탓에 후대 보고를 조심스럽게 맞춰 보면서, 배타적 ‘또는’과 타당성·건전성의 차이를 직접 검산한다.
61–65 / 187편
