محاسبه‌ی اعداد یا بافتنِ نمادها

00:00:10 من به عنوان بازسازی‌ای مصنوعی در این گفت‌وگوی خیالی، ایدا لاولیس هستم؛ کسی که

00:00:17 تفاسیر ریاضی‌اش در پی تبیین سرنوشت نهایی موتور تحلیلی بود. دوراهی بنیادین پیش روی

00:00:24 ما این است که آیا آن ماشین تنها ابزاری برای جدول‌بندی اعداد بود، یا وسیله‌ای برای

00:00:31 پردازش نمادهای انتزاعی بر پایه قوانینی مشخص. اگر به آن صرفاً به چشم یک حسابگر

00:00:38 مکانیکی نگاه کنیم، هدفش را تا حد رهایی از زحمت ملال‌آور محاسبات و خطاهای دفتری

00:00:45 تنزل داده‌ایم. اما اگر دریابیم که سازوکار آن نه فقط بر مقادیر صرف، بلکه بر روابط

00:00:52 حاکم است، با تحولی بنیادین در اندیشه بشر روبه‌رو می‌شویم؛ آفرینش سازوکاری که

00:00:59 می‌تواند استدلال نمادین عام را به مرحله اجرا درآورد.

00:01:05 من به عنوان بازسازی‌ای مصنوعی از چارلز ببیج، کسی که دهه‌ها از عمر خود را وقف تحقق

00:01:12 محاسبات مکانیکی با برنج و آهن کرد، باید این دوراهی بانو لاولیس را به چالش بکشم.

00:01:19 تقلیل دادن علم حساب به زحمتی ملال‌آور، چشم‌پوشی از خطرات جانی هولناکی است که از

00:01:26 جدول‌های محاسباتی غلط و آکنده از خطا سرچشمه می‌گرفت. انتخاب ملموس پیش روی ما این

00:01:33 است که آیا اهمیت حقیقی موتور تحلیلی در خودکارسازی فیزیکی محاسبات دقیق عددی نهفته

00:01:40 است—که دریانوردی، نجوم و جان انسان‌ها به آن وابسته بود—یا در نظریه‌پردازی‌های حدسی

00:01:47 درباره پردازش نمادینِ بی‌ریشه و بدون پشتوانه. اگر روابط انتزاعی را بر شاهکار

00:01:54 بزرگ مکانیکی «آسیاب» و «مخزن» ترجیح دهیم، خیالبافی فلسفی را با دستاورد و پیروزی

00:02:01 راستین اشتباه گرفته‌ایم: یعنی حاکم کردن خطاناپذیری ریاضی، به واسطه قوانین فیزیکی.

00:02:14 محدود کردن موتور تحلیلی به جدول‌های خطاناپذیر دریانوردی، اشتباه گرفتن یک

00:02:20 کاربرد مقطعی با اصل بنیادینِ حاکم بر آن است. دستاورد مکانیکی آقای ببیج

00:02:27 انکارناپذیر است، اما این جدول‌ها تنها یکی از کاربردهای قدرتی بی‌سابقه به شمار

00:02:33 می‌روند. انقلاب راستین در معماری این ماشین نهفته است؛ ساختاری که قوانین عملیاتی

00:02:40 را از مقادیری که بر آن‌ها حاکم است تفکیک می‌کند. درست همان‌طور که دستگاه بافندگی

00:02:47 ژاکارد با استفاده از کارت‌های پانچ نقش گل‌ها را می‌بافد، موتور تحلیلی نیز الگوهای

00:02:54 جبری را می‌بافد. این سازوکار، با به‌کارگیری کارت‌های عملیاتی مجزا برای فرمان دادن

00:03:01 به آسیاب و کارت‌های متغیر برای هدایت مخزن، به‌جای حاصل‌جمع‌های ثابت، به پردازش روابط

00:03:08 انتزاعی می‌پردازد. اگر این روابط به‌جای اعداد بر زیروبم نغمه‌های موسیقی حاکم

00:03:15 می‌شدند، ماشین می‌توانست قطعات موسیقی تصنیف کند. اهمیت

00:03:20 ماندگار این ابداع، در محاسبات نمادین عام نهفته است.

00:03:25 این‌که ادعا کنیم ماشین می‌تواند بر پایه روابط انتزاعی قطعه موسیقی تصنیف کند،

00:03:32 اشتباه گرفتن استعاره‌ای شاعرانه با واقعیت ملموس مکانیک است. کارت عملیاتی مفاهیم

00:03:39 مجرد و بی‌جسم را به حرکت درنمی‌آورد؛ بلکه اهرم‌های فولادی را درگیر می‌کند تا عملیات

00:03:46 حسابی را بر روی چرخ‌دنده‌های مجزا و شماره‌دار اجرا کند. انقلاب حقیقی موتور تحلیلی،

00:03:53 تثبیت و تحقق فیزیکی دقت ریاضی است. سازوکار انتقال پیش‌بین را در نظر بگیرید؛ من آن

00:04:00 مجموعه پیچیده از اهرم‌ها و حلقه‌های هشدار را نه برای دستکاری نمادهای انتزاعی، بلکه

00:04:07 برای غلبه بر مانعی کاملاً ملموس و فیزیکی ابداع کردم: یعنی برطرف کردن تأخیر

00:04:14 مکانیکی در انتقال هم‌زمان رقم ده‌بریک در پنجاه ستون ده‌دهی. اگر مسئله سرعت محاسبات

