A madman dreams of Turing machines [a novel] - Levin, Janna (New York : Anchor, 2007)
Keywords: Gödel, Kurt; Turing, Alan Mathison; Belletristische Darstellung