Extending the Frontiers of Mathematics: Inquiries into Proof and Argumentation