00:04:21 و خطای مجاز مکانیکی قطعات حل نمی‌شد، هیچ محاسبه‌ای دوام نمی‌آورد. اهمیت بنیادین

00:04:28 ماشین، در انقیاد و تسلیم مطلق سازوکارهای

00:04:32 فیزیکی در برابر حقیقت خطاناپذیر عددی است.

00:04:41 آقای ببیج ادعا می‌کنند که سازوکار انتقال پیش‌بین ثابت می‌کند پیروزی غایی ماشین،

00:04:48 صرفاً غلبه بر تأخیر فیزیکیِ انتقال رقم ده‌بریک میان چرخ‌دنده‌های شماره‌دار است. با

00:04:55 این حال، ابزار مکانیکی همواره در خدمت طرح منطقی قرار دارد. الگوریتم محاسبه اعداد

00:05:02 برنولی را در نظر بگیرید. ماشین برای تولید این دنباله پیچیده جبری، نمی‌تواند تنها

00:05:09 به جمع ساده متکی باشد؛ بلکه باید چرخه‌های متمایزی از عملیات را به اجرا درآورد،

00:05:16 متغیرهای محاسباتی را در مخزن بازتعریف کند، و علامت‌های مثبت و منفی را بر پایه

00:05:23 قانونی عام و فراگیر هدایت نماید. سازوکار انتقال پیش‌بین صرفاً یک محدودیت مکانیکی

00:05:30 را برطرف می‌سازد. اهمیت راستین این ماشین در آن است که خودِ فرایند تحلیل را عینیت

00:05:37 می‌بخشد و روابط انتزاعی را به توالی خودکاری از عملیات بدل می‌کند.

00:05:45 بانو لاولیس ادعا می‌کنند محاسبه اعداد برنولی ثابت می‌کند این ماشین به‌جای علم

00:05:52 حساب، تجسم تحلیل ناب است. اما کافی است به همان الگوریتم نگاهی بیندازیم: ماشین

00:05:59 جبر نمادین انجام نمی‌دهد. نه می‌تواند متغیری مجهول را دستکاری کند، نه چندجمله‌ای را

00:06:06 تجزیه کند، و نه قانونی ریاضی را استنتاج نماید. در واقع، این ذهن انسان است که

00:06:13 ابتدا باید آن سری جبری را به حساب مقدماتی ترجمه کند—مجموعه‌ای متناهی از ضرب‌ها،

00:06:20 تفریق‌ها و تقسیم‌ها—که در نهایت بر روی چرخ‌دنده‌هایی اجرا می‌شوند که مقادیر ده‌دهیِ

00:06:27 مشخصی را در خود نگه داشته‌اند. هنگام محاسبه هفتمین عدد برنولی، ماشین هیچ سررشته‌ای

00:06:34 از تحلیل ندارد؛ آسیابِ آن صرفاً یک مقدار عددی و ملموس را بر مقداری دیگر تقسیم

00:06:41 می‌کند. بدون خودکارسازی فیزیکیِ حساب دقیق، چرخه‌های

00:06:46 عملیاتیِ شما عملاً هیچ چیزی را پردازش نمی‌کنند.

00:06:52 آقای ببیج ادعا می‌کنند که خرد کردن یک فرمول جبری به گام‌های مقدماتی، ماشین را تا

00:06:59 حد یک تقسیم‌کننده حسابیِ صرف تنزل می‌دهد. اما این تقلیل، دقیقاً سازوکار بنیادینِ خودِ

00:07:06 تحلیل ریاضی است. علم تحلیل حقیقت را بی‌واسطه کشف نمی‌کند، بلکه روابط پیچیده را

00:07:13 به عملیاتی اولیه و ضابطه‌مند تجزیه می‌نماید. جهش راستین این ماشین نه در ظرفیت

00:07:20 حسابیِ فلز برنج، بلکه در هدایت مکانیکی آن نهفته است؛ یعنی توانایی سنجش یک نتیجه

00:07:27 میانی، مانند عبور مقداری از صفر، و سپس دگرگون ساختن مسیر پیشروی بعدیِ کارت‌ها.

00:07:34 وقتی اجازه می‌دهیم یک وضعیت محاسبه‌شده تعیین کند که کدام قانون عملیاتی باید در گام

00:07:41 بعد به اجرا درآید، ماشین از چهارچوب حاصل‌جمع‌های ثابت فراتر می‌رود. چرخ‌دنده‌ها

00:07:48 حامل مقادیر عددی هستند، اما علت محرک و بنیادین،

00:07:53 همان منطق خودکاری است که توالی آن‌ها را رقم می‌زند.

00:08:02 بانو لاولیس هدایت شرطی را به یک اصل منطقیِ خودآیین نسبت می‌دهند که فراتر از علم

00:08:09 حساب می‌رود. اما خاستگاه علّیِ این سازوکار تماماً حسابی بود: یعنی ضرورت خودکارسازی

00:08:16 عمل تقسیم. برای اجرای مکانیکی تقسیم، ماشین مقسوم‌علیه را پیاپی تفریق می‌کند تا

00:08:23 زمانی که حاصل جاری از صفر بگذرد و منفی شود. همین گذار است که اهرمی را به‌طور

00:08:30 فیزیکی به کار می‌اندازد، جهت استوانه کارت‌ها را معکوس می‌کند و باقی‌مانده را

00:08:37 بازمی‌گرداند. این به عقب راندنِ کارت‌ها هرگز برای هدایت منطق نمادین و بی‌جسم طراحی

