Mathematics Colloquia and Seminars
Discreteness is undecidableGeometry/Topology
|Speaker:||Michael Kapovich, UC Davis|
|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.