Path: ...!news.tomockey.net!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Deriving X from the finite set of FooBar preserving operations
 --- membership algorithm for X in L
Date: Sun, 20 Oct 2024 23:00:52 -0500
Organization: A noiseless patient Spider
Lines: 108
Message-ID: <vf4jll$pljj$3@dont-email.me>
References: <ves6p1$2uoln$1@dont-email.me>
 <3232d8a0cc7b5d4bba46321bf682c94573bf1b7c@i2pn2.org>
 <vesemu$2v7sh$1@dont-email.me>
 <a9fb95eb0ed914d0d9775448c005111eb43f2c5b@i2pn2.org>
 <veslpf$34ogr$1@dont-email.me>
 <647fe917c6bc0cfc78083ccf927fe280acdf2f9d@i2pn2.org>
 <vetq7u$3b8r2$1@dont-email.me>
 <522ecce215e636ddb7c9a1f75bff1ba466604cc5@i2pn2.org>
 <veuvt9$3hnjq$1@dont-email.me>
 <87634d01e18903c744d109aaca3a20b9ce4278bb@i2pn2.org>
 <vev8gg$3me0u$1@dont-email.me>
 <eb38c4aff9c8bc250c49892461ac25bfccfe303f@i2pn2.org>
 <vf051u$3rr97$1@dont-email.me>
 <e3f28689429722f86224d0d736115e4d1895299b@i2pn2.org>
 <vf1hun$39e3$1@dont-email.me>
 <dedb2801cc230a4cf689802934c4b841ae1a29eb@i2pn2.org>
 <vf1stu$8h0v$1@dont-email.me>
 <592109c757262c48aaca517a829ea1867913316b@i2pn2.org>
 <vf37qt$fbb3$1@dont-email.me>
 <b8862132632732d17892186510c3f0ca2a459755@i2pn2.org>
 <vf3ugr$ja0c$1@dont-email.me>
 <1eefa0c86bb69264cdb276d048b10bf3277ea7bc@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 21 Oct 2024 06:00:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b369f0f2d7fece35c41a3b04a99b5ee3";
	logging-data="841331"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19+qRTJvaobFlRtGQLcnSTr"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ZcVjpm6RclDNPySsPCTOdR/vvCs=
X-Antivirus-Status: Clean
In-Reply-To: <1eefa0c86bb69264cdb276d048b10bf3277ea7bc@i2pn2.org>
Content-Language: en-US
X-Antivirus: Norton (VPS 241020-4, 10/20/2024), Outbound message
Bytes: 6839

On 10/20/2024 10:21 PM, Richard Damon wrote:
> On 10/20/24 5:59 PM, olcott wrote:
>> On 10/20/2024 2:13 PM, Richard Damon wrote:
>>> On 10/20/24 11:32 AM, olcott wrote:
>>>> On 10/20/2024 6:46 AM, Richard Damon wrote:
>>>>
>>>>> A "First Principles" approach that you refer to STARTS with an 
>>>>> study and understanding of the actual basic principles of the 
>>>>> system. That would be things like the basic definitions of things 
>>>>> like "Program", "Halting" "Deciding", "Turing Machine", and then 
>>>>> from those concepts, sees what can be done, without trying to rely 
>>>>> on the ideas that others have used, but see if they went down a 
>>>>> wrong track, and the was a different path in the same system.
>>>>>
>>>>
>>>> The actual barest essence for formal systems and computations
>>>> is finite string transformation rules applied to finite strings.
>>>
>>> So, show what you can do with that.
>>>
>>> Note, WHAT the rules can be is very important, and seems to be beyond 
>>> you ability to reason about.
>>>
>>> After all, all a Turing Machine is is a way of defining a finite 
>>> stting transformation computation.
>>>
>>>>
>>>> The next minimal increment of further elaboration is that some
>>>> finite strings has an assigned or derived property of Boolean
>>>> true. At this point of elaboration Boolean true has no more
>>>> semantic meaning than FooBar.
>>>
>>> And since you can't do the first step, you don't understand what that 
>>> actually means.
>>>
>>
>> As soon as any algorithm is defined to transform any finite
>> string into any other finite string we have conclusively
>> proven that algorithms can transform finite strings.
>>
>> The simplest formal system that I can think of transforms
>> pairs of strings of ASCII digits into their sum. This algorithm
>> can be easily specified in C.
>>
>>>>
>>>> Some finite strings are assigned the FooBar property and other
>>>> finite string derive the FooBar property by applying FooBar
>>>> preserving operations to the first set.
>>>
>>> But, since we have an infinite number of finite strings to be 
>>> assigned values, we can't just enumerate that set.
>>>
>>
>> The infinite set of pairs of finite strings of ASCII digits
>> can be easily transformed into their corresponding sum for
>> arbitrary elements of this infinite set.
>>
>>>>
>>>> Once finite strings have the FooBar property we can define
>>>> computations that apply Foobar preserving operations to
>>>> determine if other finite strings also have this FooBar property.
>>>>
>>>>> It seems you never even learned the First Principles of Logic 
>>>>> Systems, bcause you don't understand that Formal Systems are built 
>>>>> from their definitions, and those definitions can not be changed 
>>>>> and let you stay in the same system.
>>>>>
>>>>
>>>> The actual First Principles are as I say they are: Finite string
>>>> transformation rules applied to finite strings. What you are
>>>> referring to are subsequent principles that have added more on
>>>> top of the actual first principles.
>>>>
>>>
>>> But it seems you never actually came up with actual "first 
>>> Principles' about what could be done at your first step, and thus you 
>>> have no idea what can be done at each of the later steps.
>>>
>>> Also, you then want to talk about fields that HAVE defined what those 
>>> mean, but you don't understand that, so your claims about what they 
>>> can do are just baseless.
>>>
>>> All you have done is proved that you don't really understand what you 
>>> are talking about, but try to throw around jargon that you don't 
>>> actually understand either, which makes so many of your statements 
>>> just false or meaningless.
>>
>> When we establish the ultimate foundation of computation and
>> formal systems as transformations of finite strings having the
>> FooBar (or any other property) by FooBar preserving operations
>> into other finite strings then the membership algorithm would
>> seem to always be computable.
>>
>> There would either be some finite sequence of FooBar preserving
>> operations that derives X from the set of finite strings defined
>> to have the FooBar property or not.
>>
> 
> And, as posted in comp.theory, you are just showing that you don't 
> understand the nature of the problem, and that determining whether or 
> not such a string exists can be uncomputable, as it requires searching 
> an infinite set.

The correct answer for an infinite set is [can't be known].

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer