Liste des Groupes | Revenir à c theory |
On 6/21/2025 11:01 PM, Alan Mackenzie wrote:And must start with KNOWN CORRECT premises, and uses only KNOQN GOOD operation.In comp.theory olcott <polcott333@gmail.com> wrote:A proof is any sequence of steps such that its conclusionint DD()>
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}https://chatgpt.com/s/t_6857335b37a08191a077d57039fa4a76>
ChatGPT agrees that I have correctly refuted every
halting problem proof technique that relies on the above
pattern.
That's neither here nor there. The plain fact is you have NOT refuted
any proof technique. How could you, you don't even understand what is
meant by proof?
>
can be correctly determined to be necessarily true.
Sure we have, you just ignore them, as you have demonstrated by your presistant refusal to answer the problemYou have merely deluded yourself, spending year after year failing toThen you could find one mistake, so far no one has.
understand the simplest elements of computation theory, something a
maths or computer science undergraduate grasps in a very few hours at
most.
>
This stuff simply isn't your thing. Instead, you could and should do
something worthwhile with however much longer you have to live.
>
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius>
hits a target no one else can see." Arthur Schopenhauer
Les messages affichés proviennent d'usenet.