한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

읽기 난이도자료 유형조건 초기화

검색 결과8건

검색 결과 제목

표시정렬

1컷을 직접 지우지 않고도, 컷 없는 증명이 있다고 보일 수 있을까요?
2증명과 프로그램은 어떻게 같은 구조를 가질까?
3두 대상이 같다는 증거가 여러 가지일 수 있을까?
4수학 전체를 논리에서 다시 세울 수 있을까?
5자기 자신을 입력으로 받는 규칙은 왜 위험할까?

논문 대담Moto-o Takahashi, A proof of cut-elimination theorem in simple type-theory (1967)Journal of the Mathematical Society of Japan, 19(4), 399–410

논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

컷을 직접 지우지 않고도, 컷 없는 증명이 있다고 보일 수 있을까요?

다카하시 모토오의 《A proof of cut-elimination theorem in simple type-theory》(1967)를 따라, V-complex와 V-correspondence에서 람다 추상, 건전성과 반모형을 통한 비구성적 컷 제거 증명까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Moto-o Takahashi, A proof of cut-elimination theorem in simple type-theory (1967)

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