Sujet : Re: Simulating termination analyzers for dummies
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 20. Jun 2024, 12:33:54
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v51432$hpdb$2@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Mozilla Thunderbird
On 6/20/24 1:22 AM, olcott wrote:
My whole purpose is to refute the conventional proofs.
And have FAILED at that miserably.
In fact, you keep on claiming they must be correct as you try to prove them wrong.
Part of your problem, is you don't seem to actually understand formal logic, and keep trying to use argument instead of proof, showing your utter ignorance of what you are trying to do.