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