"A Madman Dreams of Turing Machines" is a book by Janna Levin which contrasts fictionalized accounts of the lives and ideas of Kurt Gödel and Alan Turing (who never met).In an interview with Sylvie Myerson in "The Brooklyn Rail", Levin said of her book