직관주의적 램머리 정리의 새로운 형태

초록

이 논문은 고전적 램머리 정리(쌍에 대한)를 직관주의적 논리 체계 안에서 부정 없이 서술 가능한 형태로 재구성하고, 그 새 버전이 고전적 정리와 동등함을 증명한다. 또한 기존의 반례 기반 접근이나 새로운 원리를 도입하지 않으며, 프로그램 수렴 증명에 적용 가능함을 제시한다.

상세 분석

본 연구는 램머리 정리(Ramsey Theorem for pairs)가 직관주의적 수학에서는 부정 형태로만 표현될 수 있다는 기존 인식을 뒤집는다. 저자들은 먼저 베라디·스테이라의 결과