Path: ...!3.eu.feeder.erje.net!feeder.erje.net!news2.arglkargh.de!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail From: Alan Mackenzie Newsgroups: comp.theory,sci.logic Subject: Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets Followup-To: comp.theory Date: Wed, 29 May 2024 15:40:41 -0000 (UTC) Organization: muc.de e.V. Message-ID: References: Injection-Date: Wed, 29 May 2024 15:40:41 -0000 (UTC) Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2"; logging-data="22204"; mail-complaints-to="news-admin@muc.de" User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64)) Bytes: 1733 Lines: 25 [ Followup-To: set ] In comp.theory olcott wrote: [ .... ] > Everyone that knows the truth knows that I am correct and you are wrong. > There is NO correct reasoning that can possibly show that I am wrong. Everybody here, bar one person, knows you are wrong. > Mike Terry would know that I am correct. Ben might not understand > quantification. Ben did verify this encoding: How about a bit of respect? Mike specifically asked you not to cite his name as a back up for your points. Why do you keep doing it? [ .... ] > -- > Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius > hits a target no one else can see." Arthur Schopenhauer -- Alan Mackenzie (Nuremberg, Germany).