역사서지만 확인
Von Neumann, Gödel and Complexity TheoryAlasdair Urquhart · 2010The Bulletin of Symbolic Logic 16(4), 516–530쪽 (2010)Gödel 이 1956년 von Neumann 에게 보낸 편지의 배경을, von Neumann 자신의 복잡도에 관한 생각까지 포함해 살핀 논문이다. 초록에 따르면 von Neumann 은 이미 1949년 편지에서 Tarski 의 결정 절차의 복잡도를 물었다. 또 이론 전산학이 왜 1960년대에야 독립된 분야가 되었는지를 논한다. godel-1956 과 hartmanis-1989 를 인용하는 글이 역사적 맥락을 보강할 때 쓴다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·권호·쪽을 확인하고 같은 기록의 초록을 읽었다.