-
...a consistency proof for [any] system ... can be carried out only by means of modes of inference that are not formalized in the system ... itself.
Topics
![...a consistency proof for [any] system ... can be carried out only by means of modes of inference that are not formalized in the system ... itself. - Kurt Gödel](https://www.azquotes.com/picture-quotes/quote-a-consistency-proof-for-any-system-can-be-carried-out-only-by-means-of-modes-of-inference-kurt-godel-83-74-10.jpg "...a consistency proof for [any] system ... can be carried out only by means of modes of inference that are not formalized in the system ... itself. - Kurt Gödel")
Cite this Page: Citation
Popular Topics
Related Authors
-
Douglas Hofstadter Professor -
David Hilbert Mathematician -
Alan Turing Mathematician -
Georg Cantor Mathematician -
Albert Einstein Theoretical Physicist -
Gottlob Frege Mathematician -
M. C. Escher Artist