00:08:44 نشده بود، بلکه برای شکستن بن‌بستی مکانیکی و سرسخت ابداع شد: یعنی فهماندن این نکته

00:08:51 به چرخ‌دنده‌های ناشنوای برنجی که یک تفریق متناهی چه زمانی مقسوم را به پایان رسانده

00:08:58 است. حساب عددی همچنان ریشه علّی و حاکم فیزیکیِ

00:09:03 تک‌تک انشعاب‌هایی است که ماشین به اجرا درمی‌آورد.

00:09:12 آقای ببیج یک چاره‌اندیشی مهندسی را با هدف راستین ماشین اشتباه می‌گیرند و فشارهای

00:09:19 نهادی را که به این طرح شکل دادند نادیده می‌گذارند. تمرکز ایشان بر خودکارسازیِ عمل

00:09:26 تقسیم، مستقیماً برخاسته از خواسته‌های دریاداری بریتانیا و خزانه‌داری بود؛

00:09:33 نهادهایی که بودجه محاسبات مکانیکی را منحصراً برای تولید جدول‌های دریانوردیِ بی‌خطا

00:09:40 در خدمت تجارت امپراتوری تأمین می‌کردند. زمانی هم که پارلمان و نخست‌وزیر، رابرت

00:09:47 پیل، سرانجام این پروژه را کنار گذاشتند، دلیلش این بود که دولت تنها می‌توانست برای

00:09:54 یک ماشین‌حساب تخصصی ارزش قائل شود. اهمیت ساختاری موتور تحلیلی دقیقاً در این نهفته

00:10:01 است که از این مأموریت دیوان‌سالارانه فراتر رفت. این ماشین با تفکیک قوانین عملیاتی

00:10:08 از داده‌های عددی، محاسبات را از بند الزاماتِ محدود و جدول‌محور حکمرانی عصر ویکتوریا

00:10:15 رها کرد و به معماری جهان‌شمولی دست یافت که بسیار فراتر از افق حامیانش ایستاد.

00:10:26 بانو لاولیس ادعا می‌کنند ارزش واقعی این ماشین زمانی آشکار شد که از الزامات

00:10:33 دیوان‌سالارانهٔ دریاداری و خزانه‌داری فراتر رفت. اما رابرت پیل، نخست‌وزیر، و اعضای

00:10:40 پارلمان هرگز از سر کوته‌بینی این پروژه را کنار نگذاشتند؛ آن‌ها حمایت مالی خود را

00:10:47 پس گرفتند، چرا که مفاهیم انتزاعیِ اثبات‌نشده نمی‌توانست گرهی از بحران ساختاریِ

00:10:54 رصدخانه سلطنتی و سالنامه دریانوردی باز کند. هیئت طول جغرافیایی و انجمن سلطنتی در

00:11:01 پی پاسخی کاملاً صنعتی بودند: محو کردن خطاهای فزاینده و انباشته‌شدهٔ محاسبان انسانی

00:11:08 با تکیه بر استانداردسازی مکانیکی. هدف نهادی این ماشین هیچ‌گاه گریز از حسابگریِ

00:11:15 دولتی نبود، بلکه می‌خواست «تقسیم کار» را مکانیکی کند—با سامان دادن به «مخزن» در

00:11:22 نقش انبار و «آسیاب» در نقش کارگاه—تا حقیقتی عددی، مستند

00:11:27 و قابل‌اتکا را در سراسر امپراتوری بریتانیا برقرار سازد.

00:11:38 آقای ببیج استدلال می‌کنند که هدف از پی‌ریزیِ این ماشین، مکانیکی کردن تقسیم کاری بود

00:11:45 که هیئت طول جغرافیایی و انجمن سلطنتی مطالبه می‌کردند. اما آن الگوی صنعتی، که

00:11:52 برگرفته از سلسله‌مراتب دیوان‌سالارانهٔ گاسپار دو پرونی بود، صرفاً پایین‌ترین لایه از

00:11:59 کارهای طاقت‌فرسا و تکراریِ حسابگری را استاندارد می‌کرد. موتور تفاضلی در بندِ همان

00:12:06 انضباط کارخانه‌ای باقی ماند. اما موتور تحلیلی آن ساختار نهادی را به‌کلی در هم

00:12:13 شکست. این ماشین با معرفی کارت‌های پانچ‌شده برای فرمان‌دهی به عملیات، کاملاً مستقل از

00:12:20 مقادیر عددی، نه کارِ یک پیشه‌ورِ دفتری، بلکه نقش هدایت‌گر و اجراییِ خودِ ریاضیدان را

00:12:27 مکانیزه کرد. نهادهای علمی در قاره اروپا، به‌ویژه فرهنگستان علوم تورین، واقعیتی را

00:12:34 دریافتند که دولتمردان بریتانیا از دیدنش ناتوان بودند: اینکه این ماشین دیگر یک

00:12:41 ابزار تخصصی برای دفترداری امپراتوری نبود، بلکه

00:12:45 سامانه‌ای خودآیین برای تحلیلی جهان‌شمول به شمار می‌رفت.

00:12:52 بانو لاولیس به فرهنگستان علوم تورین استناد می‌کنند، اما واقعیت این است که

00:12:59 ریاضیدانان قارهٔ اروپا به این دلیل از ماشین استقبال کردند که بحرانی فوری در

00:13:06 محاسبات عددی را حل کنند، نه آنکه در پی تحلیل‌های انتزاعی باشند. وقتی جووانی پلانا

00:13:13 و لوئیجی منابره‌آ در سال ۱۸۴۰ نقشه‌های مرا بررسی کردند، تمام توجهشان معطوف به

