ثبت بازخورد

لطفا میزان رضایت خود را از دیجیاتو انتخاب کنید.

واقعا راضی‌ام
اصلا راضی نیستم
چطور میتوانیم تجربه بهتری برای شما بسازیم؟

نظر شما با موفقیت ثبت شد.

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

علمی

یک مسئله ریاضی پس از ۹۰ سال با کمک کامپیوتر حل شد

یک تیم از ریاضی‌دانان در نهایت توانستند به ابهامات درباره «حدس کلر» پایان دهند که البته خود این کار را انجام ندادند و به چندین کامپیوتر انجام آن را آموزش دادند. حدس کلر که ۹۰ ...

محمد قریشی
نوشته شده توسط محمد قریشی | ۱ شهریور ۱۳۹۹ | ۱۹:۰۰

یک تیم از ریاضی‌دانان در نهایت توانستند به ابهامات درباره «حدس کلر» پایان دهند که البته خود این کار را انجام ندادند و به چندین کامپیوتر انجام آن را آموزش دادند.

حدس کلر که ۹۰ سال پیش توسط «ات-هاینریش کلر» مطرح شد، یک مسئله درباره پوشش فضاها با کاشی‌های یکسان است. این مسئله به این موضوع اشاره می‌کند که اگر یک فضای دو بعدی را با کاشی‌های مربعی دو بعدی بپوشانید، حداقل دو لبه مشترک خواهند داشت. این پیش‌بینی برای فضاها در تمام بعدها نیز مطرح شده است.

در سال‌های اخیر ریاضی‌دانان این حدس را مورد بررسی قرار داده و آن را برای برخی بعدها درست و برای بعضی نادرست اعلام کردند. از پاییز گذشته تا به امروز، دانشمندان نتوانسته بودند این حدس را برای فضای ۷ بعدی حل کنند. حالا نسل جدید کامپیوترها توانسته‌اند آن را حل کنند و حالا اثبات آن به صورت آنلاین منتشر شد.

نویسندگان این مقاله از دانشگاه «استنفورد»، «کارنگی ملون» و «موسسه فناوری راچستر» توانسته‌اند این مسئله را با ۴۰ کامپیوتر حل کنند و پس از ۳۰ دقیقه این کامپیوترها جواب یک کلمه‌ای را اعلام کردند. این حدس برای فضاهای هفت بعدی درست است.

حدس کلر

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

اثبات این حدس در فضای دو بعدی کار ساده‌ای است، اما در بعدهای بالاتر نمی‌توان به راحتی چنین مسئله‌ای را ثابت کرد. در سال ۱۹۴۰، «اسکار پرون» ثابت کرد که این حدس برای بعدهای اول تا ششم درست است، اما ۵۰ سال بعد ریاضی‌دانان آن را برای بعد دهم نقض کردند.

زمانی که یک قضیه در بعدی نقض می‌شود، در بعدهای بالاتر نیز صادق نیست و به همین علت ریاضی‌دانان روی بعدهای هفتم تا نهم تمرکز کردند که در سال ۲۰۰۲ نیز مشخص شد که این حدس درباره بعد هشتم اشتباه است. حالا دانشمندان پس از نزدیک به ۱۸ سال از آخرین تلاش موفق، توانستند درست بودن آن برای بعد هفتم را ثابت کنند.

دیدگاه‌ها و نظرات خود را بنویسید
مجموع نظرات ثبت شده (6 مورد)
  • molavy
    molavy | ۲ شهریور ۱۳۹۹

    یکی سوال کرد چه کاربرد و منفعتی داره، و اساتید با احترام براش توضیح دادن. بدون توهین به اعتقادات و و شخصیتش

  • فراز
    فراز | ۱ شهریور ۱۳۹۹

    همون منفعتی که از کوبیدن تو سر و کله خودتون میبرید

    • Ali Hatami
      Ali Hatami | ۱ شهریور ۱۳۹۹

      چرا زانو رو ربط میدی به شقیقه؟ اگه میدونی جوابشو بده، اگه نمیدونی فکتو ببند...

      • Patrick
        Patrick | ۱ شهریور ۱۳۹۹

        نه ما نمیدونیم چه منفعتی داره اما صددرصد خر نیستن که ۹۰ سال گیر همچین معادله ای بودن تمام تکنولو›ي ها از فضاپیماها گرفته تا همین اینترنت از حل چنین معادلاتی نشات گرفتن اگه تو عمرت دوتا معادله ی ساده هم حل نکردی ببینی چه کاربردایی دارن میتونی خفه شی

  • علی
    علی | ۱ شهریور ۱۳۹۹

    خب حالا این اثبات چه منفعتی داره ؟

    • Erfaan Zandii
      Erfaan Zandii | ۲ شهریور ۱۳۹۹

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

مطالب پیشنهادی