مجله دلتا-مجله دانستنی-ریاضی-کامپیوتر - نوشته هایی از همه چیز و همه جا

جمعی از ریاضیدانان با کمک چندین کامپیوتر توانستند یک مسئله 90 ساله درباره حدس کلر را به سرانجام برسانند. حل این مسئله از طریق آموزش چندین کامپیوتر انجام گرفت.

حل مسئله ریاضی ?

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

حل مسئله ریاضی 90 ساله به کمک کامپیوتر ?

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

استدلال منتشر شده برای حل مسئله بسیار پیچیده و فراتر از درک انسانی است. اما می توان صحت آن را با کمک کامپیوتر های دیگر انجام داد. حل مسئله ریاضی در فضاهایی مانند دو بعدی بسیار آسان است. اما با بالاتر رفتن بعدها حل آن بسیار دشوار خواهد شد. در سال 1940 اسکار پرون این حدس را برای بعدهای اول تا ششم اثبات کرده بود. اما برخی ریاضیدانان حدود 50 سال بعد صحت آن را برای بعد دهم نقض کرده بودند. پس از آن برخی دانشمندان در سال 2002 نیز تلاش کرده بودند تا این حدس را برای بعد هشتم امتحان کنند و توانسته بودند اثبات کنند که این مسئله برای بعد هشتم اشتباه است. اکنون پس از حدود 18 سال درست بودن آن برای بعد هفتم ثابت شده است.

پیشنهاد مطالعه: برای مطالعه بیشتر مطلب «دست مصنوعی با قدرت لامسه» را بخوانید.