On 06 Feb 2011, at 12:26, Andrew Soltau wrote:
On 06/02/11 08:51, Bruno Marchal wrote:
On 06 Feb 2011, at 01:02, 1Z wrote:
On Feb 5, 8:44 pm, Quentin Anciaux <allco...@gmail.com> wrote:
That's my point, COMP does not add more white rabbits from this
I dare say. But the Mathematical Multiverses do add a lot more WRs
Once you take into account the relative points of view (of the
machines, by using the self-reference logic for example) this is
already refuted. Mathematical reality kicks back.
How do you define the relative point of view?
Do you know Gödel's provability predicate? The points of view are
defined by intensional variants of the current provability predicate
of the machine with or without some oracle. There are 8 basic points
of view p (truth), Bp (provability/believability), Bp & p
(knowability), Bp & Dp (observability), Bp & Dp & p (sensibility/
feelability). Three of them inherits the G/G* splitting, making a
total of 8. It is really 4 + 4*infinity, because the 'material points
of view' (with Dp) admits themselves graded variants.
But this is in AUDA, and we have not finished the UDA (+MGA)
discussion. Have you understand the step 7? Did my last explanations
Take your time, my next week will be rather busy.
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to firstname.lastname@example.org.
To unsubscribe from this group, send email to
For more options, visit this group at