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