Journalist Hartnett debuts with a thrilling account of “how one man’s quest to build a truth machine—a computer program that can provide a complete, 100 percent guarantee that a chain of logic is ...