장벽서지만 확인
Unprovability of lower bounds on circuit size in certain fragments of bounded arithmeticAlexander A. Razborov · 1995Izvestiya: Mathematics 59(1), 205–227쪽 (1995) — 러시아 과학 아카데미 Izvestiya 수학 계열의 영문판제목이 말하듯 회로 크기 하한이 유계 산술의 어떤 조각들 안에서는 증명될 수 없음을 다룬 논문이다. 자연 증명 장벽을 「어떤 공리계로는 증명할 수 없다」는 논리학의 진술로 옮긴 결과로 알려져 있으며, 암호학적 가정 아래에서 성립한다고 인용된다. 2-2 의 장벽을 독립성·증명 불가능성 쪽에서 다루려는 글에 필요하다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·권호·쪽을 확인했다(본문은 열지 못함).