On 5/20/2012 4:25 PM, Stephen P. King wrote:

I need to add a remark here. We cannot just assume one particular 4-manifold as theone we exist on/in. We have to consider the entire ensemble of them to even ask coherentquestions about the one we are in.

## Advertising

`But we don't have to assume the ensemble has a single algorithm that will exhaustively`

`classify them. That would be like saying we can't investigate what programs exist without`

`first solving the halting problem - which we know to insoluble.`

Why do you think cosmologists are so busy looking at such things as the spectraldistribution of the CMB and so forth? It is because those are clues as to the specifictype of 4-manifold that we are on/in.

If we are in one specific one. So what?

Additionally, when we try to model the cosmology setting of many observers and theirobservations we have to consider that each observer has a ensemble of possible of4-manifolds that represent the universe that they observe.

So what? We don't have to suppose they classifiable by a single algorithm. Brent -- 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.