Re: Can you find anything wrong with this solution to the Halting Problem?
From: Scott Dorsey (kludge_at_panix.com)
Date: 07/13/04
- Next message: |-|erc: "Re: Groupthink"
- Previous message: Eckard Blumschein: "Re: You Don't Have to Be Nuts to Be a Mathematician ..."
- In reply to: |-|erc: "Re: Can you find anything wrong with this solution to the Halting Problem?"
- Next in thread: |-|erc: "Re: Can you find anything wrong with this solution to the Halting Problem?"
- Reply: |-|erc: "Re: Can you find anything wrong with this solution to the Halting Problem?"
- Messages sorted by: [ date ] [ thread ]
Date: 13 Jul 2004 09:47:27 -0400
|-|erc <gotch@beauty.com> wrote:
>
>The issue is does the halting proof represent this question:
>
> Does there exist a single program that can input any general function to determine
> if it halts?
>
>Despite its popularity in comp.theory and sci.math, "I'm right" isn't the answer.
No, it doesn't. The question you ask has an easy "yes" answer, if you are
given infinite time. You forget to specify that it requires finite time.
You get -10 points for ill-definition. Do not pass go. Do not collect $200.
Do not crosspost this to talk.bizarre.
--scott
-- "C'est un Nagra. C'est suisse, et tres, tres precis."
- Next message: |-|erc: "Re: Groupthink"
- Previous message: Eckard Blumschein: "Re: You Don't Have to Be Nuts to Be a Mathematician ..."
- In reply to: |-|erc: "Re: Can you find anything wrong with this solution to the Halting Problem?"
- Next in thread: |-|erc: "Re: Can you find anything wrong with this solution to the Halting Problem?"
- Reply: |-|erc: "Re: Can you find anything wrong with this solution to the Halting Problem?"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
