On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Year: 1964
Type: book-review
Source: Physics Today
DOI: 10.1063/1.3051400
Authors: Kurt Gödel, B. Meltzer, Richard Schlegel
Institution: Michigan State University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2137317612