لا أعرف حقا لماذا يجب أن يذكر هذا، لكن هل يمكننا جميعا التوقف عن التظاهر بأن سطر إثبات الرياضيات المليء بالأخطاء هو بطبيعته أكثر كارثية من سطر الكود المليء بالأخطاء؟ بالتأكيد. بعضهم كذلك. أراهن (مجازيا!!!) أن متوسط ورقة الرياضيات المنشورة يحتوي على > صفر أخطاء في البحث. دون أن تلغي التأكيد.