주제별 자료 · 연구와 학습

논리의 기초와 역사

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

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

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

해외 학술 연구의 7개 분야

조건 초기화

논리의 기초와 역사76편

검색 결과 제목

  1. 1모든 논리 문제에 언제나 정답을 내는 계산법을 만들 수 있을까?
  2. 2내가 모든 것을 의심해도, 나의 존재만은 확실할까?
  3. 3어떤 목록을 아무리 길게 만들어도 빠지는 계산이 있을까?
  4. 4중간 정리 없이도 같은 결론을 증명할 수 있을까?
  5. 5증명할 수 있는 모든 사실을 컴퓨터로 알아낼 수 있을까?
증명 이야기Alonzo Church (1936), An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics · University of Pennsylvania hosted scan
논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

모든 논리 문제에 언제나 정답을 내는 계산법을 만들 수 있을까?

명제논리의 유한한 검사와 1차 논리의 일반 결정 문제를 구별하고, 알론조 처치의 1936년 연구 및 현대 환원 증명의 조건을 살펴봅니다.

Alonzo Church (1936), An Unsolvable Problem of Elementary Number Theory

게시 2026-10-17해외 논리학 연구 해설 읽기 →

1–5 / 76편