연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
커리 집합 R의 자기소속과 축약·MP가 임의 결론으로 이어지는 과정을 추적합니다. 기본 논리의 축약 실패와 보수적 확장까지 견디는 조건을 구분하고 1993년 추측의 1997년 반례를 확인합니다.
Greg Restall, How to be Really Contraction Free (1993)
나무가 언제 쓰러질지 모를 때 look·chop·store 행동을 반복 계획으로 묶습니다. 실제 F=3 실행 기록부터 N₁ 생성·N₂ 시험, 단순한 문제 조건과 N+2 정리의 적용 범위까지 살펴봅니다.
Hector J. Levesque, Planning with Loops (2005)
명제논리의 유한한 검사와 1차 논리의 일반 결정 문제를 구별하고, 알론조 처치의 1936년 연구 및 현대 환원 증명의 조건을 살펴봅니다.
Alonzo Church (1936), An Unsolvable Problem of Elementary Number Theory
데카르트의 방법적 회의와 코기토를 꿈·기만자 가설, 생각과 존재의 관계, 현대적 반론까지 연결해 검토합니다.
Discourse on the Method
칸토어의 대각선 논법과 튜링의 정지 문제를 비교하며, 셀 수 없음과 계산불가능성 사이의 공통 구조와 차이를 설명합니다.
Computability and Complexity
1–5 / 2419편
