آیا علوم کامپیوتر واقعاً به کامپیوتر نیاز دارد و این علم دقیقاً چه چیزی را مطالعه میکند؟ بررسی نظریه محاسبات، الگوریتمها، پیچیدگی محاسباتی، ماشین تورینگ و نقش تاریخی کامپیوترها در شکلگیری علوم کامپیوتر نظری.
شبکه اطلاعرسانی روابطعمومی ایران (شارا) – علوم کامپیوتر در نگاه نخست، علمی درباره کامپیوترها به نظر میرسد؛ اما بخش مهمی از این حوزه، بهویژه علوم کامپیوتر نظری، بدون استفاده مستقیم از یک کامپیوتر فیزیکی نیز قابل مطالعه است. پرسش اساسی اینجاست: اگر کامپیوترها موضوع اصلی این علم نیستند، پس علوم کامپیوتر دقیقاً درباره چیست؟
ادواردسخر دیکسترا، دانشمند برجسته علوم کامپیوتر و برنده جایزه تورینگ در سال ۱۹۷۲، جملهای مشهور دارد: علوم کامپیوتر دیگر درباره کامپیوترها نیست، همانطور که نجوم درباره تلسکوپها نیست.
این دیدگاه برای سالها توضیحی جذاب درباره ماهیت علوم کامپیوتر بود؛ علمی که فراتر از برنامهنویسی و فناوری، به پرسشهایی عمیق درباره محاسبه، الگوریتم و ساختار مسائل میپردازد. اما بررسی تاریخ این رشته نشان میدهد که این تشبیه، بخشی از واقعیت را نادیده میگیرد.
در دهه ۱۹۳۰، ریاضیدانان نظریه ریاضی محاسبات را توسعه دادند و در دهه ۱۹۴۰ نخستین کامپیوترهای الکترونیکی همهمنظوره ساخته شدند. علوم کامپیوتر در دهههای بعد از پیوند سنتهای ریاضی و مهندسی شکل گرفت و از همان ابتدا درباره ماهیت خود با بحثهای جدی روبهرو بود.
آلن نیوئل، آلن پرلیس و هربرت سایمون در سال ۱۹۶۷ استدلال کردند که با وجود کامپیوترها، علوم کامپیوتر باید مطالعه کامپیوترها باشد. سایمون بعدها بر مطالعه سیستمهای مصنوعی و طراحیشده بهعنوان ویژگی متمایز این حوزه تأکید کرد.
در مقابل، دونالد کنوث در سال ۱۹۷۴ علوم کامپیوتر را مطالعه الگوریتمها دانست؛ یعنی روشهای دقیق و گامبهگامی که برای حل مسائل به کار میروند. از این منظر، کامپیوتر تنها یکی از ابزارهای اجرای ایدههای محاسباتی است.
ویلیام راپاپورت، استاد بازنشسته علوم کامپیوتر و فلسفه دانشگاه بوفالو، ریشه اختلاف درباره تعریف این رشته را در ماهیت میانرشتهای آن میداند. از نگاه او، علوم کامپیوتر ترکیبی از یک ریشه ریاضی و یک ریشه مهندسی است.
او علوم کامپیوتر را حول دو پرسش اصلی خلاصه میکند: چه چیزی را میتوان محاسبه کرد و چگونه میتوان آن را محاسبه کرد؟
پرسش نخست ما را به دهه ۱۹۳۰ و کار آلن تورینگ میبرد. تورینگ در سال ۱۹۳۷ مدلی ریاضی از محاسبه ارائه کرد که بعدها «ماشین تورینگ» نام گرفت. او در آن زمان قصد ساخت یا توضیح کامپیوترهای امروزی را نداشت، بلکه در پی حل مسئلهای بنیادین در مبانی ریاضیات بود.
نظریه محاسبات بعدها بسیار فراتر از ماشینهای دیجیتال گسترش یافت. دانشمندان از مفاهیم محاسباتی برای مطالعه پدیدههای طبیعی، فرایندهای تکاملی و حتی مسائل گرانش کوانتومی استفاده کردهاند.
پرسش دوم، یعنی «چگونه میتوان چیزی را محاسبه کرد؟»، به نظریه الگوریتمها و پیچیدگی محاسباتی منتهی میشود.
از اواخر دهه ۱۹۶۰ و اوایل دهه ۱۹۷۰، پژوهشگران تلاش کردند زمان موردنیاز الگوریتمها برای حل مسائل مختلف را بهصورت ریاضی اندازهگیری کنند. آنها دریافتند که مسائل مختلف، حتی اگر از نظر نظری قابل حل باشند، از نظر میزان دشواری تفاوتهای اساسی دارند.
برخی مسائل با الگوریتمهای بسیار سریع حل میشوند، در حالی که برای برخی دیگر، الگوریتمهای شناختهشده بسیار کند هستند. مطالعه این تفاوتها به شکلگیری نظریه پیچیدگی محاسباتی انجامید؛ حوزهای که امروز یکی از پایههای علوم کامپیوتر نظری و فناوریهایی مانند رمزنگاری مدرن است.
کریستوفر مور، دانشمند علوم کامپیوتر نظری در مؤسسه سانتافه، تأکید میکند که دشواری یک مسئله صرفاً به سرعت کامپیوتر یا هوش حلکننده آن بستگی ندارد؛ بلکه ساختار بنیادی خود مسئله میتواند تعیین کند که حل آن آسان یا دشوار باشد.
با توسعه نظریه پیچیدگی، پرسشهایی پدید آمد که حتی از مفهوم سنتی محاسبه فراتر رفتند. پژوهشگران در دهههای ۱۹۸۰ و ۱۹۹۰ از ایدههای نظریه پیچیدگی برای ایجاد روشهای جدید در اثبات ریاضی استفاده کردند؛ از جمله روشهایی که امکان بررسی درستی یک گزاره را بدون آشکار کردن کامل دلیل آن فراهم میکنند.
اسکات آرونسون، دانشمند علوم کامپیوتر نظری در دانشگاه تگزاس در آستین، معتقد است بسیاری از این پرسشهای بنیادین میتوانستند قرنها پیش مطرح شوند، اما در آن زمان کسی به فکر طرح آنها نیفتاده بود.
این موضوع پرسش مهمتری ایجاد میکند: آیا کامپیوترها صرفاً ابزار علوم کامپیوتر هستند یا خود آنها در شکلگیری پرسشهای این علم نقش داشتهاند؟
چارلز بابیج، دانشمند قرن نوزدهم و طراح «موتور تحلیلی»، نمونهای قابل توجه است. او پیشبینی کرده بود که استفاده از ماشینهای محاسباتی، پرسشهایی درباره بهترین و سریعترین روشهای محاسبه ایجاد خواهد کرد. هرچند بابیج هرگز ماشین خود را تکمیل نکرد، ایده او نشان میدهد که ابزارهای محاسباتی میتوانند به ایجاد پرسشهای تازه درباره ماهیت محاسبه منجر شوند.
به همین دلیل، شاید مشکل اصلی در تشبیه دیکسترا این باشد که نقش تاریخی کامپیوترها در شکلگیری پرسشهای علوم کامپیوتر نادیده گرفته میشود.
علوم کامپیوتر نظری میتواند بدون یک کامپیوتر فیزیکی مطالعه شود، اما بسیاری از پرسشهای عمیق این حوزه در پاسخ به نیازهای عملی و تجربه کار با ماشینهای واقعی شکل گرفتهاند. تاریخ این رشته نشان میدهد که پیشرفت نظری و پیشرفت فناوری نه دو مسیر کاملاً جدا، بلکه دو جریان درهمتنیده بودهاند.
متی تدره، دانشمند علوم کامپیوتر در دانشگاه فنلاند شرقی، معتقد است تشبیه دیکسترا از یک جهت درست است، اما نباید اهمیت ابزارها را دستکم گرفت. همانطور که تلسکوپها شناخت بشر از جهان را متحول کردند، کامپیوترها نیز امکان طرح پرسشهایی را فراهم کردند که پیش از آنها شاید اصلاً مطرح نمیشدند.
از این منظر، تاریخ علوم کامپیوتر درس مهمی درباره پیشرفت علمی ارائه میدهد. برخلاف تصور رایج که ابتدا علم نظری پیشرفت میکند و سپس فناوری از آن بهره میگیرد، گاهی فناوریهای جدید خود به ایجاد پرسشهای بنیادی تازه منجر میشوند.
اسکات آرونسون به قانون دوم ترمودینامیک اشاره میکند؛ اصلی بنیادی درباره تکامل جهان که صورتبندی آن پس از ظهور موتورهای بخار شکل گرفت.
رایان ویلیامز، نظریهپرداز پیچیدگی در مؤسسه فناوری ماساچوست، نیز بر همین رابطه تأکید میکند: مسائل جالب و واقعی میتوانند پرسشهای نظری بزرگی ایجاد کنند.
بنابراین، پاسخ دقیق به پرسش «آیا علوم کامپیوتر به کامپیوتر نیاز دارد؟» این است: برای بخش مهمی از علوم کامپیوتر نظری، نه؛ اما برای تاریخ شکلگیری و تحول این علم، قطعاً بله.
علوم کامپیوتر فقط مطالعه ماشینها نیست؛ مطالعه محاسبه، الگوریتم، اطلاعات و محدودیتهای حل مسئله است. بااینحال، ماشینها نقش مهمی در کشف این پرسشها و گسترش مرزهای آنها داشتهاند.
به همین دلیل، کامپیوتر نه صرفاً موضوع علوم کامپیوتر است و نه صرفاً ابزار آن؛ بلکه یکی از نیروهای شکلدهنده به خود این علم بوده است.
پرسش و پاسخ
آیا علوم کامپیوتر درباره کامپیوترهاست؟
خیر. علوم کامپیوتر حوزهای گستردهتر است که محاسبه، الگوریتمها، اطلاعات، ساختار مسائل و محدودیتهای حل مسئله را مطالعه میکند.
آیا برای مطالعه علوم کامپیوتر نظری به کامپیوتر نیاز داریم؟
برای بسیاری از مباحث نظری، خیر. برخی مسائل علوم کامپیوتر را میتوان با ابزارهای ریاضی و استدلال منطقی بررسی کرد.
دو پرسش اصلی علوم کامپیوتر چیست؟
دو پرسش بنیادین این حوزه عبارتاند از: «چه چیزی را میتوان محاسبه کرد؟» و «چگونه میتوان آن را محاسبه کرد؟»
ماشین تورینگ چیست؟
ماشین تورینگ یک مدل ریاضی برای توصیف فرایند محاسبه است که آلن تورینگ در دهه ۱۹۳۰ ارائه کرد و به یکی از مفاهیم بنیادین نظریه محاسبات تبدیل شد.
نظریه پیچیدگی محاسباتی چه چیزی را بررسی میکند؟
این نظریه بررسی میکند حل مسائل مختلف به چه میزان منابع محاسباتی، مانند زمان و حافظه، نیاز دارد و چرا برخی مسائل بسیار دشوارتر از مسائل دیگر هستند.
آیا کامپیوترها فقط ابزار علوم کامپیوتر هستند؟
خیر. کامپیوترها علاوه بر اینکه ابزار اجرای الگوریتمها هستند، در طول تاریخ به شکلگیری پرسشهای جدید و توسعه نظریههای علوم کامپیوتر نیز کمک کردهاند.
رابطه علم و فناوری در علوم کامپیوتر چگونه است؟
این رابطه دوسویه است. نظریههای علمی فناوریهای جدید ایجاد میکنند و فناوریهای جدید نیز میتوانند پرسشهای علمی و نظری تازهای به وجود آورند.
عنوان: آیا علوم کامپیوتر واقعاً به کامپیوتر نیاز دارد؟
نویسنده: بن بروبیکر (Ben Brubaker)
حوزه فعالیت نویسنده: نویسنده حوزه علوم کامپیوتر در مجله کوانتا
تاریخ انتشار: ۲۸ آگوست ۲۰۲۶
منبع: مجله کوانتا (Quanta Magazine)
موضوع: علوم کامپیوتر، نظریه محاسبات، الگوریتم، پیچیدگی محاسباتی و رابطه علم و فناوری