یک توپ بیلیارد می‌تواند از نظر تئوری هر محاسبه‌ای را انجام دهد!

همشهری آنلاین، فرخنده رفائی: کامپیوترها معمولا با تراشه‌ها، مدارهای الکترونیکی و حجم عظیمی از داده‌ها شناخته می‌شوند، اما یک پژوهش ریاضی نشان داده است که برای ساختن یک سیستم محاسباتی جهان‌شمول، دست‌کم در عالم نظری، حتی به چنین ابزارهایی هم نیاز نیست.

به گزارش ساینس‌الرت، دو راضیدان به نام‌های اوا میراندا از دانشگاه پلی‌تکنیک کاتالونیا و آیزاک راموس از ETH زوریخ نشان داده‌اند که یک توپ واحد درون یک میز بیلیارد دوبعدی با هندسه خاص می‌تواند عملکرد یک «ماشین تورینگ جهان‌شمول» را شبیه‌سازی کند. ماشین تورینگ یک مدل ریاضی است که آلن تورینگ در سال ۱۹۳۶ برای توصیف فرایند محاسبه ارائه کرد و یک نسخه جهان‌شمول آن می‌تواند هر ماشین تورینگ دیگری را شبیه‌سازی کند.

در مدل جدید، موقعیت توپ حامل اطلاعات است و شکل دیواره‌ها مشخص می‌کند این اطلاعات پس از هر برخورد به کدام مرحله منتقل شود. توپ در مسیر خود حرکت می‌کند و با برخورد به بخش‌های مختلف دیواره، مسیر محاسبه را ادامه می‌دهد؛ بنابراین چیزی که در یک رایانه معمولی به شکل دستورهای برنامه‌نویسی اجرا می‌شود، در اینجا به مسیر حرکت یک ذره تبدیل شده است.

پژوهشگران پیش‌تر نیز از سیستم‌های بیلیاردی برای شبیه‌سازی … …