The Oxford Murders

Using rules and axioms, there will always be some propositions that can't be proved either true or false. But can this apply to murder? Godel's Theorem of Incompleteness is familiar territory to the young South American mathematician who arrives in Oxford. Murder, however, is not. Yet barely has he greeted his elderly landlady - and her rather luscious granddaughter - when...