증명 이야기Hilbert's ProgramStanford Encyclopedia of Philosophy
수학의 모든 증명에 모순이 없다는 사실도 증명할 수 있을까?
힐베르트의 무모순성 계획과 유한주의, 엡실론 계산법, 괴델의 제2불완전성 정리, 겐첸의 후속 무모순성 증명을 연결해 설명합니다.
Hilbert's Program
게시 2026-10-13해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과43건
검색 결과 제목
논문 대담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해외 논리학 연구 해설 읽기 →
수업 전 질문은 무엇을 보게 하고 무엇을 놓치게 할까?
사전질문 수와 구간별 회전 여부를 바꾸어 같은 질문 수가 여섯 주제의 주의 범위를 어떻게 달리 만드는지 확인합니다.
The Effect of Prequestions on Learning from Video Presentations
게시 2026-10-04 · 약 9분해외 논리학 연구 해설 읽기 →
연구 비교Not just scenery: Viewing nature pictures improves executive attention in older adults해외 학술 연구
자연 사진·산책·영상은 모두 주의를 회복시킨다고 말할 수 있을까?
노출 방식·대상·주의 측정값을 바꾸어 세 실험 중 직접 비교할 연구와 결과·한계 표, 허용되는 해석을 함께 갱신합니다.
Not just scenery: Viewing nature pictures improves executive attention in older adults
게시 2026-10-03 · 약 30분해외 논리학 연구 해설 읽기 →
1–5 / 43편