On 27 Sep 2014, at 15:43, Platonist Guitar Cowboy wrote:
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.
I agree. Non-robustness was introduced at step seven by the
physicalist trying to save physicalism + computationalism.
To say that the arithmetical reality is robust can mislead people in
thinking that now the arithmetical reality is our physical universe.
But the point is that the physical universe is redefined by a modality
of self-reference by entities emulated in the arithmetical reality.
Numbers does not become physical beings. It is more the sigma_1 trues
which become physical (observable) in the mind of the (average)
universal numbers/machines.
Bruno
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.
http://iridia.ulb.ac.be/~marchal/
--
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.
