تاریخ:
استاندار قم: مصمم هستیم فرودگاه قم پایان سال ۱۴۰۶ به بهره‌برداری برسد 
درس نود و نه
مرگ یک ریاضیدان مشهور
کنت اپل (Kenneth Appel) یکی از اولین ریاضیدانانی که با استفاده از رایانه موفق به اثبات یک قضیه مشهور ریاضی شد، در سن 80 سالگی درگذشت.
به گزارش ایسنا، اپل در سال 1979، قضیه چهار رنگ را اثبات کرد. بر اساس این قضیه، می‌توان فقط با استفاده از چهار رنگ و بدون مرزبندی قلمروها با رنگ یکسان، یک نقشه را رنگ‌آمیزی کرد.
این قضیه نخستین بار در سال 1852 توسط یک نقشه‌کش انگلیسی مطرح شد و گرچه حقیقی‌بودن آن بدیهی به نظر می‌رسید، اما دهه‌ها ذهن ریاضیدانان را به خود مشغول کرده بود.
برای اثبات آن، اپل و همکارانش ابتدا نشان دادند که تمامی نقشه‌های ممکن را می‌توان به مجموعه‌ای از یک هزار و 936 شکل کاهش داد. آنها سپس برای ثابت‌کردن این قضیه، تمامی این اشکال را با استفاده از ابررایانه IBM آزمایش کردند.
در آن زمان این ابررایانه یک اتاق کامل را اشغال می‌کرد، اما قدرت آن از یک گوشی‌هوشمند امروزی کمتر بود.
استفاده از ابرکامپیوتر برای اثبات یک قضیه ریاضی در آن زمان موفقیتی بزرگ به شمار می‌رفت.
نیویورک تایمز تاریخ مرگ این ریاضیدانان را 19 آوریل اعلام کرده است.
لینک کوتاه: کپی لینک
سرمایه‌گذاری جدید تهرانی‌ها چرا آب را به‌سرعت گرم می‌کنیم، اما سردکردنش بسیار طول می‌کشد؟ تایید تعابیر هیتلر برای قوم یهود از سوی یک روزنامه روز استراحتتان را با لم‌دادن خراب نکنید؛ این حرکت ساده بدن را سریع‌تر ریکاوری می‌کند استایل متفاوت گلشید بحرایی؛ بازیگر «هیولا» با موهای مسی در کنسرت گروه پلاریس (+عکس) تقویم روز چرا لنت ترمز نو در چند کیلومتر اول ضعیف‌تر عمل می‌کند؟ بزرگ‌ترین صادرکنندگان کود شیمیایی جهان (+ اینفوگرافیک) «سقراط» که بود و چرا اعدام شد؟ راز سازه عجیب دوروپینار؛ آیا بقایای کشتی نوح واقعاً در آرارات قرار دارد؟ چرا روی بدنه موشک‌های فضایی مربع‌های شطرنجی سیاه و سفید وجود دارد؟ مقایسه توان تولید جنگنده چین و روسیه در سال ۲۰۲۶؛ پکن چند برابر مسکو هواپیما می‌سازد؟ «ابوالفتح‌میرزا» پسر سوم مظفرالدین‌شاه در ایام جوانی (عکس) هشدار درباره هیدروسفالی؛ آب‌آوردن مغز چیست؟ باتری لیتیومی را فراموش کنید؛ چین زیرِ زمین بزرگ‌ترین باتری هوای فشرده جهان را ساخت!