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

On 11/2/2024 5:49 AM, Mikko wrote:

On 2024-11-01 12:26:58 +0000, olcott said:
 

On 11/1/2024 5:58 AM, Mikko wrote:

On 2024-10-31 12:50:00 +0000, olcott said:
 

On 10/31/2024 5:49 AM, Mikko wrote:

On 2024-10-29 14:35:34 +0000, olcott said:
 

On 10/29/2024 2:57 AM, Mikko wrote:

On 2024-10-29 00:57:30 +0000, olcott said:
 

On 10/28/2024 6:56 PM, Richard Damon wrote:

On 10/28/24 11:04 AM, olcott wrote:

On 10/28/2024 6:16 AM, Richard Damon wrote:

The machine being used to compute the Halting Function has taken a finite string description, the Halting Function itself always took a Turing Machine,
 

 That is incorrect. It has always been the finite string Turing Machine
description of a Turing machine is the input to the halt decider.
There are always been a distinction between the abstraction and the
encoding.

 Nope, read the problem you have quoted in the past.
 

 Ultimately I trust Linz the most on this:
 the problem is: given the description of a Turing machine
M and an input w, does M, when started in the initial
configuration qow, perform a computation that eventually halts?
https://www.liarparadox.org/Peter_Linz_HP_317-320.pdf
 Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qy ∞
Ĥ.q0 ⟨Ĥ⟩ ⊢* embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn
 Linz also makes sure to ignore that the behavior of ⟨Ĥ⟩ ⟨Ĥ⟩
correctly simulated by embedded_H cannot possibly reach
either ⟨Ĥ.qy⟩ or ⟨Ĥ.qn⟩ because like everyone else he rejects
simulation out of hand:
 We cannot find the answer by simulating the action of M on w,
say by performing it on a universal Turing machine, because
there is no limit on the length of the computation.

 That statement does not fully reject simulation but is correct in
the observation that non-halting cannot be determied in finite time
by a complete simulation so someting else is needed instead of or
in addition to a partial simulation. Linz does include simulationg
Turing machines in his proof that no Turing machine is a halt decider.

 *That people fail to agree with this and also fail to*
*correctly point out any error seems to indicate dishonestly*
*or lack of technical competence*
 DDD emulated by HHH according to the semantics of the x86
language cannot possibly reach its own "return" instruction
whether or not any HHH ever aborts its emulation of DDD.

 - irrelevant

 100% perfectly relevant within the philosophy of computation

 Probably but not to anything quoted above.
 

*THE TITLE OF THIS THREAD*
[The philosophy of computation reformulates existing ideas on a new basis ---]
 

- couterfactual

 

You can baselessly claim that verified facts are counter-factual
you cannot show this.

 Your statement was about a situation where "people fail to agree with
this and also fail to correctly point out any error". But that situation
has not happened as people have identified your errors (perhaps not all
but at least sufficiently many).
 

 Inconsistent with the currently received view is
certainly not the slightest trace of any error when
examined within the philosophy of computation.

 

It has always seemed quite ridiculous to me that everyone
here consistently construes the currently received view
as inherently infallible.

 The currently received view that if you are asked "What is 5 + 6?"
then only an answer that tells what 5 + 6 is is correct is infallible.
 

 This is simple enough that people cannot be confused.
That 5 + 6 == 11 does seem infallibly true.

 

They call me stupid and ignorant for not accepting the currently
received view as inherently infallible.

 You are stupid if you regard your own view as infallible. If you
regard something that has been tested and found good as infallible
then the risk of error can be small enough.
 

 I have known that equating believable with true is an error
a great consequence ever since I was 14.
 It seems clear that halt deciders must compute the mapping
from their input finite strings to the actual behavior
specified by these finite strings.
 It is true that when we construe the halting criteria as
requiring taking into account how a pathological relationship
changes the behavior of the input instead of simply ignoring
this behavior change that pathological inputs become decidable
as non-halting.