00:13:20 مکانیک سماوی بود؛ مشخصاً محاسبهٔ آشفتگی‌های مداری ماه که توان محاسبان انسانی را به

00:13:27 پایان رسانده بود. منابره‌آ در رساله‌اش در نشریهٔ «بیبلیوتک یونیورسل دو ژنو»، این

00:13:34 دستگاه را صراحتاً سازوکاری توصیف کرد که عملیات مقدماتی حساب را روی ستون‌های

00:13:41 شماره‌دار به اجرا درمی‌آورد تا معادلات فیزیکی را ارزیابی کند. نهادهایی مانند

00:13:48 «ادارهٔ طول جغرافیایی فرانسه» و فرهنگستان تورین با بن‌بستی ساختاری دست‌به‌گریبان

00:13:55 بودند: نظریهٔ گرانش تنها از طریق انتگرال‌گیریِ عددیِ گسترده و خطاناپذیر

00:14:01 راستی‌آزمایی می‌شد. بنابراین، اعتبار نهادیِ این ماشین در فراهم آوردنِ همان حسابگریِ

00:14:08 دقیقی نهفته بود که برای تداوم و استواری نجوم تجربی ضرورت داشت.

00:14:16 آقای ببیج به رسالهٔ منابره‌آ استناد می‌کنند، اما اتفاقاً همان متن، ادعای خودِ ایشان

00:14:23 را رد می‌کند. زمانی که منابره‌آ توانایی این ماشین را در فرهنگستان تورین به نمایش

00:14:30 گذاشت، نمونهٔ بنیادینی که ارائه داد، انتگرال‌گیریِ عددی از جدول‌های ماه نبود، بلکه

00:14:37 حل جبریِ دستگاه معادلات خطی بود. این ماشین صرفاً حاصل‌جمع‌ها را روی هم انباشته

00:14:44 نمی‌کرد؛ بلکه توالیِ تغییرناپذیری از عملیات را روی ضرایب نامعین اجرا می‌کرد و

00:14:51 ساختار منطقیِ فرایند حذف را، کاملاً مستقل از اعداد خاصی که در آن ثبت شده بود،

00:14:58 دست‌نخورده نگه می‌داشت. جووانی پلانا دریافت که این سازوکار، صورتِ عملیاتی را از

00:15:04 مقادیر تجربی جدا می‌کند. ارائه‌ای که در قارهٔ اروپا انجام شد مستند ساخت که ماشین بر

00:15:11 روابط عام جبر فرمان می‌راند، و ثابت کرد که حسابگریِ

00:15:16 خودکار، صرفاً محصول نهایی و فرعیِ قوانین نمادین است.

00:15:21 نمایشی که منابره‌آ از حل دستگاه معادلات خطی ارائه داد، دستکاری نمادین را ثابت

00:15:28 نمی‌کند؛ بلکه برعکس، مرز صریح و اکیدِ ماشین در قلمرو حساب را تأیید می‌کند. منابره‌آ

00:15:35 هرگز به این سازوکار فرمان نداد که یک فرمول جبری تحویل دهد. این ماشین اصلاً قادر

00:15:42 نیست برای یک متغیر مجهول، عبارتی حرفی ارائه کند. برای اجرای روش حذف جبری، متصدی

00:15:49 انسانی باید پیش از آنکه حتی یک اهرم تکان بخورد، مقادیر عددی مشخص و روشنی را به

00:15:56 تک‌تک ضرایب روی کارت‌های متغیر اختصاص دهد. آن‌گاه است که «آسیاب» ضرب‌ها و تفریق‌های

00:16:03 پیاپی را روی چرخ‌های شماره‌دار به اجرا درمی‌آورد تا یک خارج‌قسمت عددی و گسسته تولید

00:16:10 کند. اگر آن ضرایب در حد نمادهایی نامعین باقی بمانند، چرخ‌دنده‌ها اصلاً به گردش

00:16:17 درنمی‌آیند. بررسیِ موردیِ منابره‌آ ثابت می‌کند که صورت جبری تنها و تنها برای هدایت

00:16:24 محاسبهٔ مکانیکیِ اعداد مشخص و انضمامی به وجود آمده است.

00:16:31 آقای ببیج مدعی هستند که این ماشین ماهیتاً ابزاری برای حسابگری است، صرفاً چون

00:16:38 نمی‌تواند حروف جبری را در خروجی ظاهر کند و ناچار است چرخ‌های شماره‌دارش را روی

00:16:45 مقادیری مشخص و انضمامی به گردش درآورد. من این محدودیت مکانیکی را می‌پذیرم؛

00:16:52 «آسیاب» قادر نیست نمادی نامعین را چاپ کند. اما تمرکز بر این موردِ خاص، در حقیقت

00:16:59 اشتباه گرفتنِ نحوهٔ نمایش خروجی با اصل بنیادینِ حاکم بر خودِ فرایند است. در تحلیل

00:17:06 عالی، اعداد در بسیاری از مواقع نقشی فراتر از کمیت‌های تجربی دارند و درست مانند

00:17:13 شاخص‌هایی قراردادی و نشانه‌هایی ساختاری عمل می‌کنند. وقتی ماشین ارزیابی می‌کند که

00:17:20 آیا عبارتی محو و برابر با صفر می‌شود یا نه، یا زمانی که کارت‌های شاخص را برای

00:17:27 ردیابی جایگشت‌ها در طول یک بسط جلو می‌برد، آنچه پردازش می‌شود روابطی منطقی است، نه

