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