Sujet : Richard contradicts himself about infinite proofs
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theoryDate : 10. Jul 2024, 04:24:43
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v6kutr$1og5r$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
On 7/8/2024 7:37 PM, Richard Damon wrote:
Tarski's x like Godel's G are know to be true by an infinite sequence of truth preserving operations.
"are *know to be true* by an infinite sequence"
"are *know to be true* by an infinite sequence"
"are *know to be true* by an infinite sequence"
"are *know to be true* by an infinite sequence"
"are *know to be true* by an infinite sequence"
On 7/8/2024 9:59 PM, Richard Damon wrote:
> No, infinite "proofs" determine TRUTH, not knowledge.
*I am going to keep hammering you on this over-and-over*
*I am going to keep hammering you on this over-and-over*
*I am going to keep hammering you on this over-and-over*
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer