Re: Can you find anything wrong with this solution to the Halting Problem?

From: David C. Ullrich (ullrich_at_math.okstate.edu)
Date: 07/13/04 

Date: Mon, 12 Jul 2004 19:14:29 -0500

On 12 Jul 2004 19:05:39 -0400, kludge@panix.com (Scott Dorsey) wrote:

>Kent Paul Dolan <xanthian@well.com> wrote:
>>It would be an achievement of adulthood on your part
>>if you could abandon wasting the time of others by
>>posting to technical newsgroups "proofs" you bring
>>back from your frequent visits to the Bizarro planet
>>within your mind, and then arguing interminably in
>>favor of your errors in those non-proofs.
>
>The Halting Problem was solved decades ago with the introduction of
>high octane gasoline. It used to be your computer might continue
>executing thousands of instructions even after you had turned the key
>to the halt position. This so-called "dieseling" was the result of
>poor quality fuel and high compression CPU architectures. It is no
>longer a problem with modern fuels. In this modern age you can type
>"sync;sync;sync;halt" and expect the system to shut down within a
>matter of seconds.

This is a lot more convincing than the other proofs in
these threads. I'm convinced, the Halting Problem is
solved, Turing was wrong.

Of course _his_ proofs don't quite work, but the
argument here is so clearly inspired by his
attempts at a proof that it's clear you would
never have accomplished this without him showing
you the Way. Turing is dead; long live Olcott.

>--scott

************************

David C. Ullrich

Relevant Pages

  • Re: Can you find anything wrong with this solution to the Halting Problem?
    ... >longer a problem with modern fuels. ... This is a lot more convincing than the other proofs in ... I'm convinced, the Halting Problem is ... Turing is dead; long live Olcott. ...
    (comp.theory)
  • Re: Yet another Attempt at Disproving the Halting Problem
    ... >analyzer that always returns a correct result back to the program being ... You haven't refuted Turing, you've changed the ... "solve the halting problem", you are free to do so. ... So your approach to producing a pink elephant is to build a dark ...
    (comp.theory)
  • Re: Yet another Attempt at Disproving the Halting Problem
    ... >analyzer that always returns a correct result back to the program being ... You haven't refuted Turing, you've changed the ... "solve the halting problem", you are free to do so. ... So your approach to producing a pink elephant is to build a dark ...
    (comp.lang.cpp)
  • Re: Yet another Attempt at Disproving the Halting Problem
    ... >analyzer that always returns a correct result back to the program being ... You haven't refuted Turing, you've changed the ... "solve the halting problem", you are free to do so. ... So your approach to producing a pink elephant is to build a dark ...
    (sci.logic)
  • Random Answers
    ... evolution being random or not. ... Garamond Lethe in particular has pointed out that a Turing ... the halting problem is a decision problem ... on the *exact* values of the initial conditions. ...
    (talk.origins)