증명과 프로그램이 같은 구조라고 말할 수 있을까?
Wadler는 명제-유형 대응을 따라 논리의 증명 규칙과 함수형 프로그램의 형식 규칙이 어떻게 같은 구조를 이루는지 설명합니다.
Propositions as Types
게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과78건
검색 결과 제목
‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?
증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.
Provability Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
연속 성공 뒤의 성공률을 세면 왜 ‘핫핸드’가 작게 보일까?
유한한 성공·실패 수열에서 성공 연속구간 뒤의 시행만 고르면 조건부 성공률 추정치가 아래로 치우칠 수 있습니다.
Surprised by the Hot Hand Fallacy? A Truth in the Law of Small Numbers
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
논리 규칙 하나씩 시험하면 언어모델의 약점이 더 선명해질까?
LogicBench는 25개 추론 패턴을 명제·1차·비단조 논리로 나눠, 정답률 하나가 숨기는 규칙별 실패를 드러냅니다.
LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
비슷한 기호를 묶는 추론은 증명일까?
Neural Theorem Prover는 정확한 기호 일치 대신 임베딩 유사도로 부드럽게 통일해 규칙과 경로를 학습합니다.
End-to-End Differentiable Proving
게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
36–40 / 78편