Geometric topology, discrete geometry, and set theory