Sujet : Re: The philosophy of logic reformulates existing ideas on a new basis ---
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 08. Nov 2024, 19:08:33
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vglk31$3a6hn$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Mozilla Thunderbird
On 11/8/2024 12:02 PM, Richard Damon wrote:
On 11/8/24 12:25 PM, olcott wrote:
>
That formal systems that only apply truth preserving
operations to expressions of their formal language
that have been stipulated to be true cannot possibly
be undecidable is proven to be over-your-head on the
basis that you have no actual reasoning as a rebuttal.
>
No, all you have done is shown that you don't undertstand what you are talking about.
Godel PROVED that the FORMAL SYSTEM that his proof started in, is unable to PROVE that the statement G, being "that no Natural Number g, that satifies a particularly designed Primitive Recursive Relationship" is true, but also shows (using the Meta-Mathematics that derived the PRR for the original Formal System) that no such number can exist.
The equivocation of switching formal systems from PA to meta-math.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…