چرا ریاضی‌دانان همچنان چیزهایی را اثبات می‌کنند که از قبل می‌دانند؟

اوایل همین ماه، مطلبی درباره نحوه تولید تصادفی دو نسخه از اثبات مسئله ناویه-استوکس توسط شرکت اوپن‌ای‌آی نوشتم. جزئیات آن را اینجا بخوانید، اما نکته‌ای که برایم جالب بود این است که برخی افراد غیرریاضی که با آن‌ها صحبت کردم، ایده اینکه دو اثبات متفاوت برای یک مسئله می‌تواند هر دو صحیح باشد، برایشان دشوار بود. این موضوع مرا به فکر فرو برد که ریاضی‌دانان چگونه و چرا چیزها را بارها اثبات می‌کنند – و چه اتفاقی می‌افتد وقتی این کار اشتباه از آب درمی‌آید.

نکته مهمی که باید درک کرد این است که اثبات‌ها تکالیف درسی نیستند. اخیراً چند ریاضی‌دان این نکته را به من یادآوری کردند: چون تجربه اکثر مردم از ریاضیات از مدرسه شروع و تمام می‌شود، این تصور وجود دارد که ریاضی‌دانان صرفاً در حال حل لیستی بزرگ از مسائل هستند و پاسخ‌ها را می‌نویسند تا توسط نوعی معلم ریاضی کیهانی تیک بخورد. اینگونه نیست – اثبات‌ها روشی برای سازمان‌دهی و پرورش تفکر ریاضی هستند. می‌توانید اثبات را مانند سفری از گزاره تا نتیجه تصور کنید – و همان‌طور که در بسیاری از سفرها، مسیرهای متعددی برای رسیدن از نقطه الف به ب وجود دارد، اینجا نیز است که ما با اثبات‌های متعدد برای یک مسئله مواجه می‌شویم.