Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.logic,comp.theory
Subject: Re: Olcott doesn't understand meta-systems
Date: Wed, 10 Jul 2024 07:24:08 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <f81555b6d02e2d7ad5c5094f3cdf4ad0de68ec25@i2pn2.org>
References: <v67685$6fr5$1@solani.org> <v6cpnc$1b3m$2@dont-email.me>
 <9e59212316a9b258e95a1de7f5cca46fee37861e@i2pn2.org>
 <v6csla$1otr$2@dont-email.me>
 <3f12eb90be522441c8b95d17d25767fcaf72ed2d@i2pn2.org>
 <v6cvqs$5vir$2@dont-email.me>
 <efced1648cf7ddc1c257d7c4369add3b391dd005@i2pn2.org>
 <v6d2r0$6cgn$2@dont-email.me>
 <931fe5b1e73d204bf20a268dd025489e3040371d@i2pn2.org>
 <v6e5ho$bbcb$2@dont-email.me>
 <0f3e40caf51b61ebb05c4ec2ae44042bff632017@i2pn2.org>
 <v6el1u$e6tb$1@dont-email.me>
 <3c9ef913b1fbbca50c1a4acd02401906646327ed@i2pn2.org>
 <RpKdnUjg8sjx0Bb7nZ2dnZfqlJydnZ2d@giganews.com>
 <2d0b6260615af8afac79ee8de57bcd45c2f2056f@i2pn2.org>
 <v6fk9p$mr5k$1@dont-email.me>
 <8bd5f2159853ff17ef81b27a85141bccc324e7d9@i2pn2.org>
 <v6fkrb$mr5k$2@dont-email.me> <v6fl9a$mr5k$3@dont-email.me>
 <v6huj5$12ktu$2@dont-email.me>
 <7387a77d06e4b00a1c27a447e2744a4f10b25e49@i2pn2.org>
 <v6i08a$12ktu$4@dont-email.me>
 <c81e1794259853dfd7724900ebfab484679615be@i2pn2.org>
 <v6kutr$1og5r$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 10 Jul 2024 11:24:09 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2789540"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v6kutr$1og5r$1@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3106
Lines: 31

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".