Op 22.jul.2024 om 22:00 schreef olcott:
On 7/22/2024 1:33 PM, Alan Mackenzie wrote:
olcott <[email protected]> wrote:
On 7/20/2024 3:03 PM, Alan Mackenzie wrote:
In comp.theory Fred. Zwarts <[email protected]> wrote:
[ .... ]
Olcott could not point to an error, but prefers to ignore it. So, I
will
repeat it, until either an error is found, or olcott admits that HHH >>>>> cannot possibly simulate itself correctly.
This has the disadvantage of making your posts boring to read. All but >>>> one poster on this newsgroup KNOW that Olcott is wrong, here.
Continually repeating your argument won't get him to admit he's wrong. >>>> Richard has been trying that for much longer than you have, with the
same lack of success. Olcott's lack of capacity for abstract
reasoning,
combined with his ignorance, combined with his arrogance, prevent him
learning at all.
May I suggest that you reconsider your strategy of endless repetition?
Thanks!
Rebuttals like yours are entirely baseless by failing to point out any
mistake. My proof shown below is a truism thus is necessarily correct.
[ .... ]
Your "proof" is no such thing. It makes wild assertions, and doesn't
start from that which is acknowledged to be true.
Every X has property Y or not, there is no inbetween.
But if X does not exists, it makes no sense to argue about property Y of X.
void DDD()
{
HHH(DDD);
}
int main()
{
HHH(DDD);
}
(a) At least one HHH (of the recursive chain) aborts.
(b) No HHH ever aborts.
Because HHH must halt (b) is wrong.
And because (a) causes an incomplete and therefore incorrect simulation,
(a) is wrong.
HHH cannot possibly simulate itself correctly.
HHH that correctly simulates itself is an empty set. No discussion is
needed about the properties of such an HHH.
It is also a truism that any input that must be aborted to
prevent the non-termination of the simulating termination
analyzer does specify non-terminating behavior or it would
never need to aborted.
It is also a truism that the HHH that aborts aborts the simulation of
itself one cycle too soon, making the simulation incomplete and
therefore incorrect.
When I say that all black cats are cats and anyone disagrees
then we know who is lying.
But when you conclude that therefore all dogs must be black, your logic
fails.
When I say that HHH cannot possibly simulate itself correctly and anyone disagrees, we know who does not tell the truth.
In your words it would be a tautology: HHH cannot possibly simulate
itself correctly.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)