Gödel S Incompleteness Theorem Quotes

“[...] provability is a weaker notion than truth”
― Douglas R. Hofstadter, Gödel, Escher, Bach: An Eternal Golden Braid

“Kurt Gödel's achievement in modern logic is singular and monumental – indeed it is more than a monument, it is a landmark which will remain visible far in space and time. ... The subject of logic has certainly completely changed its nature and possibilities with Gödel's achievement." —John von Neumann”
― John von Neumann

“[C]onsistency is not a property of a formal system per se, but depends on the interpretation which is proposed for it. By the same token, inconsistency is not an intrinsic property of any formal system.”
― Douglas R. Hofstadter, Godel, Escher, Bach: An Eternal Golden Braid