한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

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

관심 주제로 찾아보기

조건 초기화

검색 결과6건

검색 결과 제목

  1. 1모든 논리 문제에 언제나 정답을 내는 계산법을 만들 수 있을까?
  2. 2어떤 목록을 아무리 길게 만들어도 빠지는 계산이 있을까?
  3. 3모든 프로그램이 언젠가 멈출지 알아낼 수 있을까?
  4. 4√2는 왜 분수로 나타낼 수 없을까?
  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해외 논리학 연구 해설 읽기 →
증명 이야기Aristotle, Prior Analytics I.23Mathematical Association of America
논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

√2는 왜 분수로 나타낼 수 없을까?

정사각형 대각선의 길이 √2가 무리수임을 다섯 단계의 귀류법으로 증명하고, 통약 불가능성을 다룬 고대 문헌과 피타고라스 학파의 발견 전승을 구분해 살펴봅니다.

Aristotle, Prior Analytics I.23

게시 2026-10-08해외 논리학 연구 해설 읽기 →
세 사람의 예산, 공간, 개최 판단 표. 전제별 다수결은 예·예이지만 개최 결론의 다수결은 아니요다.

모두 일관되게 투표했는데, 다수결은 왜 모순일까?

세 사람의 예산, 공간, 개최 판단 표. 전제별 다수결은 예·예이지만 개최 결론의 다수결은 아니요다.
논증과 대화해외 학술 연구 · 연구 해설 · 일반

모두 일관되게 투표했는데, 다수결은 왜 모순일까?

같은 세 사람의 표를 전제별로 합칠 때와 결론으로 합칠 때 결과가 갈립니다. 표를 직접 바꾸며 두 경로를 비교합니다.

Aggregating Sets of Judgments: An Impossibility Result

게시 2026-09-15 · 약 7분해외 논리학 연구 해설 읽기 →

1–5 / 6편