الحساب الرمزي cs.SC

3 مقالات

مقالات

نُجمّع مرة واحدة، ونُفاضل في كل مكان
تخيّل مترجمًا يجلس في قاعة اجتماعات ويترجم كل كلمة. لكنه يلاحظ أنه يمكنه تحسين ترجمته إذا تعلّم من أخطائه. يبدأ بتسجيل العبارات التي سبّبت سوء الفهم، ويصححها. وبعد ساعة، تصبح ترجمته أدق، ويمر الاجتماع بسرعة أكبر. وهكذا هنا: مُفسِّر لغة Scheme، بمجرد تجميعه، يمكنه تنفيذ أي برنامج يُمرَّر إليه كبيانات، وفي الوقت نفسه حساب التدرجات لتحسين تلك البرامج.
دوارة فروبينوس: أسس نظامية بلا تعداد
بمجرد أن تبدأ الحركة، تدور دوارة فروبينوس: ينتقل كل عنصر من الحقل المحدود إلى خليفته من الدرجة q، وتنزاح الإحداثيات دورياً. هذه العملية — تحليل فورييه — قد وصفها Carl Friedrich Gauss في أبحاثه الحسابية، لكن زمناً طويلاً لم يكن تشغيل الدوارة بدون اختلالات ممكناً إلا بتعداد شامل أو التلاعب بالمصفوفات.
بيئة القوانين الفيزيائية: خريطة للآليات المتعايشة
في شريط مطاطي يُشد في المختبر، تعمل ثلاث آليات مرونة مختلفة في الوقت نفسه. عند الاستطالة الصغيرة يسود قانون هوك، وعند المتوسطة تسود المرونة الإنتروبية للسلاسل، وعند القوية يحدث تصلب بالتبلور. كل آلية توصف بمعادلتها الخاصة، وهي لا تتبادل التأثير بقفزة، بل تنقله بسلاسة. منذ زمن نيوتن، بُني المنهج العلمي على البحث عن معادلة واحدة لظاهرة واحدة.