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