Affiliations: La Trobe University, Australia

Poster title: Truth, Proof, and Reproducibility: There's no counter-attack for the codeless

Abstract: The task of the modern mathematical scientist has drifted from that of blackboard rhetorician, where the craft of proof reigned, to a scientific workflow that now more closely resembles that of an experimental scientist. So, what is proof in modern mathematics? And, if proof is unattainable in other fields, what is due scientific diligence in a computational experimental environment? How do we measure truth in the context of uncertainty? https://arxiv.org/abs/1907.05947