On 2/6/2025 10:52 AM, Bonita Montero wrote:
Am 05.02.2025 um 16:11 schrieb olcott:
On 2/5/2025 1:44 AM, Bonita Montero wrote:
Am 05.02.2025 um 04:38 schrieb olcott:
This treatment does not typically last very long and
will be immediately followed by a riskier fourth line
of treatment that has an initial success rate much higher
than its non progression mortality rate.
Halting problem solved !
The halting problem proof input does specify non-halting
behavior to its decider.
https://www.researchgate.net/
publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
LOOOOOOOOL
Anyone that understands the C programming language
sufficiently well (thus not confused by the unreachable
"if" statement) correctly understands that DD simulated
by HHH cannot possibly reach its own return instruction.
When we add a little computer science to this then we
know that the input to HHH does not halt.
typedef void (*ptr)();
int HHH(ptr P);
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
int main()
{
HHH(DD);
}
On 2/6/2025 1:51 PM, Richard Damon wrote:
On 2/6/25 1:26 PM, olcott wrote:
On 2/6/2025 10:52 AM, Bonita Montero wrote:
Am 05.02.2025 um 16:11 schrieb olcott:
On 2/5/2025 1:44 AM, Bonita Montero wrote:
Am 05.02.2025 um 04:38 schrieb olcott:
This treatment does not typically last very long and
will be immediately followed by a riskier fourth line
of treatment that has an initial success rate much higher
than its non progression mortality rate.
Halting problem solved !
The halting problem proof input does specify non-halting
behavior to its decider.
https://www.researchgate.net/
publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
LOOOOOOOOL
Anyone that understands the C programming language
sufficiently well (thus not confused by the unreachable
"if" statement) correctly understands that DD simulated
by HHH cannot possibly reach its own return instruction.
And anyone that understand the halting problem knows that isn't the
question being asked. The quesiton you NEED to ask is will the program
described by the input halt when run?
Since you start off with the wrong question, you logic is just faulty.
Everyone that thinks my question is incorrect is wrong.
It has always been a mathematical mapping from finite
strings to behaviors. That people do not comprehend this
shows the shallowness of the depth of the learned-by-rote
(lack of) understanding.
On 2/6/2025 8:21 PM, Richard Damon wrote:
On 2/6/25 5:18 PM, olcott wrote:
On 2/6/2025 1:51 PM, Richard Damon wrote:
On 2/6/25 1:26 PM, olcott wrote:
On 2/6/2025 10:52 AM, Bonita Montero wrote:
Am 05.02.2025 um 16:11 schrieb olcott:
On 2/5/2025 1:44 AM, Bonita Montero wrote:
Am 05.02.2025 um 04:38 schrieb olcott:
This treatment does not typically last very long and
will be immediately followed by a riskier fourth line
of treatment that has an initial success rate much higher
than its non progression mortality rate.
Halting problem solved !
The halting problem proof input does specify non-halting
behavior to its decider.
https://www.researchgate.net/
publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
LOOOOOOOOL
Anyone that understands the C programming language
sufficiently well (thus not confused by the unreachable
"if" statement) correctly understands that DD simulated
by HHH cannot possibly reach its own return instruction.
And anyone that understand the halting problem knows that isn't the
question being asked. The quesiton you NEED to ask is will the
program described by the input halt when run?
Since you start off with the wrong question, you logic is just faulty. >>>>
Everyone that thinks my question is incorrect is wrong.
It has always been a mathematical mapping from finite
strings to behaviors. That people do not comprehend this
shows the shallowness of the depth of the learned-by-rote
(lack of) understanding.
No, you are just incorreect as you don't know what you are talking about.
Yes, it is a mapping of the string to the behavior, and that mapping
is DEFINED to be the halting behavior of the program the string
describes.
No this is incorrect. The input finite string specifies
(not merely describes) non halting behavior to its decider.
On 2/7/2025 6:20 AM, Richard Damon wrote:
On 2/6/25 10:02 PM, olcott wrote:
On 2/6/2025 8:21 PM, Richard Damon wrote:
On 2/6/25 5:18 PM, olcott wrote:
On 2/6/2025 1:51 PM, Richard Damon wrote:
On 2/6/25 1:26 PM, olcott wrote:
On 2/6/2025 10:52 AM, Bonita Montero wrote:
Am 05.02.2025 um 16:11 schrieb olcott:
On 2/5/2025 1:44 AM, Bonita Montero wrote:
Am 05.02.2025 um 04:38 schrieb olcott:
This treatment does not typically last very long and
will be immediately followed by a riskier fourth line
of treatment that has an initial success rate much higher >>>>>>>>>>> than its non progression mortality rate.
Halting problem solved !
The halting problem proof input does specify non-halting
behavior to its decider.
https://www.researchgate.net/
publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
LOOOOOOOOL
Anyone that understands the C programming language
sufficiently well (thus not confused by the unreachable
"if" statement) correctly understands that DD simulated
by HHH cannot possibly reach its own return instruction.
And anyone that understand the halting problem knows that isn't
the question being asked. The quesiton you NEED to ask is will the >>>>>> program described by the input halt when run?
Since you start off with the wrong question, you logic is just
faulty.
Everyone that thinks my question is incorrect is wrong.
It has always been a mathematical mapping from finite
strings to behaviors. That people do not comprehend this
shows the shallowness of the depth of the learned-by-rote
(lack of) understanding.
No, you are just incorreect as you don't know what you are talking
about.
Yes, it is a mapping of the string to the behavior, and that mapping
is DEFINED to be the halting behavior of the program the string
describes.
No this is incorrect. The input finite string specifies
(not merely describes) non halting behavior to its decider.
No, since the definition of "Halting Behavior" is the behavior of the
progran being run.
It may seem that way to people that have learned-by-rote
as their only basis. It is actually nothing like that.
It is not the behavior that you believe it talks about.
It is the behavior that the finite string actually specifies.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 546 |
Nodes: | 16 (0 / 16) |
Uptime: | 163:10:17 |
Calls: | 10,385 |
Calls today: | 2 |
Files: | 14,057 |
Messages: | 6,416,509 |