Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: newberr...@gmail.com (Newberry)
Newsgroups: comp.theory
Subject: Why does not the second recursion theorem guarantee a least fixed
point?
Date: Fri, 20 May 2022 09:06:43 -0700
Organization: A noiseless patient Spider
Lines: 4
Message-ID: <t68ebc$7bs$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 20 May 2022 16:07:09 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="3cd09df98688427020b6908f4ecc4b60";
logging-data="7548"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/Iov44BhheN26rKRHG4YVPnWZPGUoEDs8="
User-Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:27.0) Gecko/20100101 Firefox/27.0 SeaMonkey/2.24
Cancel-Lock: sha1:0NfJg799x2ekXNzR8ibfNz4BHww=
X-Antivirus-Status: Clean
X-Antivirus: AVG (VPS 220520-2, 5/20/2022), Outbound message