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.
Cheers
--
----------------------------------------------------------------------------
A/Prof Russell Standish Phone 0425 253119 (mobile)
Mathematics
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
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
