Presents an area of mathematical research that combines topology, geometry, and logic. This book seeks to explain and illustrate the implications of the general principle, first emphasized by Alex Nabutovsky, that logical complexity engenders geometric complexity.