On 27 September 2014 20:40, Kim Jones <kimjo...@ozemail.com.au> wrote:
> > On 27 Sep 2014, at 4:29 pm, Russell Standish <li...@hpcoders.com.au> > wrote: > > >> So I don't see: robust universe => all integers exist > > > > Nor do I. But then that is the exact inverse of what I stated: the > > arithmetic reality assumption in COMP entails a robust reality (one in > > which the UD runs to completion). > > > > What does it mean to say the UD "runs to completion"? Is that not > something like ultrafinitism? Sorry if I have this all twisted... > > I think I can answer this one :-) This is just a way of saying that the UD runs forever. A robust universe is one which will support a UD forever. -- 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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
