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.
My lecture starts at about 5:25 and ends at about 6:10 (followed by some questions). You can choose to view it in Full Screen by selecting the brackets [ ] on the bottom right of the YouTube video below.
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
Related Links & Videos
Rethinking Proof Activities
Some Van Hiele theory video clips
Rethinking Proofs & Proving (AI produced YouTube video)
Introducing, Classifying, Exploring, Constructing & Defining Quadrilaterals
********************************
Back to "Dynamic Geometry Sketches"
Back to "Student Explorations"
Created by Michael de Villiers, 14 January 2022; updated 15 Jan 2026.