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
@philipthrift
--
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/3e3fbaae-48ec-4a8b-8826-3d8f256254aa%40googlegroups.com.