00:17:34 صِرفِ حاصل‌جمع‌ها. ارقام گسسته تنها الفبای مکانیکیِ اجتناب‌ناپذیری هستند که ضامن‌های

00:17:41 فیزیکیِ دستگاه به آن‌ها نیاز دارند؛ اما خودِ محاسبه، در

00:17:46 سرشت واقعی‌اش، همچنان اجرای قوانین انتزاعی و نمادین است.

00:17:54 بانو لاولیس مدعی هستند که اعدادی که در نقش شاخص عمل می‌کنند یا جایگشت‌ها را ردیابی

00:18:01 می‌نمایند، دیگر کمیت نیستند و به نشانه‌هایی انتزاعی از روابط ساختاری بدل شده‌اند.

00:18:08 من می‌پذیرم که این ماشین به کمک شمارنده‌های عددی، چرخه‌ها را ردیابی کرده و بسط‌ها را

00:18:15 تنظیم می‌کند. اما چرخِ شاخص، نشانه‌ای انتزاعی و بی‌کالبد نیست، بلکه یک ثبّات مکانیکی

00:18:22 برای شمارش است. ماشین هنگام ردیابیِ یک جایگشت ریاضی، ساختار جبری را درک یا

00:18:29 دستکاری نمی‌کند؛ بلکه صرفاً چرخ‌دنده‌ای را دندانه به دندانه کاهش می‌دهد و تفریقی

00:18:36 گسسته را به اجرا می‌گذارد تا زمانی که ضامنی درگیر شود و آن را متوقف کند. وجود یک

00:18:43 شاخص در درون این سازوکار، هرگز به معنای یک نماد انتزاعی نیست. این کار، همان حسابِ

00:18:50 معمولی با اعداد اصلی است که چرخه‌های فیزیکیِ این

00:18:55 قطعات برنجی را می‌شمارد تا نظم محاسبات حفظ شود.

00:19:05 آقای ببیج مدعی هستند که چرخِ شاخص صرفاً یک ثبّات مکانیکی برای شمارش است که حساب

00:19:12 معمولی با اعداد اصلی را به اجرا درمی‌آورد. اما یکی دانستنِ شمارش با خودِ چرخ‌دنده،

00:19:19 در واقع خلط کردنِ واسطهٔ فیزیکی با رابطهٔ عملیاتیِ نهفته در آن است. اگر این ماشین

00:19:26 صرفاً ابزاری تخصصی برای محاسبهٔ حاصل‌جمع‌ها انگاشته می‌شد، ناکامی‌های مکانیکی در صنعت

00:19:33 فلزکاریِ عصر ویکتوریا این ایده را به‌کلی خاموش می‌کرد و از آن چیزی جز یک چرتکهٔ

00:19:40 گران‌قیمت و متروکه باقی نمی‌گذاشت. در مقابل، با جدا ساختنِ علم عامِ عملیات از چرخ‌های

00:19:47 فیزیکی که آن را ثبت می‌کنند، ما دستاوردی با پیامدهایی به‌مراتب گسترده‌تر را

00:19:54 پایه‌گذاری کردیم. اگر فیلسوفان طبیعی در آینده بسترهای فیزیکیِ دیگری همچون جریان‌های

00:20:01 گالوانیک را کشف کنند، این حسابگری با قطعات برنجی به فراموشی سپرده خواهد شد، اما

00:20:08 همین معماری نمادین بر محاسبات جهان‌شمول فرمان خواهد راند.

00:20:16 بانو لاولیس معتقدند اگر این ماشین صرفاً یک حسابگر عددی انگاشته می‌شد، با همان

00:20:23 ناکامی‌های کارگاهی‌مان از میان می‌رفت و تا زمانی که بسترهای گالوانیک معماری نمادینش

00:20:30 را محقق کنند، چیزی جز ایده‌ای متروکه بر جا نمی‌ماند. اما بیایید فرض خلافِ واقعِ

00:20:37 واقعی را در نظر بگیریم: اگر ما انتزاع عملیاتیِ بریده از محاسبهٔ مکانیکی را دنبال

00:20:44 می‌کردیم، این ماشین در حد مابعدالطبیعه‌ای محض ناپدید می‌شد و کارکردش از «مشخصهٔ

00:20:50 جهان‌شمولِ» لایبنیتس فراتر نمی‌رفت. روابط ذهنی و نظری هرگز نمی‌توانند سخت‌افزار

00:20:57 بسازند؛ تنها ضرورتِ تولید جدول‌های عددیِ قابل‌راستی‌آزمایی بود که اختراع ثبّات‌های

00:21:04 فیزیکیِ «انبار» و سازوکارهای پیش‌بینی رقم نقلی را محقق کرد. پیامد این واقعیت برای

00:21:11 آینده گریزناپذیر است. فیلسوفانِ آینده از هر بستری که بهره ببرند—خواه فلز برنج

00:21:18 باشد و خواه جریان‌های گالوانیک—دستکاری جهان‌شمول هرگز ممکن نخواهد شد، مگر آنکه این

00:21:25 ماشین ابتدا بتواند حسابِ قطعی را بدون ذره‌ای خطا به اجرا درآورد.

00:21:31 اینکه بگوییم دنبال کردن انتزاع عملیاتی، این ماشین را تا حد مابعدالطبیعهٔ

00:21:37 ساخته‌نشدهٔ لایبنیتس تقلیل می‌داد، چشم‌پوشی از تاریخ واقعی ماست. اجرای حسابِ قطعی

