Sujet : Re: Pathological self-reference changes the semantics of the same finite string.
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 30. Aug 2024, 10:11:52
Autres entêtes
Organisation : -
Message-ID : <varus8$dqgo$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 24 25 26
User-Agent : Unison/2.2
On 2024-08-29 17:53:44 +0000, olcott said:
I just proved that the basic notion of finite strings
having unique meanings independently of their context
is incorrect.
The context is the halting problem. It specifies the meanings
but not any finite strings to carry these meanings. The meanings
exist independently of any finite string. A solution or a partial
solution to the problem specifies how each of these meanings shall
be expressed with a finite string for other parts of the solution.
-- Mikko
…