Determining whether or not two simplicial complexes are homeomorphic is undecidable. Markov fils showed this in 1958 by reduction to the word problem for groups.
Steve Huntsman
- 15.4k
- 7
- 75
- 130