أدلة بسعر: الثقافة الرياضية الصارمة للغاية في الغد

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