Constructive mathematics reconsiders traditional foundational approaches by emphasising explicit constructions and algorithmic content rather than relying solely on non-constructive existence proofs.

In a recent blog post, Kyle Pearce (@mathletepearce) raised the question “good at math or good at memorization?” Unlike most middle school math teachers, Kyle asks his students to wrestle with complex ...