PREMISES:
(1) The Halting Problem was specified in such a way that a solution
was defined to be impossible.
No, it wasn't. It's a perfectly legitimate mathematical problem. It's
not even obvious that it wouldn't have an effective solution at first
sight.
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
(Your (YES or NO) answer is to be considered
translated to Boolean as the function's input
parameter)
Please ONLY PROVIDE CORRECT ANSWERS!
On 6/23/2004 9:34 PM, Peter Olcott wrote:
PREMISES:
(1) The Halting Problem was specified in such a way that a solution
was defined to be impossible.
No, it wasn't. It's a perfectly legitimate mathematical problem. It's
not even obvious that it wouldn't have an effective solution at first
sight.
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
On 6/23/2004 9:34 PM, Peter Olcott wrote:
PREMISES:
(1) The Halting Problem was specified in such a way that a solution
was defined to be impossible.
No, it wasn't. It's a perfectly legitimate mathematical problem. It's
not even obvious that it wouldn't have an effective solution at first
sight.
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
(Your (YES or NO) answer is to be considered
translated to Boolean as the function's input
parameter)
Please ONLY PROVIDE CORRECT ANSWERS!
When a human answers that question both answers are
the wrong answer. Thus exactly the same as this question:
Is this sentence true or false: "This sentence is not true."
On 6/23/2004 9:34 PM, Peter Olcott wrote:
PREMISES:
(1) The Halting Problem was specified in such a way that a solution
was defined to be impossible.
No, it wasn't. It's a perfectly legitimate mathematical problem. It's
not even obvious that it wouldn't have an effective solution at first
sight.
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
(Your (YES or NO) answer is to be considered
translated to Boolean as the function's input
parameter)
Please ONLY PROVIDE CORRECT ANSWERS!
When a human answers that question both answers are
the wrong answer. Thus exactly the same as this question:
Is this sentence true or false: "This sentence is not true."
Le 23/12/2025 à 01:01, olcott a écrit :
On 6/23/2004 9:34 PM, Peter Olcott wrote:
PREMISES:
(1) The Halting Problem was specified in such a way that a solution >>>>> was defined to be impossible.
No, it wasn't. It's a perfectly legitimate mathematical problem. It's
not even obvious that it wouldn't have an effective solution at first
sight.
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
This is utterly asinine! The name of a function or of an argument does
not carry any semantic value.
func is_even(int n):
if n % 2 == 0 then
return false
else
return true
The function shouldn't be named is_even, anyway there is nothing wrong
with this function /per se/.
On 12/22/2025 8:47 PM, Python wrote:
Le 23/12/2025 à 01:01, olcott a écrit :
On 6/23/2004 9:34 PM, Peter Olcott wrote:
PREMISES:
(1) The Halting Problem was specified in such a way that a solution >>>>>> was defined to be impossible.
No, it wasn't. It's a perfectly legitimate mathematical problem. It's >>>>> not even obvious that it wouldn't have an effective solution at first >>>>> sight.
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
This is utterly asinine! The name of a function or of an argument does
not carry any semantic value.
func is_even(int n):
if n % 2 == 0 then
return false
else
return true
The function shouldn't be named is_even, anyway there is nothing wrong
with this function /per se/.
You erased a key aspect of the context.
This is my first work on the halting problem
21 years ago.
On 12/22/25 7:01 PM, olcott wrote:
On 6/23/2004 9:34 PM, Peter Olcott wrote:
PREMISES:
(1) The Halting Problem was specified in such a way that a solution >>>>> was defined to be impossible.
No, it wasn't. It's a perfectly legitimate mathematical problem. It's
not even obvious that it wouldn't have an effective solution at first
sight.
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
(Your (YES or NO) answer is to be considered
translated to Boolean as the function's input
parameter)
Please ONLY PROVIDE CORRECT ANSWERS!
When a human answers that question both answers are
the wrong answer. Thus exactly the same as this question:
Is this sentence true or false: "This sentence is not true."
And of course the correct answer is:
On 12/22/25 10:11 PM, olcott wrote:
On 12/22/2025 8:47 PM, Python wrote:
Le 23/12/2025 à 01:01, olcott a écrit :
On 6/23/2004 9:34 PM, Peter Olcott wrote:
PREMISES:
(1) The Halting Problem was specified in such a way that a solution >>>>>>> was defined to be impossible.
No, it wasn't. It's a perfectly legitimate mathematical problem. It's >>>>>> not even obvious that it wouldn't have an effective solution at first >>>>>> sight.
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
This is utterly asinine! The name of a function or of an argument
does not carry any semantic value.
func is_even(int n):
if n % 2 == 0 then
return false
else
return true
The function shouldn't be named is_even, anyway there is nothing
wrong with this function /per se/.
You erased a key aspect of the context.
This is my first work on the halting problem
21 years ago.
Which shows that you never knew what you doing.
On 12/22/2025 9:13 PM, Richard Damon wrote:
On 12/22/25 10:11 PM, olcott wrote:
On 12/22/2025 8:47 PM, Python wrote:
Le 23/12/2025 à 01:01, olcott a écrit :
On 6/23/2004 9:34 PM, Peter Olcott wrote:
PREMISES:
(1) The Halting Problem was specified in such a way that a
solution
was defined to be impossible.
No, it wasn't. It's a perfectly legitimate mathematical problem. >>>>>>> It's
not even obvious that it wouldn't have an effective solution at >>>>>>> first
sight.
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
This is utterly asinine! The name of a function or of an argument
does not carry any semantic value.
func is_even(int n):
if n % 2 == 0 then
return false
else
return true
The function shouldn't be named is_even, anyway there is nothing
wrong with this function /per se/.
You erased a key aspect of the context.
This is my first work on the halting problem
21 years ago.
Which shows that you never knew what you doing.
You can spout that off as baseless dogmatic
rhetoric yet cannot show that the essence of
what I am saying is less than infallibly correct.
On 12/22/2025 9:05 PM, Richard Damon wrote:
On 12/22/25 7:01 PM, olcott wrote:
On 6/23/2004 9:34 PM, Peter Olcott wrote:
PREMISES:
(1) The Halting Problem was specified in such a way that a solution >>>>>> was defined to be impossible.
No, it wasn't. It's a perfectly legitimate mathematical problem. It's >>>>> not even obvious that it wouldn't have an effective solution at first >>>>> sight.
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
(Your (YES or NO) answer is to be considered
translated to Boolean as the function's input
parameter)
Please ONLY PROVIDE CORRECT ANSWERS!
When a human answers that question both answers are
the wrong answer. Thus exactly the same as this question:
Is this sentence true or false: "This sentence is not true."
And of course the correct answer is:
Any yes/no question where both yes and no are
the wrong answer is an incorrect polar question.
So even 21 years ago I knew that the halting
problem was fundamentally incorrect.
Here is the link to that original post. https://groups.google.com/g/sci.logic/c/Hs78nMN6QZE/m/ID2rxwo__yQJ
On 12/22/25 10:20 PM, olcott wrote:
On 12/22/2025 9:13 PM, Richard Damon wrote:
On 12/22/25 10:11 PM, olcott wrote:
On 12/22/2025 8:47 PM, Python wrote:
Le 23/12/2025 à 01:01, olcott a écrit :
On 6/23/2004 9:34 PM, Peter Olcott wrote:
PREMISES:
(1) The Halting Problem was specified in such a way that a >>>>>>>>> solution
was defined to be impossible.
No, it wasn't. It's a perfectly legitimate mathematical problem. >>>>>>>> It's
not even obvious that it wouldn't have an effective solution at >>>>>>>> first
sight.
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
This is utterly asinine! The name of a function or of an argument
does not carry any semantic value.
func is_even(int n):
if n % 2 == 0 then
return false
else
return true
The function shouldn't be named is_even, anyway there is nothing
wrong with this function /per se/.
You erased a key aspect of the context.
This is my first work on the halting problem
21 years ago.
Which shows that you never knew what you doing.
You can spout that off as baseless dogmatic
rhetoric yet cannot show that the essence of
what I am saying is less than infallibly correct.
The fact that your arguement isn't based on the form that a decider
works on it enough to show your ignorance.
Are you so dumb you can't see that?
THe DEFINITION of a halt decider is that it is given the description/ representaiton of a program and its input, and is to decide on what that program will do.
There is NOTHING problemstic of predecting the behavior of your
functions for any argument it is given.
Your argument is that you didn't tell it the right things, but the halt decider doesn't tell the program it is examining anything, the input to
that program is part of the input to the decider.
Thus, you are just showing your ignorance.
THe fact that 20 years later you still don't understand much better
shows how learning disabled you really are.
On 12/22/25 10:17 PM, olcott wrote:
Any yes/no question where both yes and no are
the wrong answer is an incorrect polar question.
But they aren't.
On 12/22/2025 9:26 PM, Richard Damon wrote:
On 12/22/25 10:20 PM, olcott wrote:
On 12/22/2025 9:13 PM, Richard Damon wrote:
On 12/22/25 10:11 PM, olcott wrote:
On 12/22/2025 8:47 PM, Python wrote:
Le 23/12/2025 à 01:01, olcott a écrit :
On 6/23/2004 9:34 PM, Peter Olcott wrote:
PREMISES:
(1) The Halting Problem was specified in such a way that a >>>>>>>>>> solution
was defined to be impossible.
No, it wasn't. It's a perfectly legitimate mathematical
problem. It's
not even obvious that it wouldn't have an effective solution at >>>>>>>>> first
sight.
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
This is utterly asinine! The name of a function or of an argument >>>>>> does not carry any semantic value.
func is_even(int n):
if n % 2 == 0 then
return false
else
return true
The function shouldn't be named is_even, anyway there is nothing
wrong with this function /per se/.
You erased a key aspect of the context.
This is my first work on the halting problem
21 years ago.
Which shows that you never knew what you doing.
You can spout that off as baseless dogmatic
rhetoric yet cannot show that the essence of
what I am saying is less than infallibly correct.
The fact that your arguement isn't based on the form that a decider
works on it enough to show your ignorance.
Are you so dumb you can't see that?
THe DEFINITION of a halt decider is that it is given the description/
representaiton of a program and its input, and is to decide on what
that program will do.
There is NOTHING problemstic of predecting the behavior of your
functions for any argument it is given.
Your argument is that you didn't tell it the right things, but the
halt decider doesn't tell the program it is examining anything, the
input to that program is part of the input to the decider.
Thus, you are just showing your ignorance.
THe fact that 20 years later you still don't understand much better
shows how learning disabled you really are.
No this is just you not bothering to pay 100% complete
attention to the exact words of the title of this thread.
Sometimes I must remind LLMs to pay 100% complete
attention. They immediately take corrective action.
People never do because they only care about rebuttal
even if this makes them liars.
On 12/22/2025 9:31 PM, Richard Damon wrote:
On 12/22/25 10:17 PM, olcott wrote:
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
(Your (YES or NO) answer is to be considered
translated to Boolean as the function's input
parameter)
Please ONLY PROVIDE CORRECT ANSWERS!
Any yes/no question where both yes and no are
the wrong answer is an incorrect polar question.
But they aren't.
Then answer the above question correctly.
The only reason that you don't is that you
know I am correct and you don't give a rat's
ass for the truth.
On 12/22/25 10:31 PM, olcott wrote:
No, I understand what you are saying, but you are just misusing words.
On 12/22/25 10:41 PM, olcott wrote:
On 12/22/2025 9:31 PM, Richard Damon wrote:
On 12/22/25 10:17 PM, olcott wrote:
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
(Your (YES or NO) answer is to be considered
translated to Boolean as the function's input
parameter)
Please ONLY PROVIDE CORRECT ANSWERS!
Any yes/no question where both yes and no are
the wrong answer is an incorrect polar question.
But they aren't.
Then answer the above question correctly.
The only reason that you don't is that you
know I am correct and you don't give a rat's
ass for the truth.
I DID!!!!
On 12/22/2025 9:46 PM, Richard Damon wrote:
On 12/22/25 10:31 PM, olcott wrote:
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
(Your (YES or NO) answer is to be considered
translated to Boolean as the function's input
parameter)
Please ONLY PROVIDE CORRECT ANSWERS!
I say that any yes/no question lacking a
No, I understand what you are saying, but you are just misusing words.
incorrect yes/no answer is an incorrect
polar question.
That is true on the basis of the meaning
of its words.
On 12/22/2025 9:50 PM, Richard Damon wrote:
On 12/22/25 10:41 PM, olcott wrote:
On 12/22/2025 9:31 PM, Richard Damon wrote:
On 12/22/25 10:17 PM, olcott wrote:
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
(Your (YES or NO) answer is to be considered
translated to Boolean as the function's input
parameter)
Please ONLY PROVIDE CORRECT ANSWERS!
Any yes/no question where both yes and no are
the wrong answer is an incorrect polar question.
But they aren't.
Then answer the above question correctly.
The only reason that you don't is that you
know I am correct and you don't give a rat's
ass for the truth.
I DID!!!!
YES or NO (you cheated as always)
On 12/22/25 10:54 PM, olcott wrote:
On 12/22/2025 9:46 PM, Richard Damon wrote:
On 12/22/25 10:31 PM, olcott wrote:
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
(Your (YES or NO) answer is to be considered
translated to Boolean as the function's input
parameter)
Please ONLY PROVIDE CORRECT ANSWERS!
I say that any yes/no question lacking a
No, I understand what you are saying, but you are just misusing words.
incorrect yes/no answer is an incorrect
polar question.
That is true on the basis of the meaning
of its words.
But isn't a problem of the halting problem.
EVERY correct input, that is the full representation of an actual
program has a yes or no answer.
On 12/22/2025 9:58 PM, Richard Damon wrote:
On 12/22/25 10:54 PM, olcott wrote:
On 12/22/2025 9:46 PM, Richard Damon wrote:
On 12/22/25 10:31 PM, olcott wrote:
function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then
while true do {}
else
return false;
Does this program Halt?
(Your (YES or NO) answer is to be considered
translated to Boolean as the function's input
parameter)
Please ONLY PROVIDE CORRECT ANSWERS!
I say that any yes/no question lacking a
No, I understand what you are saying, but you are just misusing words. >>>>
incorrect yes/no answer is an incorrect
polar question.
That is true on the basis of the meaning
of its words.
But isn't a problem of the halting problem.
EVERY correct input, that is the full representation of an actual
program has a yes or no answer.
Every finite string P input to halt decider H
has a correct yes or no answer regarding the
behavior that its actual input actually specifies.
All of these inputs have behavior consistent with
the behavior of UTM(P) except those inputs that
cheat and call their own decider H(P).
| Sysop: | DaiTengu |
|---|---|
| Location: | Appleton, WI |
| Users: | 1,090 |
| Nodes: | 10 (1 / 9) |
| Uptime: | 59:51:44 |
| Calls: | 13,948 |
| Calls today: | 1 |
| Files: | 187,035 |
| D/L today: |
2,695 files (773M bytes) |
| Messages: | 2,461,298 |