ثبت بازخورد

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

Very satisfied Satisfied Neutral Dissatisfied Very dissatisfied
واقعا راضی‌ام
اصلا راضی نیستم
چطور میتوانیم تجربه بهتری برای شما بسازیم؟

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

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

علمی

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

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

محمد قریشی
محمد قریشی منتشر شده در 1 شهریور 1399  |  19:00

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

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

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

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

حدس کلر

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

READ  اهدای ۱۰۰ سکه تمام بهار آزادی به خریداران Xperia M Dual

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

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

دیدگاه‌ها و نظرات خود را بنویسید
نظرات ثبت شده (6 مورد)
  • molavy

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

  • فراز

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

    • Ali Hatami

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

      • Patrick

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

  • علی

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

    • Erfaan Zandii

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

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