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

کنت اپل (Kenneth Appel) یکی از اولین ریاضیدانانی که با استفاده از رایانه موفق به اثبات یک قضیه مشهور ریاضی شد، در سن 80 سالگی درگذشت.

اپل در سال 1979، قضیه چهار رنگ را اثبات کرد. بر اساس این قضیه، می‌توان فقط با استفاده از چهار رنگ و بدون مرزبندی قلمروها با رنگ یکسان، یک نقشه را رنگ‌آمیزی کرد.

این قضیه نخستین بار در سال 1852 توسط یک نقشه‌کش انگلیسی مطرح شد و گرچه حقیقی‌بودن آن بدیهی به نظر می‌رسید، اما دهه‌ها ذهن ریاضی‌دانان را به خود مشغول کرده بود.

برای اثبات آن، اپل و همکارانش ابتدا نشان دادند که تمامی نقشه‌های ممکن را می‌توان به مجموعه‌ای از یک هزار و 936 شکل کاهش داد. آنها سپس برای ثابت‌کردن این قضیه، تمامی این اشکال را با استفاده از ابررایانه IBM آزمایش کردند.

در آن زمان این ابررایانه یک اتاق کامل را اشغال می‌کرد اما قدرت آن از یک گوشی‌هوشمند امروزی کمتر بود.

استفاده از ابرکامپیوتر برای اثبات یک قضیه ریاضی در آن زمان موفقیتی بزرگ به شمار می‌رفت.

نیویورک تایمز تاریخ مرگ این ریاضیدانان را 19 آوریل اعلام کرده است.

آخرین فرمول آقا معلم

سر کلاس همه آرام و ساکت نشسته بودند و به فرمول‌های ریاضی که آقای سعیدی روی تخته سیاه می‌نوشت، خیره شده بودند.

او داشت فرمول را توضیح می‌داد و به نظر می‌آمد که هنوز چند تا از بچه‌ها با آن مشکل داشتند؛ انگار خودش متوجه شده بود، بدون اینکه سر برگرداند گفت: «بچه‌ها! یک مثال دیگر می‌زنم».

علی طبق معمول گیج شده بود، همیشه هر وقت آقای سعیدی فرمول جدیدی را توضیح می‌داد، اخمو می‌شد و تا زمانی که از آن روش جدید سر درنمی‌آورد، اخم‌هایش را باز نمی‌کرد؛ روی دفترش خم شده بود و داشت فرمول را برای خودش حل می‌کرد.

آقای سعیدی مثالی روی تخته‌سیاه نوشت و ناگهان سکوت کرد؛ برای دقایقی همه‌چیز در سکوت گذشت، بچه‌ها همین طور به تخته سیاه خیره شده بودند و آقای سعیدی چیزی نمی‌گفت؛ ناگهان دستانش تکانی خورد و به آرامی روی تخته سیاه کشیده شد اما هیچ توضیحی نداد.

بقیه در ادامه مطلب

ادامه نوشته