Proof and Styles of Reasoning Across Times and Cultures