@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024}, author = {Gödel,Kurt}, subject = {Consistency}, note = {F. Waismann Einführung in das mathematische Denken Darmstadt 1996 Waismann I 72 ff Consistency/Gödel/Waismann: proof that a system is consistent cannot be provided by means of this system. Gödel: if one adds to the Peanoic axioms that of the logic calculus and calls the resulting system P, then no proof for the consistency of P can be given, which could be formulated in P, provided that P is consistent. >Proofs, >Provability, >Axioms, >Axiom systems, >Contradictions. (If P were contradictory, any statement could be proven, e.g. also that P is consistent). I 73 Gödel: every arithmetic is incomplete, in each of the formal systems mentioned above there are undecidable arithmetic sentences and for each of these systems arithmetic terms can be specified which cannot be defined in this system. >Arithmetic, >Completeness, >Incompleteness. Example: a real number that cannot be defined in S can be constructed for each formal system S. This should not be interpreted as proof that there are unsolvable mathematical problems. Rather, the term "solvable" or "decisionable" always refers to a certain formal system only. If a sentence is undecidable in this system, there is still the possibility to construct a richer system in which the sentence can be decided. But there is no system in which all arithmetic sentences can be decided or all terms can be defined. This is the deeper meaning of Brouwer: all mathematics is essentially intellectual action: a series of construction steps, and not a rigid system of formulas that is ready or could even exist. Mathematics is incomplete. The statement that System S is consistent cannot be made in S. I 74 Waismann: can arithmetic be justified at all by such investigations? And geometry: If there are several geometries, how can they be applied to our experience? Reasons for geometry/Waismann: a) select a group of sentences that demonstrate independence, completeness and consistency and b) ensure applicability. >Independence, >Completeness, >Geometry.}, note = { Göd II Kurt Gödel Collected Works: Volume II: Publications 1938-1974 Oxford 1990 Waismann I F. Waismann Einführung in das mathematische Denken Darmstadt 1996 Waismann II F. Waismann Logik, Sprache, Philosophie Stuttgart 1976 }, file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=395927} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=395927} }