“[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.” ScienceLogicMathematicsInterpretationConsistencyDouglas HofstadterFormal LogicGödel S Incompleteness Theorem Book:Godel, Escher, Bach: An Eternal Golden Braid Source: Godel, Escher, Bach: An Eternal Golden Braid
“An interpretation [of a formal system] will be meaningful to the extent that it accurately reflects some isomorphism to the real world.” LogicMathematicsMeaningInterpretationReal WorldDouglas HofstadterIsomorphism Book:Godel, Escher, Bach: An Eternal Golden Braid Source: Godel, Escher, Bach: An Eternal Golden Braid