한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과4건

검색 결과 제목

  1. 1“그런 수가 있다”는 말을 증명하려면 무엇을 보여 줘야 할까요?
  2. 2명제의 뜻을 ‘푸는 방법’으로 읽을 수 있을까요?
  3. 3한 번 쓴 전제를 마음대로 다시 써도 될까?
  4. 4증명과 프로그램은 어떻게 같은 구조를 가질까?
논문 대담Per Martin-Löf, Intuitionistic Type Theory (1984)Studies in Proof Theory 1, Bibliopolis, Naples, ix+91 pp.
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

“그런 수가 있다”는 말을 증명하려면 무엇을 보여 줘야 할까요?

“어떤 자연수에 1을 더하면 3이 된다”를 증명해 봅시다. 수 2를 고르는 일과 2+1=3을 확인하는 일이 함께 필요합니다. 마르틴뢰프의 유형론을 따라, 증명의 각 부분을 어떻게 만들고 사용하는지 살펴봅니다.

Per Martin-Löf, Intuitionistic Type Theory (1984)

게시 2026-10-10해외 논리학 연구 해설 읽기 →
논문 대담A. N. Kolmogorov, Zur Deutung der intuitionistischen Logik (1932)Mathematische Zeitschrift, 35, 58–65
논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

명제의 뜻을 ‘푸는 방법’으로 읽을 수 있을까요?

안드레이 콜모고로프의 「Zur Deutung der intuitionistischen Logik」(1932)를 따라, 직관주의 논리를 문제와 해법의 계산으로 해석하고 함의·부정·전칭·존재의 뜻을 구성 행위로 읽는 과정을 살핍니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

A. N. Kolmogorov, Zur Deutung der intuitionistischen Logik (1932)

게시 2026-10-08해외 논리학 연구 해설 읽기 →
논리곱은 값의 쌍, 논리합은 표시가 붙은 선택, 함의는 입력을 출력으로 바꾸는 함수와 대응한다는 세 줄 도식.

증명과 프로그램은 어떻게 같은 구조를 가질까?

논리곱은 값의 쌍, 논리합은 표시가 붙은 선택, 함의는 입력을 출력으로 바꾸는 함수와 대응한다는 세 줄 도식.
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

증명과 프로그램은 어떻게 같은 구조를 가질까?

논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.

Propositions as Types

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

1–4 / 4편