Gödel and Turing

You don't see much about Kurt Gödel or Alan Turning on TV, but last weekend at the Miami Book Fair both were mentioned:

• Alan Lightman, "The Discoveries: Great Breakthroughs in 20th-century Science, Including the Original Papers"
  
• Rebecca Goldstein, "Incompleteness: The Proof and Paradox of Kurt Gödel"
  
• David Leavitt, "The Man Who Knew Too Much: Alan Turing and the Invention of the Computer"
  

You can watch the replay on booktv.org. Scroll down to the bottom to the last session of the day.