Regarding the nature of Tegmark's mathematical objects, I found some
old discussion on the list, a debate between me and Russell Standish,
in which Russell argued that Tegmark's objects should be understood as
formal systems, while I claimed that they should be seen more as pure
Platonic objects which can only be approximated via axiomatization.

The discussions can generally be found at under
the title "Tegmark's TOE & Cantor's Absolute Infinity".  In particular

In this last message I write:

> I have gone back to Tegmark's paper, which is discussed informally
> at
> and linked from
> I see that Russell is right, and that Tegmark does identify mathematical
> structures with formal systems.  His chart at the first link above shows
> "Formal Systems" as the foundation for all mathematical structures.
> And the discussion in his paper is entirely in terms of formal systems
> and their properties.  He does not seem to consider the implications if
> any of Godel's theorem.

Note, Tegmark's paper has moved to .

See also where Wei Dai
argues that even unaxiomatizable mathematical objects, even infinite
objects that are too big to be sets, can have a measure meaningfully
applied to them.  However I do not know enough math to fully understand
his proposal.

Hal Finney

Reply via email to