On Wed, Dec 03, 2008 at 04:53:11PM +0100, Bruno Marchal wrote:
> I really don't know. I expect that the mathematical structure, as seen  
> from inside, is so big that Platonia cannot have it neither as element  
> nor as subpart. (Ah, well, I am aware that this is counter-intuitive,  
> but here mathematical logic can help to see the consistency, and the  
> quasi necessity with formal version of comp).

This point rather depends on what Platonia contains. If it contains
all sets of cardinality 2^{\aleph_0}, then the inside view of the
deployment will be conatained in it.

I do understand that your concept of Platonia (Arithmetic Realism I
believe you call it) is a Kronecker-like "God made the integers, all
the rest was made by man", and so what you say would be true of that.



A/Prof Russell Standish                  Phone 0425 253119 (mobile)
UNSW SYDNEY 2052                         [EMAIL PROTECTED]
Australia                                http://www.hpcoders.com.au

You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to [EMAIL PROTECTED]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 

Reply via email to