Sujet : Re: Olcott doesn't understand meta-systems
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : sci.logic comp.theoryDate : 10. Jul 2024, 13:24:08
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <f81555b6d02e2d7ad5c5094f3cdf4ad0de68ec25@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
User-Agent : Mozilla Thunderbird
On 7/9/24 11:24 PM, olcott wrote:
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"
Right, because the existance of such a sequence was shown by a proof in the mete.
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*
And just prove you are an idiot because you don't understand the concept of a meta-system based on extending a system, which might be able to prove things about the original system that the original system couldn't prove itself.
Which might be because you just don't understand how Formal Logic works, and doesn't need to be tied to our "real world".
…