۱۶ آبان ۱۴۰۳
به روز شده در: ۱۶ آبان ۱۴۰۳ - ۰۳:۰۰
فیلم بیشتر »»
کد خبر ۲۷۰۶۳۸
تاریخ انتشار: ۱۴:۴۲ - ۱۳-۰۲-۱۳۹۲
کد ۲۷۰۶۳۸
انتشار: ۱۴:۴۲ - ۱۳-۰۲-۱۳۹۲

مرگ یک ریاضیدان مشهور

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