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