Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC

Liste des GroupesRevenir à theory 
Sujet : Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 23. May 2025, 08:18:40
Autres entêtes
Organisation : -
Message-ID : <100p7gf$3voas$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
User-Agent : Unison/2.2
On 2025-05-22 15:37:31 +0000, olcott said:

On 5/22/2025 1:52 AM, joes wrote:
Am Wed, 21 May 2025 18:14:42 -0500 schrieb olcott:
 
All of the proofs ASSUME that there is an input D that can ACTUALLY DO
the opposite of whatever value that H returns making it impossible for H
to decide D.
No, the proof assumes there is a *decider* and then shows exactly *how*
to construct a counterexample.
 Yet no one ever bothers to notice that
this counter-example input cannot possibly
actually do the opposite of whatever value
that its decider returns.
It really is hard to notice someting that is very obviously false.
--
Mikko

Date Sujet#  Auteur
21 May03:15 * Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion64Richard Damon
21 May06:06 +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion2Richard Heathfield
21 May11:53 i`- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion1Richard Damon
21 May06:23 `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC61olcott
21 May06:56  +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC59Richard Heathfield
21 May16:54  i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC58olcott
21 May17:09  i +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC50Richard Heathfield
21 May17:51  i i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC49olcott
21 May18:16  i i `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC48Richard Heathfield
21 May18:47  i i  `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC47olcott
21 May19:17  i i   `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC46Richard Heathfield
21 May19:42  i i    +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC2Keith Thompson
21 May20:00  i i    i`- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Richard Heathfield
21 May19:48  i i    +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC42olcott
21 May20:06  i i    i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC41Richard Heathfield
21 May20:28  i i    i `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC40olcott
21 May21:13  i i    i  `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC39Richard Heathfield
21 May21:28  i i    i   `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC38olcott
21 May22:21  i i    i    `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC37Richard Heathfield
21 May23:34  i i    i     `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC36olcott
22 May00:11  i i    i      `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC35Richard Heathfield
22 May00:14  i i    i       `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC34olcott
22 May03:43  i i    i        +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC15Richard Heathfield
22 May06:23  i i    i        i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC14Keith Thompson
22 May06:41  i i    i        i +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC12Richard Heathfield
23 May02:24  i i    i        i i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC11Mike Terry
23 May03:47  i i    i        i i +* How do computations actually work?6olcott
23 May04:23  i i    i        i i i+* Re: How do computations actually work?4wij
23 May04:31  i i    i        i i ii+* Re: How do computations actually work?2olcott
23 May08:14  i i    i        i i iii`- Re: How do computations actually work?1Mikko
23 May08:12  i i    i        i i ii`- Re: How do computations actually work?1Mikko
23 May08:09  i i    i        i i i`- Re: How do computations actually work?1Mikko
23 May06:12  i i    i        i i +- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Richard Heathfield
23 May06:25  i i    i        i i +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC2olcott
23 May08:17  i i    i        i i i`- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Mikko
23 May14:00  i i    i        i i `- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Ben Bacarisse
22 May06:44  i i    i        i `- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1olcott
22 May07:52  i i    i        `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC18joes
22 May16:37  i i    i         `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC17olcott
22 May16:42  i i    i          +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC14Richard Heathfield
22 May17:00  i i    i          i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC13olcott
22 May17:36  i i    i          i `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC12Richard Heathfield
22 May17:45  i i    i          i  `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC11olcott
22 May17:59  i i    i          i   `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC10Richard Heathfield
22 May18:13  i i    i          i    `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC9olcott
22 May19:09  i i    i          i     `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC8Richard Heathfield
22 May19:16  i i    i          i      `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC7olcott
22 May19:33  i i    i          i       `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC6Richard Heathfield
22 May19:46  i i    i          i        `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC5olcott
22 May19:49  i i    i          i         +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC3Richard Heathfield
22 May19:58  i i    i          i         i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC2olcott
22 May20:28  i i    i          i         i `- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Richard Heathfield
23 May08:30  i i    i          i         `- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Mikko
23 May00:27  i i    i          +- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Richard Damon
23 May08:18  i i    i          `- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Mikko
23 May13:43  i i    `- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Ben Bacarisse
21 May20:32  i +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC5Fred. Zwarts
21 May20:39  i i+* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC2olcott
23 May11:44  i ii`- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Fred. Zwarts
21 May20:47  i i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC2olcott
23 May11:47  i i `- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Fred. Zwarts
22 May02:30  i `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC2Richard Damon
22 May03:47  i  `- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Richard Heathfield
21 May12:03  `- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal