장벽서지만 확인
The consistency of “P = NP” and related problems with fragments of number theoryRichard A. DeMillo, Richard J. Lipton · 1980STOC 1980 (Proceedings of the 12th Annual ACM Symposium on Theory of Computing), 45–57쪽제목이 말하듯 「P = NP」 라는 진술이 수론의 어떤 조각들과 모순되지 않음을 다룬 논문이다. 곧 그 약한 이론 안에서는 P ≠ NP 를 증명할 수 없다는 뜻으로, P 대 NP 의 증명 불가능성을 다룬 초기 결과로 aaronson-2003 이 소개한다. 독립성 논의의 역사를 적으려는 글에 필요하다. 다루는 이론이 아주 약하다는 점을 함께 적어야 한다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·학회·쪽을 확인했다(본문은 열지 못함).