통합검색

수학 전체를 논리에서 다시 세울 수 있을까?

논리주의는 산술과 수학을 논리적 진리와 정의로 환원하려 했고, 신논리주의는 추상화 원리로 그 계획을 더 제한된 형태에서 되살립니다.

Logicism and Neologicism

자기 자신을 입력으로 받는 규칙은 왜 위험할까?

Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.

Type Theory

두 대상이 같다는 증거가 여러 가지일 수 있을까?

A와 C 사이 직접 경로와 A에서 B를 거쳐 C로 가는 합성 경로가 나란히 표시되고 두 경로의 같음은 별도 질문으로 분리된다.

자기 자신을 입력으로 받는 규칙은 왜 위험할까?

입력형 A, 함수 A → B, 출력형 B의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.