When Einstein Walked with Gödel