Kurt Godel used to walk every day with his friend Albert Einstein at the Institute of Advanced Study at Princeton. Einstein told a colleague that in the later years of his life, his own work — which had married space to time and spawned the atom bomb — no longer meant much to him and that he used to come to the institute merely “to have the privilege to be able to walk home with Godel.”If Einstein had upset our everyday notions about the physical world with his theory of relativity, his younger friend had had a similarly subversive effect on our understanding of the abstract world of mathematics. Godel , who has often been called the greatest logician since Aristotle , seemed to be unfazed by Einstein's reputation and did not hesitate to challenge his ideas.Although Einstein and Godel seemed to hover on a higher plane than the rest of humanity, they had also morphed into ‘museum pieces' , to use Einstein's words. Einstein did not accept the quantum theory and Godel believed in ghosts, rebirth and time travel and thought that mathematical abstractions were every bit as real as tables and chairs, a view that philosophers had come to regard as laughably naive.“Both Godel and Einstein insisted that the world is independent of our minds, yet rationally organised and open to human understanding. United by a shared sense of intellectual isolation, they found solace in their companionship,” writes Jim Holt in Time Bandits, his profile of the two mega-scientists in The New Yorker.Of course their politics differed . Einstein supported Adlai Stevenson and Godel voted for Eisenhower in 1952, which prompted the genial relativist to exclaim that his brilliant companion had “gone completely crazy”.As usual, Einstein turned out to be prophetically right, but only after his death. After Einstein's demise, Godel became ever more withdrawn. At some point, he tipped over the edge. Fearful of being poisoned, he would have his wife, a former cabaret dancer, test his food. And when she was no longer there, he succumbed to malnutrition. Along with inventing “proofs” for the existence of God, Godel's work also ushered in a unique philosophy of mind that challenges reductionists and those trying to mechanise it with mindless programs. For all his quirks, Godel also showed that the truth (satyam) could be both beautiful (sundaram) and transcendent (shivam).