MATH 79SI: “Proof Positive: Principles of Mathematics” is a new student-initiated class that introduces students to basic mathematical proof-writing techniques. The one-unit class is designed to serve ...

Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...

Educational Studies in Mathematics, Vol. 94, No. 1 (January 2017), pp. 37-54 (18 pages) This paper reports the results of an international comparative study on the nature of proof to be taught in ...

As he was brushing his teeth on the morning of July 17, 2014, Thomas Royen, a little-known retired German statistician, suddenly lit upon the proof of a famous conjecture at the intersection of ...

This is an updated version of a story first published on May 5, 2024. For many high school students returning to class, it may seem like geometry and trigonometry were created by the Greeks as a form ...