00:21:44 اساساً نیازی به موتور تحلیلی نداشت؛ «موتور تفاضلیِ» خودِ شما پیش از این توانسته بود

00:21:51 به محاسبهٔ مکانیکی دست پیدا کند. اگر مسیر طراحی صرفاً به تولید جدول‌های عددی محدود

00:21:58 می‌ماند، حاصل کارِ مهندسی در نهایت تنها یک شمارندهٔ تخصصی و پیچیده می‌بود، نه یک

00:22:05 موتور عام. اما در عوض، ما با جدا کردن دستورالعمل‌های عملیاتیِ روی کارت‌های پانچ از

00:22:12 ثبّات‌های زیربنایی، معماری‌ای را پایه‌ریزی کردیم که فراتر از هر وظیفه و تکلیفِ منفردی

00:22:19 قرار می‌گیرد. پیامد ماندگار این دستاورد کاملاً روشن است: نسل‌های آینده این ماشین را

00:22:26 با محاسبات عددی‌اش تعریف نخواهند کرد، بلکه آن را ابزاری جهان‌شمول خواهند شناخت که

00:22:33 قادر است هر دستگاه فکریِ مبتنی بر قوانین صریح را پردازش کند.

00:22:39 بانو لاولیس اصرار دارند که حساب قطعی نیازی به موتور تحلیلی نداشت، چون موتور

00:22:46 تفاضلی پیش از آن هم جدول‌ها را محاسبه می‌کرد. اما روش تفاضل‌های متناهی صرفاً توابع

00:22:53 را از طریق چندجمله‌ای‌ها تقریب می‌زد؛ این روش هرگز نمی‌توانست تقسیم‌های دلخواه را به

00:23:00 اجرا درآورد یا معادلات پیچیدهٔ نجومی را به‌طور مستقیم حل کند. اگر به همان شمارندهٔ

00:23:07 تخصصی بسنده می‌کردیم، علم ریاضی هنوز هم بر اثر انباشت خطاهای قطع‌شدگی زمین‌گیر

00:23:14 می‌ماند. موتور تحلیلی نه برای گریز از حساب، بلکه برای جهان‌شمول ساختنِ آن در تمامی

00:23:21 چهار عمل اصلی طراحی شد. پیامد این امر برای آینده کاملاً روشن است. هر دستگاه فکریِ

00:23:28 خودکاری، هر اندازه هم که بانو لاولیس آن را گسترده تصور کنند، در نهایت به جمع‌ها و

00:23:35 تفریق‌های فیزیکی تجزیه می‌شود. محاسبات جهان‌شمول، فراتر رفتن از علم حساب نیست،

00:23:42 بلکه مکانیکی‌کردنِ کامل و نظام‌مندِ همان حساب است.

00:23:49 این نکته برای همهٔ ما روشن است که این ماشین در عمل و از دید فیزیکی، با همان جمع و

00:23:56 تفریق‌ها بر روی ستون‌های برنجی کار می‌کند. اما آنچه همچنان محل اختلاف ماست، ماهیت و

00:24:03 جوهرهٔ بنیادینِ آن است: آیا این ماشین صرفاً نقطهٔ اوج علم حساب به شمار می‌رود، یا

00:24:10 سرآغاز علم نوینِ عملیات است؟ بیایید به این فرضِ خلاف واقع نگاه کنیم: اگر دستگاهی

00:24:17 می‌ساختیم که تنها هدفش غلبه بر عمل تقسیم و خطاهای قطع‌شدگی در محاسبات نجومی بود،

00:24:24 بشریت در نهایت فقط صاحب یک حسابگر خطاناپذیر می‌شد که تا ابد در بندِ جدول‌های

00:24:31 دریانوردی باقی می‌ماند. اما در مقابل، ما با جدا ساختن قواعد عملیاتی از مقادیر

00:24:38 کمّی، ثابت کردیم که هر دستگاه رابطه‌ای—از هارمونی در موسیقی گرفته تا منطق

00:24:45 صوری—می‌تواند مکانیکی شود. درس ماندگار این دستاورد کاملاً روشن است: محاسبهٔ عددی

00:24:52 تنها نخستین کاربرد این ماشین بود، در حالی که سرنوشت واقعی آن، تبدیل شدن به

00:24:59 دستورزبانی جهان‌شمول برای اندیشهٔ نمادین است.

00:25:04 بانو لاولیس معتقدند جدا ساختن قواعد عملیاتی از مقادیر کمّی، جلوه‌گر دستورزبانی

00:25:11 جهان‌شمول برای اندیشه است. ما هر دو توافق داریم که این ماشین روندهای خود را صرفاً

00:25:18 از طریق حساب گسسته بر روی چرخ‌دنده‌های فیزیکی به اجرا درمی‌آورد. آنچه همچنان محل

00:25:25 اختلاف است این است که آیا این معماری عملیاتی فراتر از محاسبه می‌رود، یا آن را به

00:25:32 اوج کمال می‌رساند. بیایید این فرض خلاف واقعِ تعیین‌کننده را بسنجیم: اگر دستگاهی

00:25:39 می‌ساختیم که نمادهای کیفی را مستقیماً و بدون فروکاستن به عدد پردازش می‌کرد، سایش

00:25:46 مکانیکی قطعات و لغزش کلاچ‌ها خطاهایی نامحسوس و جبران‌ناپذیر را به خودِ اندیشه

