Sujet : Re: Mathematical incompleteness has always been a misconception
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : sci.logicDate : 31. Jan 2025, 10:24:58
Autres entêtes
Organisation : -
Message-ID : <vni4ta$3ek8m$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2025-01-30 23:10:18 +0000, olcott said:
Within the entire body of analytical truth any expression of language that has no sequence of formalized semantic deductive inference steps from the formalized semantic foundational truths of this system are simply untrue in this system. (Isomorphic to provable from axioms).
If there is a misconception then you have misconceived something. It is well
known that it is possible to construct a formal theory where some formulas
are neither provble nor disprovable. Often that is done intentionally in
order to make the theory applicable to situations where some such sentence
is true as well as to situations where the same sentence is false.
-- Mikko
…