Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Andy Walker <anw@cuboid.co.uk>
Newsgroups: comp.theory,comp.ai.philosophy
Subject: Re: The philosophy of computation reformulates existing ideas on a
 new basis ---
Date: Tue, 29 Oct 2024 14:50:24 +0000
Organization: Not very much
Lines: 22
Message-ID: <vfqsng$1gikg$1@dont-email.me>
References: <vfli1h$fj8s$1@dont-email.me> <vflue8$3nvp8$2@i2pn2.org>
 <vfmd8m$k2m7$1@dont-email.me>
 <bcd82d9f8a987d3884220c0df7b8f7204cb9de3e@i2pn2.org>
 <vfmueh$mqn9$1@dont-email.me>
 <ff039b922cabbb6d44f90aa71a52d8c2f446b6ab@i2pn2.org>
 <vfo95k$11qs1$1@dont-email.me> <vfp8c0$3tobi$2@i2pn2.org>
 <vfpbtq$1837o$2@dont-email.me> <vfq4h9$1fo1n$1@dont-email.me>
 <vfqpi3$1iaob$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 29 Oct 2024 15:50:24 +0100 (CET)
Injection-Info: dont-email.me; posting-host="bdc0909b075563d551ad23941fcaa592";
	logging-data="1591952"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+8V52Ftpymil7raaDj7Pam"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:kjsBtpypiWT+/ty7kqj2PGtrKT8=
In-Reply-To: <vfqpi3$1iaob$4@dont-email.me>
Content-Language: en-GB
Bytes: 2353

On 29/10/2024 13:56, olcott wrote:
> To the best of my knowledge no one besides me ever came up with the
> idea of making a simulating halt decider / emulating termination
> analyzer.

	The /idea/ is ancient, and certainly dates back at least to the
1970s.  For a relatively informal discussion, see paragraph 3 of

   http://www.cuboid.me.uk/anw/G12FCO/lect18.html

intended for second-year undergraduates and present on the web from 1996
[though then as a Nottingham University web page].  I certainly didn't
invent the idea.  The same page includes some stuff about Busy Beavers.
You, and perhaps others, may also find some of the surrounding pages
[linked from that one] interesting, eg the stuff about UTMs and about
minimal computers.  Again, I am not claiming credit for inventing any
of this.

-- 
Andy Walker, Nottingham.
    Andy's music pages: www.cuboid.me.uk/andy/Music
    Composer of the day: www.cuboid.me.uk/andy/Music/Composers/Pridham