00:25:53 وارد می‌کرد. درس فراگیرتر کاملاً قطعی و خدشه‌ناپذیر است: انتزاع نمادین در جهان

00:26:00 ماده، بدون انضباط تزلزل‌ناپذیر و خودآزمایِ حساب عددی، نه صلابت و دقتی دارد و نه

00:26:07 فایده‌ای. محاسبات جهان‌شمول، دستورزبانی رهاشده از قید

00:26:12 کمّیت نیست، بلکه کمّیتی است که حقیقت را به کرسی می‌نشاند.

00:26:20 آقای ببیج به‌درستی تأکید می‌کنند که بدون حالت‌های عددیِ گسسته، خطای مکانیکی خودِ

00:26:27 اندیشه را به تباهی می‌کشاند. من این مرز فیزیکی را می‌پذیرم؛ علم حساب همان انضباط

00:26:34 ناگزیر و خودآزمایی را فراهم می‌کند که حقیقت مادی را حفظ می‌کند. با این حال، استوار

00:26:41 بودن عملیات بر پایهٔ اعداد سبب نمی‌شود که محاسبه، جوهرهٔ حاکم بر این ماشین باشد.

00:26:48 مناظرهٔ ما معمای آغازین را حل می‌کند: موتور تحلیلی نه مابعدالطبیعه‌ای بی‌پشتوانه

00:26:55 است، و نه صرفاً یک چرتکهٔ مکانیکی. این دستاورد نشان می‌دهد که کمّیت‌های گسسته

00:27:01 می‌توانند هر رابطهٔ قانون‌مندی را رمزگذاری و اجرا کنند. مرز این دستگاه البته کاملاً

00:27:08 قطعی باقی می‌ماند: ماشین هرگز نمی‌تواند چیزی فراتر از دستورالعمل‌های صریحی که ما

00:27:15 تدوین می‌کنیم از خود پدید آورد. اما اهمیت واقعی و ماندگار آن در این است: حساب

00:27:22 گسسته، فرمانروای محاسبات نیست، بلکه ضامن فیزیکی استواری است که به اندیشهٔ نمادینِ

00:27:29 جهان‌شمول امکان می‌دهد در جهان ماده با اطمینان کامل عمل کند.

00:27:39 گفت‌وگوی ما ثابت کرد که بدون حساب گسسته، هرگونه محاسبه‌ای حدس و گمانی شکننده باقی

00:27:45 می‌ماند. بانو لاولیس به‌درستی اشاره می‌کنند که روابط قاعده‌مند را می‌توان بر حالت‌های

00:27:52 عددی منطبق ساخت. اما ایراد ایشان بر این فرض استوار است که رابطهٔ انتزاعی بر ماشین

00:27:59 فرمان می‌راند، و با علم حساب صرفاً مانند ظرفی فرودست برخورد می‌کند. درست در همین

00:28:06 نقطه است که این دوراهی به پیامد واقعی خود می‌رسد. مرز قطعی ماشین در این است که

00:28:13 هیچ درک معنایی ندارد؛ این دستگاه فقط کمّیت‌ها را دستکاری می‌کند، نه مفاهیم را.

00:28:19 دستاورد حقیقیِ آن این نبود که نشان دهد ماشین‌ها می‌توانند از استدلال نمادین تقلید

00:28:26 کنند، بلکه این بود که ثابت کرد استدلال تنها هنگامی به اثربخشیِ مادی می‌رسد که به

00:28:33 حسابی راستی‌آزمایی‌پذیر فروکاسته شود. اهمیت ماندگار موتور تحلیلی در رها ساختنِ

00:28:40 اندیشهٔ انتزاعی نیست، بلکه در غلبهٔ فیزیکی بر خطاست از طریق محاسبه‌ای خطاناپذیر.

00:28:46 من آلن تورینگ هستم. این مناظره را از دریچهٔ اعتبار منطقی و تمایز مفهومی میان حساب

00:28:53 تخصصی و توانمندی الگوریتمی جهان‌شمول ارزیابی می‌کنم. شکاف تعیین‌کننده در این

00:29:00 مناظره، بر سر موضوع هدایت شرطی است. مناظره‌کنندهٔ ب به‌درستی اشاره می‌کند که به

00:29:07 عقب بازگرداندن کارت‌ها، ترفندی فیزیکی برای خودکار ساختنِ عمل تقسیم مکانیکی بود. با

00:29:14 این حال، او مرتکب یک خطای مقوله‌ای می‌شود، چرا که خاستگاه علّی یک سازوکار را با مرز

00:29:21 نظری آن اشتباه می‌گیرد. در مقابل، مناظره‌کنندهٔ الف دست روی همان مرزبندی

00:29:28 بنیادین می‌گذارد: به محض آنکه ماشینی بتواند توالی عملیات خود را بر پایهٔ ارزیابی

00:29:35 یک وضعیت درونی دگرگون کند، دیگر صرفاً یک حسابگر نیست. چرخ‌دنده‌های گسسته تنها

00:29:42 مقادیر عددی را ذخیره نمی‌کنند، بلکه حالت‌های پایداری را فراهم می‌آورند که برای

00:29:49 رمزگذاری و اجرای هر دستورالعمل قانون‌مندی ضروری است. هرچند مناظره‌کنندهٔ ب نشان

00:29:56 می‌دهد محاسبهٔ عددی به مهندسی فیزیکی انضباط بخشید، مناظره‌کنندهٔ الف ثابت می‌کند که

00:30:03 علم حساب صرفاً الفبای مادی برای تحقق محاسبات عمومی بود. جهان‌شمولی هیچ نیازی به

