Return to Colloquia & Seminar listing
Discreteness is undecidable
Geometry/Topology| Speaker: | Michael Kapovich, UC Davis |
| Location: | 2112 MSB |
| Start time: | Tue, Nov 17 2015, 1:10PM |
I will explain why the question if a pair of matrices A, B in SL(2,C) generates a discrete subgroup is undecidable with respect to the Blum-Shub-Smale model of computations with real numbers.