On Sat, Sep 27, 2014 at 8:29 AM, Russell Standish <[email protected]> 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 <[email protected] > > > > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
