Re: The philosophy of computation reformulates existing ideas on a new basis --- getting somewhere

On 11/3/2024 3:14 PM, Richard Damon wrote:

On 11/3/24 1:33 PM, olcott wrote:

On 11/3/2024 12:20 PM, Richard Damon wrote:

On 11/3/24 9:39 AM, olcott wrote:

>
That is why I used to fully defined semantics of the x86
language to make this 100% perfectly unequivocal.
>
A few lines of x86 code express complex algorithms
succinctly enough that human minds are not totally
overwhelmed by far too much tedious detail.
>

It is not pspecified
in the usual formulation of the problem. Also note that
the behaviour exists before those strings so "describe"
should be and usually is used instead of "specify". The
use of latter may give the false impression that the behaviour
is determined by those strings.
>

>
In order for any machine to compute the mapping from
a finite string it must to so entirely on the basis
of the actual finite string and its specified semantics.

>
You have that somewhat backwards. It *CAN* only do what it can compute.
>
The mapping is not required to *BE* computable.
>

>
The finite string input to HHH specifies that HHH
MUST EMULATE ITSELF emulating DDD.

>
Right, and it must CORRECTLY determine what an unbounded emulation of that input would do, even if its own programming only lets it emulate a part of that.
>

>
Yes this is exactly correct. I don't understand
why you keep disagreeing with your own self this.

 Right, buyt you keep on forgetting that correct means the UNBOUNDED emulation, which isn't what you decider does.
 

On 11/3/2024 12:20 PM, Richard Damon wrote:
 > On 11/3/24 9:39 AM, olcott wrote:
 >>
 >> The finite string input to HHH specifies that HHH
 >> MUST EMULATE ITSELF emulating DDD.
 >
 > Right, and it must CORRECTLY determine what an unbounded
 > emulation of  that input would do, even if its own programming
 > only lets it emulate a part of that.
 >
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer