This book is the first to present a new area of mathematical research that combines topology, geometry, and logic. Shmuel Weinberger seeks to explain and illustrate the implications of the general principle, first emphasized by Alex Nabutovsky, that logical complexity engenders geometric complexity. He provides applications to the problem of closed geodesics, the theory of submanifolds, and the structure of the moduli space of isometry classes...