한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과16건

검색 결과 제목

  1. 1중간 정리 없이도 같은 결론을 증명할 수 있을까?
  2. 2수학에는 참이지만 증명할 수 없는 사실이 있을까?
  3. 3같은 입력에 0과 1이 함께 나오면, 계산 결과는 무엇일까요?
  4. 4수학의 모든 증명에 모순이 없다는 사실도 증명할 수 있을까?
  5. 5모든 집합을 모으면 왜 모순이 생길까?
증명 이야기Gödel's Incompleteness TheoremsStanford Encyclopedia of Philosophy
논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

수학에는 참이지만 증명할 수 없는 사실이 있을까?

괴델의 제1·제2불완전성 정리를 번호 부호화, 대각화, 무모순성과 오메가 무모순성, 로서의 개선, 1차 논리 완전성 정리와의 차이까지 단계별로 설명합니다.

Gödel's Incompleteness Theorems

게시 2026-10-16해외 논리학 연구 해설 읽기 →
논문 대담Zach Weber · Fernando Cano-Jorge, On Strong and Weak Logics for Paraconsistent Computability (2025)Journal of Applied Logics 12(5), 1349–1381
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

같은 입력에 0과 1이 함께 나오면, 계산 결과는 무엇일까요?

출석 여부를 확인하는 장치가 한 학생에게 1과 0을 함께 내놓았다고 합시다. 두 결과를 모두 기록하는 것과 답 하나를 정하는 것은 다른 문제입니다. 웨버와 카노호르헤의 논문은 모순을 허용하는 논리에서 계산과 함수의 조건을 검토합니다.

Zach Weber · Fernando Cano-Jorge, On Strong and Weak Logics for Paraconsistent Computability (2025)

게시 2026-10-14해외 논리학 연구 해설 읽기 →
증명 이야기Bertrand Russell, The Principles of Mathematics, Chapter XUniversity of Massachusetts
논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

모든 집합을 모으면 왜 모순이 생길까?

집합·원소와 자기 자신에 대한 포함 관계부터 시작해 러셀 역설의 두 경우를 검토하고, 조건에 따라 집합을 만드는 원리의 한계를 설명합니다.

Bertrand Russell, The Principles of Mathematics, Chapter X

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

1–5 / 16편