Mathematics Colloquia and Seminars

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.