장벽서지만 확인
Independence results in computer scienceJuris Hartmanis, John E. Hopcroft · 1976ACM SIGACT News 8(4), 13–24쪽 (1976)전산학에 자연스럽게 나타나는 문제들 가운데 형식화된 집합론으로는 답할 수 없는 사례가 있음을 보인 글이다. 초록은 그 예로 P = NP 문제의 어떤 상대화된 판이 집합론에서 결정되지 않음을 든다. 「P 대 NP 가 공리계와 독립일 수 있는가」라는 물음의 가장 이른 문헌으로 인용한다. 상대화되지 않은 본래 문제가 독립이라는 뜻은 아니다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·권호·쪽을 확인하고 같은 기록의 초록을 읽었다.