The Analytical Engine
صمم Charles Babbage محرك التحليل في الثلاثينيات من القرن التاسع عشر — حاسوب ميكانيكي بذاكرة ('المخزن')، وحدة معالجة ('الطاحونة')، إدخال عبر البطاقات المثقوبة، والتفريع الشرطي. لم يُبنَ قط بسبب التكاليف والقيود التصنيعية، لكن التصميم كان منطقياً كاملاً. ملاحظات لوفليس هي أوضح شرح لدينا لكيفية عمله.
خوارزمية عدد برنولي
تحتوي الملاحظة G على جدول العمليات — أساساً خوارزمية بالمصطلحات الحديثة — لحساب أعداد برنولي باستخدام محرك التحليل. تتضمن حلقات وعمليات شرطية وإدارة متغيرات متعددة في وقت واحد. إنها أكثر تعقيداً من أي شيء وثقه باباج، والمؤرخون عموماً ينسبون تصميمها بشكل أساسي إلى لوفليس وليس باباج.
الرؤية تجاوز الحساب
والأهم من ذلك أنّ لوفليس أدركت أن المحرك لم يكن مجرد آلة حاسبة بل معالج رموز — يمكنه العمل على أي كائنات يمكن تمثيلها رمزياً وليس الأرقام فقط. كتبت: 'قد يكون المحرك قادراً على تأليف قطع موسيقية معقدة وعلمية بأي درجة من التعقيد أو الامتداد.' هذه الرؤية — أن الحوسبة ليست متعلقة بطبيعتها بالحسابات — تسبق نظرية حسابية Church-Turing بمائة سنة.
الجدل حول دورها
جادل بعض المؤرخين بأن مساهمات لوفليس كانت تحريرية بشكل أساسي — أن الأفكار الرئيسية جاءت من باباج. تُظهر المراسلات بينهما تعاوناً واسعاً، مع تنقيحات واقتراحات من باباج. لكن خوارزمية برنولي في الملاحظة G والرؤى الفلسفية حول طبيعة الحوسبة تبدو أنها مساهمة لوفليس بشكل أساسي.
Frequently Asked Questions
ماذا برمجت آدا لوفليس فعلاً؟
كتبت لوفليس خوارزمية في الملاحظة G (1843) لحساب أعداد برنولي باستخدام محرك باباج التحليلي — وتُعتبر أول برنامج حاسوبي. تتضمن الخوارزمية حلقات وعمليات شرطية. كما صاغت المبدأ القائل بأن الحواسيب يمكنها التعامل مع أي تمثيل رمزي وليس الأرقام فقط — متنبأة بنظرية الحوسبة الحديثة.
هل كانت آدا لوفليس فعلاً أول مبرمجة؟
الادعاء مثار جدل. تحتوي ملاحظة لوفليس G (1843) على أول خوارزمية موثقة مقصودة للتنفيذ بواسطة آلة. يجادل بعض المؤرخين بأن باباج ساهم بشكل كبير في الخوارزمية وأن دور لوفليس تم المبالغة فيه من خلال الروايات الحديثة الشهيرة. لكن الرؤية الفلسفية للحوسبة تجاوز الحسابات يبدو أنها رؤية لوفليس الأصلية حقاً.
ما هو عدد برنولي؟
أعداد برنولي هي متسلسلة من الأعداد النسبية لها ارتباطات عميقة بنظرية الأعداد، وتظهر في صيغ مجاميع قوى الأعداد الصحيحة، دالة ريمان زيتا، وسلاسل تايلور للدوال المثلثية. الأولى منها B0=1, B1=-1/2, B2=1/6, B4=-1/30. كانت خوارزمية لوفليس لحسابها أول خوارزمية مصممة للتنفيذ الآلي.
اقرأ المقال الكامل على Geniuses.Club