Deutsch English Français Italiano |
<vvqfi2$gmmk$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Richard Heathfield <rjh@cpax.org.uk> Newsgroups: comp.theory Subject: =?UTF-8?Q?Re=3A_Flibble=E2=80=99s_Leap=3A_Why_Behavioral_Divergence?= =?UTF-8?Q?_Implies_a_Type_Distinction_in_the_Halting_Problem?= Date: Sun, 11 May 2025 16:25:54 +0100 Organization: Fix this later Lines: 18 Message-ID: <vvqfi2$gmmk$2@dont-email.me> References: <vv1UP.77894$JJT6.54808@fx16.ams4> <vvqd4u$g8a1$1@dont-email.me> <MX2UP.366971$wBVe.220339@fx06.ams4> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sun, 11 May 2025 17:25:55 +0200 (CEST) Injection-Info: dont-email.me; posting-host="023cae9dc0d2c2b383f3d86e34fa8cd9"; logging-data="547540"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+T249v4ws/KxnjzuKtc2TwHffbF/RYZzgEQqCNIn1e+g==" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:x4jpzm/LSXpNMRFfNWBDY1kTrUc= In-Reply-To: <MX2UP.366971$wBVe.220339@fx06.ams4> Content-Language: en-GB Bytes: 1610 On 11/05/2025 15:59, Mr Flibble wrote: > On Sun, 11 May 2025 15:44:44 +0100, Richard Heathfield wrote: > >> but there's nothing self-contradictory or self-referential or > paradoxical about the question. > > That is simply untrue. That is simply untrue. Your turn. -- Richard Heathfield Email: rjh at cpax dot org dot uk "Usenet is a strange place" - dmr 29 July 1999 Sig line 4 vacant - apply within