Re: Pathological self-reference changes the semantics of the same finite string.

Liste des GroupesRevenir à theory 
Sujet : Re: Pathological self-reference changes the semantics of the same finite string.
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 01. Sep 2024, 12:13:06
Autres entêtes
Organisation : -
Message-ID : <vb1i82$1finq$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 27
User-Agent : Unison/2.2
On 2024-08-31 12:26:15 +0000, olcott said:

On 8/30/2024 8:22 AM, Mikko wrote:
On 2024-08-30 12:57:49 +0000, olcott said:
 
On 8/30/2024 3:11 AM, Mikko wrote:
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.
 The behavior of
the directly executed DDD and executed HHH
is different from the behavior of
the emulated DDD and the emulated HHH
 The correct behaviour is the computation that the user wants to
ask about. If the input string specifies a different behaviour
then the input string is worng, not the behaviour.
 
 int sum(int x, int y) { return x + y; }
And in the exact same way Bill wants to get the
sum of 5+6 from sum(3,2).
If Bill wants to get the sum of 5 + 6 then there are two possibilites:
either you give him a tool that can give him the sum and instrunctions
of use of that tool; or you don't, in which case Bill may ask someone
else.
--
Mikko

Date Sujet#  Auteur
3 Jul 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal