Kurt Gödel: the life and work of the mathematician of incompleteness
Kurt Gödel proved that formal mathematical systems have fundamental limits and contributed to logic, computability and cosmology. His life was shaped by his escape from Nazi Europe, his friendship with Einstein and serious mental health difficulties.







