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