On 5/20/2012 6:53 PM, Stephen P. King wrote:

The result is an exhaustive classification of compact 4-mainifolds. The absence ofsuch a classification neither prevents nor entails the existence of the manifolds.## Advertising

But you fail to see that without the means to define the manifolds, there is nothing todistinguish a manifold from a fruitloop from a pink unicorn from a ..... Absent themeans to distinguish properties there is no such thing as definite properties.

`But there are means to distinguish the properties and ways to define different 4-manifolds`

`and ways to determine whether two 4-manifolds are homeomorphic. If there weren't the`

`theorem would be uninteresting. What makes it interesting, just as it is interesting that`

`some programs compute a total function and some don't, it is interesting because there`

`exist enough different 4-manifolds so that it is impossible to have a single algorithm`

`classify them. You seem to be arguing that only a subset that can be calculated by some`

`single algorithm can exist?`

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.