From Newsgroup: comp.theory

On 2025-10-07, olcott <polcott333@gmail.com> wrote:

On 10/7/2025 11:55 AM, Kaz Kylheku wrote:

On 2025-10-07, olcott <polcott333@gmail.com> wrote:

*Published here back in 2004*
*On 6/23/2004 9:34 PM, Olcott wrote*

function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then

Type error: bool expression invoked as function.

Same as this in C++
void LoopIfYouSayItHalts(bool YouSayItHalts)

$ gcc -x c++ -
void LoopIfYouSayItHalts(bool YouSayItHalts)
{
if (YouSayItHalts())
{ for (;;); }
}
[Ctrl-D][Enter]
<stdin>: In function rCyvoid LoopIfYouSayItHalts(bool)rCO:
<stdin>:3:21: error: rCyYouSayItHaltsrCO cannot be used as a function
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 10/7/2025 2:29 PM, Kaz Kylheku wrote:

On 2025-10-07, olcott <polcott333@gmail.com> wrote:

On 10/7/2025 11:55 AM, Kaz Kylheku wrote:

On 2025-10-07, olcott <polcott333@gmail.com> wrote:

*Published here back in 2004*
*On 6/23/2004 9:34 PM, Olcott wrote*

function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then

Type error: bool expression invoked as function.

Same as this in C++
void LoopIfYouSayItHalts(bool YouSayItHalts)

$ gcc -x c++ -
void LoopIfYouSayItHalts(bool YouSayItHalts)
{
if (YouSayItHalts())
{ for (;;); }
}
[Ctrl-D][Enter]
<stdin>: In function rCyvoid LoopIfYouSayItHalts(bool)rCO:
<stdin>:3:21: error: rCyYouSayItHaltsrCO cannot be used as a function

I proved in 2004 the the HP counter example
input is exactly the same as the liar paradox.
Both yes and no are the wrong answer to Does it halt?

You don't give a rat's ass for truth so you
nitpick that my 2004 pseudo code won't compile.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 2025-10-07, olcott <polcott333@gmail.com> wrote:

On 10/7/2025 2:29 PM, Kaz Kylheku wrote:

On 2025-10-07, olcott <polcott333@gmail.com> wrote:

On 10/7/2025 11:55 AM, Kaz Kylheku wrote:

On 2025-10-07, olcott <polcott333@gmail.com> wrote:

*Published here back in 2004*
*On 6/23/2004 9:34 PM, Olcott wrote*

function LoopIfYouSayItHalts (bool YouSayItHalts):
if YouSayItHalts () then

Type error: bool expression invoked as function.

Same as this in C++
void LoopIfYouSayItHalts(bool YouSayItHalts)

$ gcc -x c++ -
void LoopIfYouSayItHalts(bool YouSayItHalts)
{
if (YouSayItHalts())
{ for (;;); }
}
[Ctrl-D][Enter]
<stdin>: In function rCyvoid LoopIfYouSayItHalts(bool)rCO:
<stdin>:3:21: error: rCyYouSayItHaltsrCO cannot be used as a function

I proved in 2004 the the HP counter example

You proved in 2004 that you could still write code.

Perhaps the reason you refuse to try experiments with your code
is that you forgot how.

You don't give a rat's ass for truth so you
nitpick that my 2004 pseudo code won't compile.

You want to use code for exploring the truth, but only so long
as it doesn't compile?

Can you please show this example here using C++ code that /does/ compile?

Or if not, stuff it in your pipe and smoke it.
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 10/7/2025 3:13 PM, Kaz Kylheku wrote:

On 2025-10-07, olcott <polcott333@gmail.com> wrote:

You don't give a rat's ass for truth so you
nitpick that my 2004 pseudo code won't compile.

You want to use code for exploring the truth, but only so long
as it doesn't compile?

Can you please show this example here using C++ code that /does/ compile?

Or if not, stuff it in your pipe and smoke it.

You are deliberately missing the point.
That is NOT honest.

As I first published here back in 2004:
On 6/23/2004 9:34 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!

Proves that I totally understood the halting
problem back in 2004. Please quit being dishonest.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 10/7/2025 6:24 PM, olcott wrote:

On 10/7/2025 3:13 PM, Kaz Kylheku wrote:

On 2025-10-07, olcott <polcott333@gmail.com> wrote:

You don't give a rat's ass for truth so you
nitpick that my 2004 pseudo code won't compile.

You want to use code for exploring the truth, but only so long
as it doesn't compile?

Can you please show this example here using C++ code that /does/ compile?

Or if not, stuff it in your pipe and smoke it.

You are deliberately missing the point.
That is NOT honest.

As I first published here back in 2004:
On 6/23/2004 9:34 PM, Olcott wrote:

function LoopIfYouSayItHalts (bool YouSayItHalts):
-a-a-a-a if YouSayItHalts () then
-a-a-a-a-a-a-a-a while true do {}
-a-a-a-a-a else
-a-a-a-a-a-a-a-a return false;

Does this program Halt?

(Your (YES or NO) answer is to be considered
-a-a translated to Boolean as the function's input
-a-a parameter)

Please ONLY PROVIDE CORRECT ANSWERS!

Proves that I totally understood the halting
problem back in 2004. Please quit being dishonest.

I wonder if your nonsense can save a life? If they accidentally drink
poison, they can read some of your stuff... Well, they will be puking
their guts out of their mouth, nose, eyes and ears in a moments
notice... Might save their life?
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 2025-10-08, olcott <polcott333@gmail.com> wrote:

On 10/7/2025 3:13 PM, Kaz Kylheku wrote:

On 2025-10-07, olcott <polcott333@gmail.com> wrote:

You don't give a rat's ass for truth so you
nitpick that my 2004 pseudo code won't compile.

You want to use code for exploring the truth, but only so long
as it doesn't compile?

Can you please show this example here using C++ code that /does/ compile?

Or if not, stuff it in your pipe and smoke it.

You are deliberately missing the point.
That is NOT honest.

You're trying to make some kind of logical argument based on program code.

If that code has a type error (either compile time or run-time)
then your argument doesn't hold water --- unless it is the point of
the argument to show that error, which isn't the case here.

Fix the error or scamper back to your woodshed to whittle out another
brilliant analogy to try.

Either of these should be easy for a genius!
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 10/7/2025 9:16 PM, Kaz Kylheku wrote:

On 2025-10-08, olcott <polcott333@gmail.com> wrote:

As I first published here back in 2004:
On 6/23/2004 9:34 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!

Is the halting problem translated into the liar paradox
you deliberately dumb bunny.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2