Sujet : Re: The philosophy of computation reformulates existing ideas on a new basis --- INFALLIBLY CORRECT REASONING
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 08. Nov 2024, 23:00:03
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <bdf1fdcdb7c6c0ce058bd517834631418f6d94ab@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 25 26 27
User-Agent : Mozilla Thunderbird
On 11/8/24 4:14 PM, olcott wrote:
On 11/8/2024 12:55 PM, joes wrote:
What non-input do you have in mind? The TM the encoding of which we’re
feeding to HHH to simulate?
>
The directly executed DDD() is not any freaking input to any damn thing.
Excpet that is *IS* the behavior of any input that is defined to use the semantic meaning of an input that is a description of DDD.
I guess you don't understand the meaning of semantics.