Talk:When Einstein Walked with Gödel