Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore the mathematical concept of multiway graphs constructed from rule sets in this 40-minute conference talk that examines how these structures represent proof spaces for multiple theorems. Learn how to systematically search for all possible proofs of a given theorem within these graph structures, and discover methods for defining continuous transformations between different proof paths. Investigate the geometric and topological properties of proof spaces, focusing on identifying gaps or "holes" in the mathematical landscape where proofs might exist. Gain insights into advanced mathematical reasoning, proof theory, and the computational approaches to understanding the structure of mathematical arguments through graph-theoretic representations.
