Show pageOld revisionsBacklinksBack to top You've loaded an old revision of the document! If you save it, you will create a new version with this data. Media Files ==== incompleteness ==== [[Kurt Gödel]] proved that formal axiomatic systems can be ether complete or consistent (but not both). An interesting take on this is Jaakko Hintikka's book "The Principles of Mathematics Revisited." He differentiates between deductive and descriptive incompleteness. Among other things, he claims that G�del only proved the deductive incompleteness of formal axiomatic systems, but the result doesnt say anything about the descriptive completeness of systems. Hintikka's point is, that deductive completeness (the possibility of deducing all the possible sentences from given axioms), something that mathematicians had always strived for, isn't as important as system's descriptive power. "[Gödel] proved it impossible to establish the internal logical consistency of a very large class of deductive systems.." --Nagel and Newman see also; * [[Kurt Gödel]] * [[Gregory Chaitin]] * [[Process Physics]] * [[Russels Paradox]] Please fill all the letters into the box to prove you're human. Please keep this field empty: SavePreviewCancel Edit summary Note: By editing this page you agree to license your content under the following license: CC Attribution-Share Alike 4.0 International incompleteness.1181565205.txt.gz Last modified: 2007-06-11 12:52(external edit)