novaBBS - comp.theory - Which recursion theorem is which

Which recursion theorem is which

<tosn71$1g5d2$1@dont-email.me>

https://www.novabbs.com/devel/article-flat.php?id=42698&group=comp.theory#42698

Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: newberr...@gmail.com (Newberry)
Newsgroups: comp.theory
Subject: Which recursion theorem is which
Date: Sun, 01 Jan 2023 11:33:34 -0800
Organization: A noiseless patient Spider
Lines: 5
Message-ID: <tosn71$1g5d2$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 1 Jan 2023 19:33:53 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="beb79c2f068ae293193898be0e04ee7c";
logging-data="1578402"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/OcXCJm1sPeh37YAw9qxRCTwKHEaN/AFU="
User-Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:27.0) Gecko/20100101 Firefox/27.0 SeaMonkey/2.24
Cancel-Lock: sha1:dQdGRhmBJibkyvyhyg3w5K8JDZk=
X-Antivirus: AVG (VPS 221231-4, 12/31/2022), Outbound message
X-Antivirus-Status: Clean

by: Newberry - Sun, 1 Jan 2023 19:33 UTC

Re: Which recursion theorem is which

<87ilhqgexa.fsf@bsb.me.uk>

copy mid

https://www.novabbs.com/devel/article-flat.php?id=42700&group=comp.theory#42700

copy link Newsgroups: comp.theory

Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: ben.use...@bsb.me.uk (Ben Bacarisse)
Newsgroups: comp.theory
Subject: Re: Which recursion theorem is which
Date: Sun, 01 Jan 2023 20:47:45 +0000
Organization: A noiseless patient Spider
Lines: 11
Message-ID: <87ilhqgexa.fsf@bsb.me.uk>
References: <tosn71$1g5d2$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: reader01.eternal-september.org; posting-host="f378404b147b12236a02e89857bb1e08";
logging-data="1587653"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19NXr5K7Fej0z/ExRn63D5g8L4V8s1Ni6Q="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Cancel-Lock: sha1:D0Bv3tZMqQeOaA2y+e9Ob1WanM0=
sha1:dvxUkmKg/A6D1fXRPpepuNa+gEg=
X-BSB-Auth: 1.22ac98a8fba348d178de.20230101204745GMT.87ilhqgexa.fsf@bsb.me.uk

by: Ben Bacarisse - Sun, 1 Jan 2023 20:47 UTC

Newberry <newberryxy@gmail.com> writes:

> Michael Sipser in "Introduction to the Theory of Computation" proves
> the "recursion theorem." Is it the 1. recursion theorem or the
> 2. recursion theorem?

Eh? Is there more than one statement in the book that goes by that
name?

--
Ben.

Remember, UNIX spelled backwards is XINU. -- Mt.

devel / comp.theory / Which recursion theorem is which

Subject	Author
Which recursion theorem is which	Newberry
Which recursion theorem is which	Ben Bacarisse