In 1942, the logician Kurt Godel and Albert Einstein became close friends; they walked to and from their offices every day, exchanging ideas about science, philosophy, politics, and the lost world of German science. Aby 1949, Godel had produced a remarkable