God in Proof: The Story of a Search from the Ancients to the Internet