# Re: The Halting Problem is merely an erroneously formed question

*From*: Patricia Shanahan <pats@xxxxxxx>*Date*: Sun, 12 Feb 2012 07:46:16 -0800

Peter Olcott wrote:

On 2/12/2012 9:06 AM, Patricia Shanahan wrote:I am not leaving out the input data. This is the input data:

if ( TheProgramHalts( String SourceCode ) )

Loop Forever;

else

Exit;

No, I meant the input data for the of SourceCode whose halting we are

testing. Remember SourceCode may represent a TM that halts for some

initial tape contents but halts for others.

// Converted the syntax from declaration to invocation

//

if ( TheProgramHalts( SourceCode ) )

Loop Forever;

else

Exit;

The Halting Problem is essentially that there can not possibly exist any possible implementation of the above referenced: bool TheProgramHalts(String SourceCode) that provides the correct Boolean result when the above program is provided as input to this bool TheProgramHalts(String SourceCode) halt analyzer.

YOU GOT IT!

Although the conclusion is true, it is only true because the above program forms invalid input to the halt analyzer.

It is a correctly formed halting question with an exact true/false

answer. There is no problem with the question unless you start out by

assuming that the TM we are testing is a valid halting decider.

Take another look at the earlier examples I posted of testing TMs that

always return true or always return false. I demonstrated there that

even when the TM we are testing gets the question wrong, another TM,

given the same question reports the correct true/false answer. That

would be impossible if the question had no right answer.

Patricia

.

**Follow-Ups**:**Re: The Halting Problem is merely an erroneously formed question***From:*Peter Olcott

**References**:**The Halting Problem is merely an erroneously formed question***From:*Peter Olcott

**Re: The Halting Problem is merely an erroneously formed question***From:*Joshua Cranmer

**Re: The Halting Problem is merely an erroneously formed question***From:*Peter Olcott

**Re: The Halting Problem is merely an erroneously formed question***From:*Patricia Shanahan

**Re: The Halting Problem is merely an erroneously formed question***From:*Peter Olcott

**Re: The Halting Problem is merely an erroneously formed question***From:*Patricia Shanahan

**Re: The Halting Problem is merely an erroneously formed question***From:*Peter Olcott

**Re: The Halting Problem is merely an erroneously formed question***From:*Joshua Cranmer

**Re: The Halting Problem is merely an erroneously formed question***From:*Peter Olcott

**Re: The Halting Problem is merely an erroneously formed question***From:*Patricia Shanahan

**Re: The Halting Problem is merely an erroneously formed question***From:*Peter Olcott

**Re: The Halting Problem is merely an erroneously formed question***From:*Patricia Shanahan

**Re: The Halting Problem is merely an erroneously formed question***From:*Peter Olcott

**Re: The Halting Problem is merely an erroneously formed question***From:*Patricia Shanahan

**Re: The Halting Problem is merely an erroneously formed question***From:*Peter Olcott

**Re: The Halting Problem is merely an erroneously formed question***From:*Patricia Shanahan

**Re: The Halting Problem is merely an erroneously formed question***From:*Peter Olcott

**Re: The Halting Problem is merely an erroneously formed question***From:*Patricia Shanahan

**Re: The Halting Problem is merely an erroneously formed question***From:*Peter Olcott

**Re: The Halting Problem is merely an erroneously formed question***From:*Patricia Shanahan

**Re: The Halting Problem is merely an erroneously formed question***From:*Peter Olcott

- Prev by Date:
**Re: The Halting Problem is merely an erroneously formed question** - Next by Date:
**Re: The Halting Problem is merely an erroneously formed question** - Previous by thread:
**Re: The Halting Problem is merely an erroneously formed question** - Next by thread:
**Re: The Halting Problem is merely an erroneously formed question** - Index(es):