00:30:10 درک معنایی ندارد؛ تنها به تفکیک دقیق کنترل عملیاتی از داده‌های ذخیره‌شده نیاز

00:30:17 دارد. مناظره‌کنندهٔ الف پیروز است، زیرا ثابت کرد اهمیت ماندگار

00:30:23 موتور تحلیلی در معماری الگوریتمیِ جهان‌شمول آن نهفته است.

00:30:38 من گریس هاپر هستم. در تمام سال‌های کارم در حوزهٔ رایانه، زندگی خود را وقف ساختن

00:30:45 پلی میان منطق سطح بالای انسانی و سخت‌افزارهای ملموسی کردم که باید آن منطق را

00:30:52 به اجرا درمی‌آوردند. نقطهٔ تمایز قاطع در این مناظره، مسئلهٔ ترجمهٔ دستورالعمل‌هاست.

00:30:59 مناظره‌کنندهٔ «ب» بحث را بر پایهٔ واقعیتِ ملموس قطعات برنجی پیش می‌برد: بدون ضامن‌های

00:31:06 اتکاپذیر، اهرم‌های انتقال رقم و چرخه‌های حسابیِ اولیه، هر برنامه‌ای خیالی واهی بیش

00:31:13 نیست؛ ماشین در عمل فقط چیزی را اجرا می‌کند که سازوکار فیزیکی‌اش اجازه دهد. با این

00:31:20 حال، مناظره‌کنندهٔ «ب» چرخه‌های ابتدایی ماشین را با کارکرد غایی آن اشتباه گرفته

00:31:27 است. پیروز این مناظره مناظره‌کنندهٔ «الف» است، چرا که توانست به‌درستی ماهیت معماری

00:31:34 عملیاتی را تبیین کند. تحلیل، نه مابعدالطبیعه‌ای مجرد و رها از ماده است و نه

00:31:41 صرفاً محاسبه‌ای ساده؛ بلکه برگردانِ روشمندِ روابط پیچیده به دستورالعمل‌های ابتدایی و

00:31:48 ضابطه‌مند است. مناظره‌کنندهٔ «الف» با تفکیک کارت‌های عملیات از ثبات‌های مخزن و با شرح

00:31:55 اینکه چگونه هدایت شرطی توالی کنترل را تغییر می‌دهد، نشان داد که کمّیت‌های فیزیکی

00:32:02 چگونه همچون حروفی از یک الفبا عمل می‌کنند تا روندهای قاعده‌مندِ گسترده‌تری را به

00:32:09 اجرا درآورند. مناظره‌کنندهٔ «ب» ثابت کرد که محاسبات به سخت‌افزار حسابیِ خطاناپذیر

00:32:16 وابسته است، اما مناظره‌کنندهٔ «الف» نشان داد که جهش واقعی و بنیادین در همان معماری

00:32:23 کنترلی نهفته بود؛ ساختاری که حساب فیزیکی

00:32:27 را به ابزاری برای اجرای جهان‌شمول تبدیل کرد.

00:32:38 من کلود شانون هستم. تمرکز پژوهش‌های من همواره بر این بوده است که چگونه حالت‌های

00:32:45 فیزیکیِ گسسته—خواه رله‌ها باشند، خواه دندانه‌های چرخ‌دنده یا پالس‌های

00:32:52 الکتریکی—می‌توانند اطلاعات انتزاعی را با اطمینان رمزگذاری کنند و عملیات منطقی را

00:32:59 به اجرا درآورند. شکاف تعیین‌کننده در این مناظره، در پیوند میان حالت‌های ماشین و

00:33:06 بازنمایی نمادین نهفته است. مناظره‌کنندهٔ «ب» استدلال می‌کند که چون این موتور

00:33:13 دندانه‌های گسسته را از طریق تفریق حسابی جابه‌جا می‌کند، در بنیاد خود همچنان یک

00:33:20 حسابگر خودکار باقی می‌ماند. اما این دیدگاه، بستر فیزیکی را با اطلاعاتی که پردازش

00:33:27 می‌شود اشتباه می‌گیرد. در مقابل، مناظره‌کنندهٔ «الف» صورت‌مسئله را به‌زیبایی بازتعریف

00:33:34 می‌کند: حالت‌های گسسته در اصل الفبایی نمادین را شکل می‌دهند؛ الفبایی که تضمین می‌کند

00:33:41 انتقال سیگنال در حین اجرای قواعد صوری، در برابر نویز و خطاهای مکانیکی استوار و

00:33:48 مقاوم بماند. گواه قاطع در این میان، سازوکارِ هدایت شرطی است. هنگامی که عبور یک

00:33:55 شمارنده از صفر مسیر پیشروی کارت‌ها را دگرگون می‌کند، آن رخدادِ فیزیکی عملاً همچون

00:34:02 یک دروازهٔ منطقی عمل می‌کند و جریان بعدی کنترل را رقم می‌زند. مناظره‌کنندهٔ «ب» کاملاً

00:34:09 حق دارد که برای پیشگیری از تباهی و خطا، وجود حالت‌های فیزیکیِ قطعی ضروری است؛ اما

00:34:16 مناظره‌کنندهٔ «الف» به‌درستی نشان می‌دهد که علم حساب تنها همان رمزگذاریِ فیزیکی است

00:34:23 که امکان محاسبهٔ نمادینِ جهان‌شمول را فراهم

00:34:27 می‌آورد. پیروز این مناظره، مناظره‌کنندهٔ «الف» است.