Matematiksel ispat öğretimi, matematiğin ruhunu taşıyan ama pratikte çoğunlukla müfredatın en ihmal edilen bölümü olarak kalan bir alan. Bir öğrenciye kurallar ve formüller öğretilebilir; ama neden bu kuralların doğru olduğunu, hangi koşullarda geçerli olduklarını ve hangi varsayımlar altında çalıştıklarını sorgulamadan yapılan matematik, bir ustalık değil bir kopyalama pratiğidir. Mathematiksel ispat öğretimi neden bu denli ihmal edilir? Birkaç yapısal sebep öne çıkar: İspat, soyut düşünme gerektirir ve tüm öğrencilerin bu düşünce biçimine aynı hızda erişmesi mümkün değildir. Değerlendirmek güçtür; kısmen doğru bir ispat nasıl puanlanır? Öğretmenlerin kendisi de zaman zaman ispat üretiminde değil, formül uygulamada eğitim almıştır. Ancak matematiksel ispat öğretimi olmadan ne kaybediliyor? Bir teoremin neden doğru olduğunu anlayan öğrenci, o teoremi farklı bağlamlara uyarlayabilir, sınırlarını fark edebilir ve yeni bağlantılar kurabilir. Bunları yapamayan öğrenci ise yalnızca belirli kalıpları belirli sorulara uygulayabilir; bu da matematiksel esnekliği kısıtlar. İspatsız matematik öğretiminin uzun vadeli sonucu: Matematik "keşfedilecek bir şey" olmaktan çıkar, "ezberlenecek bir şey"e dönüşür. Bu ayrım, matematikle sağlıklı bir ilişki kurmanın önündeki en büyük engeldir. Matematik korkusu ve nefretinin beslendiği kaynaklardan biri de budur: Kurallar keyfi görünür, bağlantısız ve anlamsız. Müfredatta matematiksel ispat öğretimine yer açmak her düzeyde mümkündür. Tümevarımsal akıl yürütme ilkokul düzeyinde başlatılabilir. Kontrpozitif ve çelişki ile ispat, ortaokul bağlamında erişilebilir kılınabilir. Formal kanıt yazmak liseye özgü olsa da, ispat mantığının temelleri çok daha erken yaşlarda atılabilir. Mathematiksel ispat öğretimi, seçkin öğrenciler için değil; matematikle kalıcı ve anlayışlı bir ilişki kurmak isteyen herkes için gereklidir. Müfredatların bunu görmesi, eğitim sisteminin matematiğe bakış açısını kökten dönüştürür.