Kurt Goedel was indisputably one of the greatest thinkers of our time, and in this first extended treatment of his life and work, Hao Wang, who was in close contact with Goedel in his last years, brings out the full subtlety of Goedel's ideas and their connection with grand themes in the history of mathematics and philosophy. The subjects he covers include the completeness of elementary logic, the limits of formalization, the problem of evidence, the concept of set, the philosophy of mathematics, time and relativity theory, metaphysics and religion, as well as general ideas on philosophy as a worldview.