Globe-hopping

In the first part of this talk, I will introduce and briefly discuss a geometric puzzle, based on recent joint work with Goulko, Kent, and Paterson (in press). I will then pose questions in computational logics that this puzzle presents, more generally. In this second and main part of the talk, I will not offer answers and just ask questions.

Authors

• Dmitry Chistikov

Keywords

No keywords are indexed for this paper.