통합검색

증명은 결론만 맞으면 끝일까?

증명을 참인 문장의 목록이 아니라 규칙에 따라 만들어지고 다시 검사할 수 있는 대상으로 봅니다. 증명 줄의 순서를 직접 바꾸어 근거 연결을 확인하세요.

Proof Theory

셀 수 있는 모형이 ‘셀 수 없는 집합’을 담을 수 있을까?

스콜렘의 역설은 외부에서 셀 수 있는 모형과 모형 내부의 셀 수 없음이 충돌하지 않는 이유를 보여 줍니다.

Skolem’s Paradox

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

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

Logicism and Neologicism

사물뿐 아니라 ‘성질’에도 ‘모든’을 적용할 수 있을까?

2차 논리는 개체뿐 아니라 성질과 관계를 양화해 자연수 구조를 더 강하게 기술하지만, 그 표현력에는 의미론적 대가가 따릅니다.

Second-order and Higher-order Logic

칸토어는 왜 이미 얻은 결론에 새 증명을 붙였을까?

1874년 첫 비가산성 증명, 1891년 할레 발표, 1892년 회보 인쇄를 서로 다른 사건으로 나눈 연표