Does Dynamic Computer Verification imply the End of Proof?
Plenary Talk via Zoom, 26 October 2021, 2nd NaCoME Conference, Indonesia

Video Link
My Plenary Talk via Zoom on "Does dynamic computer verification imply the end of proof?" on 26 October 2021 at the 2nd NaCoME Conference organized by the Mathematics Education Study Program of Sriwijaya University, Indonesia, is available at: Proof Talk.
My lecture starts at about 5:25 and ends at about 6:10 (followed by some questions).

Written Paper
A written copy of my paper, more or less corresponding to my talk is available as PDF at: Proof Paper.

Some Screengrabs from Zoom
Math of voting
Math of voting
Math of voting
Math of voting
Math of voting


Back to "Dynamic Geometry Sketches"

Back to "Student Explorations"


Created by Michael de Villiers, 14 January 2022.