On Sat, Sep 27, 2014 at 8:29 AM, Russell Standish <li...@hpcoders.com.au> wrote:
> On Sat, Sep 27, 2014 at 05:33:00AM +0200, Platonist Guitar Cowboy wrote: > > On Sat, Sep 27, 2014 at 3:39 AM, 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). > If I remember the thesis correctly, than robust is a placeholder for some grandmother notion of physical reality, with enough consistency in historical/spatial/causal relations to allow the UD to run. Once reversal step is reached, the notion is dropped and isn't further needed. Therefore I can't see bi-conditional implication or material implication either way between the extravagant "for all practical purposes robust assumption" and properties of arithmetic in terms of ultrafinite, infinities etc. PGC -- 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.
