Re: Halting Problem: How my refutation differs to Peter Olcott's

Liste des GroupesRevenir à c theory 
Sujet : Re: Halting Problem: How my refutation differs to Peter Olcott's
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 11. May 2025, 12:49:50
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <1cecbb270dfb6a7c37ce23eb4b722f1b85c0e7d3@i2pn2.org>
References : 1 2 3
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Sat, 10 May 2025 23:56:36 +0000 schrieb Mr Flibble:
On Sat, 10 May 2025 18:40:53 -0400, Richard Damon wrote:
On 5/10/25 4:38 PM, Mr Flibble wrote:

How my refutation differs to Peter's:
* Peter refutes the halting problem based on pathological input
manifesting in a simulating halt decider as infinite recursion, this
being treated as non-halting.
* Flibble refutes the halting problem based on patholgical input
manifesting as decider/input self-referencial conflation, resulting in
the contradiction at the heart of the halting problem being a category
(type) error, i.e. ill-formed.
These two refutations are related but not exactly the same.
 
And the problem is that you use incorrect categories.
The decider needs to be of the category "Program".
The input also needs to be of the category "Program", but provided via
a representation. The act of representation lets us convert items of
category Program to the category of Finite String which can be an
input.
 
Those two categories you have identified are different hence the
category error.
No. HHH has a string representation, like every program.

The "Pathological Input" *IS* a Program, built by the simple rules of
composition that are allowed in the system.
Such composition is invalid.
No. DDD has only a function call, a condition, and an infinite loop.

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.

Date Sujet#  Auteur
10 May 25 * Re: Halting Problem: How my refutation differs to Peter Olcott's37Richard Damon
11 May 25 +- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Damon
11 May 25 +* Re: Halting Problem: How my refutation differs to Peter Olcott's24olcott
11 May 25 i+* Re: Halting Problem: How my refutation differs to Peter Olcott's22Richard Damon
11 May 25 ii+* Recursive simulation must be reported and not ignored.4olcott
11 May 25 iii+- Re: Recursive simulation must be reported and not ignored.1Richard Damon
11 May 25 iii+- Re: Recursive simulation must be reported and not ignored.1joes
11 May 25 iii`- Re: Recursive simulation must be reported and not ignored.1Fred. Zwarts
11 May 25 ii+- Re: Recursive simulation must be reported and not ignored.1Richard Damon
11 May 25 ii+* Re: Halting Problem: How my refutation differs to Peter Olcott's14olcott
11 May 25 iii+* Re: Halting Problem: How my refutation differs to Peter Olcott's4olcott
11 May 25 iiii`* Re: Halting Problem: How my refutation differs to Peter Olcott's3olcott
11 May 25 iiii `* Re: Halting Problem: How my refutation differs to Peter Olcott's2olcott
11 May 25 iiii  `- Re: Halting Problem: How my refutation differs to Peter Olcott's1olcott
11 May 25 iii+- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Damon
11 May 25 iii+* Re: Halting Problem: How my refutation differs to Peter Olcott's2Richard Damon
11 May 25 iiii`- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Damon
12 May 25 iii`* Re: Halting Problem: How my refutation differs to Peter Olcott's6Mikko
12 May 25 iii +* Re: Halting Problem: How my refutation differs to Peter Olcott's2Richard Heathfield
12 May 25 iii i`- Re: Halting Problem: How my refutation differs to Peter Olcott's1Mikko
12 May 25 iii `* Re: Halting Problem: How my refutation differs to Peter Olcott's3olcott
13 May 25 iii  +- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Damon
13 May 25 iii  `- Re: Halting Problem: How my refutation differs to Peter Olcott's1Mikko
11 May 25 ii+- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Heathfield
11 May 25 ii`- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Damon
11 May 25 i`- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Heathfield
11 May 25 `* Re: Halting Problem: How my refutation differs to Peter Olcott's11joes
11 May 25  +- Re: Halting Problem: How my refutation differs to Peter Olcott's1joes
11 May 25  +- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Damon
12 May 25  `* Re: Halting Problem: How my refutation differs to Peter Olcott's8Mikko
12 May 25   `* Re: Halting Problem: How my refutation differs to Peter Olcott's7olcott
12 May 25    +* Re: Halting Problem: How my refutation differs to Peter Olcott's5Richard Heathfield
12 May 25    i`* Re: Halting Problem: How my refutation differs to Peter Olcott's4olcott
12 May 25    i +- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Heathfield
13 May 25    i `* Re: Halting Problem: How my refutation differs to Peter Olcott's2Mikko
13 May 25    i  `- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Heathfield
13 May 25    `- Re: Halting Problem: How my refutation differs to Peter Olcott's1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal