هنگامی مساوی، مساوی نیست/ چالشی که دنیای ریاضی را به‌هم ریخت_صبح سریع

در دنیای ریاضیات، برخی مفاهیم آن‌قدر عادی به نظر می‌رسند که هیچ زمان درمورد‌شان شک نمی‌کنیم؛ اما اکنون ریاضی‌دانان بر سر یکی از پایه‌ای‌ترین نشانه‌های این علم یعنی علامت مساوی (=) اختلاف‌نظر دارند!

این نوشته نه‌تنها علتجنجال در جامعه علمی شده، بلکه چالشی بزرگ برای برنامه‌های کامپیوتری تشکیل کرده که به پردازش اثبات‌های ریاضی می‌پردازند.

علامتی با قدمت ۴۰۰ ساله ولی پرابهام

علامت مساوی نخستین بار در سال ۱۵۵۷ میلادی توسط رابرت رکورد، ریاضیدان ولزی، معارفه شد. اما مفهوم «برابری» در ریاضیات از همان ابتدا پیچیدگی‌هایی داشت که در طول قرن‌ها تحول کرده است. امروزه، برخی از ریاضیدانان اعتقاد دارند که مفهوم مساوی باید شامل شباهت‌های ساختاری (ایزومورفیسم) هم باشد، نه فقط برابری عددی!

ماشین‌ها نمی‌فهمند «مساوی» یعنی چه!

مشکل مهم وقتی به اوج رسید که برنامه‌نویسان تلاش کردند از رایانه‌ها برای اثبات قضایای ریاضی منفعت گیری کنند. کوین بازارد، ریاضیدان بریتانیایی، فهمید شد که سیستم‌های کامپیوتری نمی توانند به درستی مفهوم مساوی را پردازش کنند، چون این مفهوم برای ریاضیدانان به‌شکل غیررسمی و با تفسیرهای گوناگون منفعت گیری می‌شود.

بعد تکلیف چیست؟

آیا باید تعریف «مساوی» را در ریاضیات تحول داد؟ یا بهتر است ماشین‌ها را طوری طراحی کنیم که راه حلهای پیچیده‌تری برای فهمیدن این مفهوم داشته باشند؟ این چالش اساسی، تا این مدت پاسخی قطعی ندارد.