Hi Stephen,
On 02 May 2011, at 02:43, Stephen Paul King wrote:
Hi Bruno,
Is UD sequentially COmpact?
http://en.wikipedia.org/wiki/Sequentially_compact
The UD is a program, as such it is certainly not a topological space.
You can put a topology on UD* (the "space" of all computations),
though, but there are many solutions. The genuine one are related to
the "measure problem", and have to be retrieved from the logic of the
hypostasis. So: difficult question.
Now, I like to conjecture that the Mandelbrot set is a "compact" form
of universal dovetailing, and if that where true, more could be said.
There are also interesting works by Blok and Ysapia, but it is out of
scope of the list, at least right now.
Bruno
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
