وقتی مساوی، مساوی نیست/ چالشی که دنیای ریاضی را به‌هم ریخت

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

وقتی مساوی، مساوی نیست/ چالشی که دنیای ریاضی را به‌هم ریخت

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

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

وقتی مساوی، مساوی نیست/ چالشی که دنیای ریاضی را به‌هم ریخت

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

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

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

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

پس تکلیف چیست؟

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

شبکه‌های اجتماعی
دیدگاهتان را بنویسید

نظرات شما - 3
  • ناشناس
    0

    اون خدابیامرز جورج اورول که چند دهه پیش تو همون کتاب مزرعه حیوانات اینو یه جور دیگه گفته بود که همه با هم برابر نیستند و برخی برابرترند!!!

  • رابی
    0

    باید از اصطلاح برابر استفاده کنند.مثلا خاویار برابر است با پوست مرغ

  • ناشناس
    0

    این افاضات را نگید