> On 3 Jun 2020, at 08:11, Philip Thrift <[email protected]> wrote: > > > > On Tuesday, June 2, 2020 at 12:34:37 PM UTC-5, Brent wrote: > > > On 6/2/2020 2:49 AM, Bruno Marchal wrote: > >> On 1 Jun 2020, at 22:43, 'Brent Meeker' via Everything List > >> <[email protected] <javascript:>> wrote: > >> > >> > >> > >> On 6/1/2020 2:08 AM, Bruno Marchal wrote: > >>> Brent suggest that we might recover completeness by restricting N to a > >>> finite domain. That is correct, because all finite function are > >>> computable, but then, we have incompleteness directly with respect to the > >>> computable functions, even limited on finite but arbitrary domain. In > >>> fact, that moves makes the computer simply vanishing, and it makes > >>> Mechanism not even definable or expressible. > >> That's going to come as a big shock to IBM stockholders. > > > > Why? On the contrary. IBM bets on universal machine > > No, they bet only on finite machines, and they will be very surprised to > hear that they have vanished. > > Brent > > > > Next April 1, IBM should announce their IBM Zeno computer > > > that allows a countably infinite > <https://en.wikipedia.org/wiki/Countably_infinite> number of algorithmic > steps to be performed in finite time > > https://en.wikipedia.org/wiki/Zeno_machine > <https://en.wikipedia.org/wiki/Zeno_machine> > > @philipthrift
That entry in wikipedia does not make much sense to me. Neither physically, nor mathematically. It needs to be elaborate … a lot. Bruno > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/3e3fbaae-48ec-4a8b-8826-3d8f256254aa%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/3e3fbaae-48ec-4a8b-8826-3d8f256254aa%40googlegroups.com?utm_medium=email&utm_source=footer>. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/3F527A1B-E05C-4907-9C13-5CE99AD74C51%40ulb.ac.be.
