المباحثات
كتابات أطول واسترسالات غير مرسلة
سيوف رياضية ومنطقية مُسلَّطَة على رقبة أرسطو
قلَّ في تاريخ العلم كتابٌ اجتمع له أن يكون أعظمَ ما كُتب في بابه منذ أرسطو، وأن يموت مؤلفه وهو يحسب نفسه فاشلًا، وأن يكون سطرُ نهايته مكتوبًا في مقدمته بيد صاحبه.
مقولة أردان دو بيك
قد يستوعب قارئ ما، من مقولة أردان دو بيك هذه، في سياق من الاستيعاب العلمي أو الاجتماعي المحصور، أو غيره، مما يتأثر به مزاجه أو يسيطر على انشغالاته…
لا يفتح طالب المنطق اليوم كتابًا، ولا يشغّل مساعدَ برهنة آليًّا Automated Theorem Provers، ولا يحضر محاضرةً في الاستدلال، إلا ويَدِين لما وضعه هذا الشابّ، واسمُه قليل الشهرة خارج الدوائر الرياضية العالية.
غيرارد غنتزن Gerhard Gentzen أعظم المناطقة الرياضيين في القرن العشرين، إلى حدِّ أنَّ كورت غودل نفسَه عدَّه منطقيًّا أفضلَ منه. كما أن جزءًا كبيرًا مما نصفه بالمنطق الرياضي اليوم يُحاكَم إلى مجموعة ضوابط وشروط، فإنْ…
استطراد في شيء من دلائل الإعجاز
مما رواه عبد القاهر الجرجاني في الدلائل –«فصل إنّ ومواقعها»¹– أنْ راح الكِنديُّ إلى أبي العبّاس المبرّد يزعم أنّه وجد في كلام العرب حشوًا، وحجته مبناها: [يقولون «عبدُ الله قائمٌ»، ثم «إنّ عبدَ الله قائمٌ»، ثم «إنّ عبدَ…
كشف التجنّيات والأغاليط على ابن تيمية ونقضُها
في «الردّ على المنطقيّين» يقرر ابن تيمية أن قياس التمثيل وقياس الشمول سواء: حيث أفاد أحدهما اليقين أفاد الآخر اليقين، وحيث لا يفيد أحدهما إلا الظن لا يفيد الآخر إلا الظن.
هل يتوقف الإنترنت لو انقطعت كوابله؟
هل يتوقف الإنترت عن العمل لو انقطعت كوابله في أعماق محيطات الأرض؟ للإجابة على السؤال نبدأ بأن عددا لا بأس به -أصلا- من كوابل الإنترنت مقطوعة فعلا الآن…
أربعةُ أسطرٍ نظَّمت الإنترنت
تصوّر الإنترنت عام 1998. لا تلك التجربة المصقولة المُنمّقة التي تعرفها اليوم، والتي تسوقك فيها الخوارزميات سَوقَ الإبل إلى مواردها — بل بَرِّيّةٌ. متاهةٌ…
من 57 مليون سنة إلى 25 ميللي ثانية: خوازمية MinHash
هل هذه الصفحة مسروقة من أحد هذه الكتب؟ كيف وفَّرت الحوسبة أدوات سرَّعت المقارنة أسرع ب72 تريليون مرة
المثقفون الباريسيون والحرب الأهلية الإسبانية (1936 — 1939)
الهوة السحيقة بين السياسة في المقاهي الباريسية وخنادق إسبانيا — واحد من أعمق الانقطاعات في التاريخ الفكري الحديث
أريد أنْ أٌمسِكَ القَدَرَ من حَلْقِه
استقراء السياق الفلسفي والطابَع التاريخي لقولة بيتهوفن في رسالته إلى فيجلر عام 1801
أنا شيوعي ولكني مع حزب الله
نقد لزياد الرحباني — يساري استعراضي بامتياز حوَّل اليسارية إلى أداء مسرحي كسول
السبرانيات ونظرية المعلومات
المعلومات هي المعلومات، ليست مادةً ولا طاقةً — كيف أنشأت أربعينيات القرن العشرين مسارات جديدة
معارك مياموتو موساتشي حامية الوطيس مع مدرسة يوشيوكا
محارب من عوالم الخيال — كيف هزم فحل فحول الساموراي أعرق مدارس السيف في كيوتو
مبرهنة تارسكي لانعدام التحديد
لا يمكن لأي نظام صوري قوي كفايةً أن يعرِّف الحقيقة لجُمُله الذاتية — تحليل معمَّق لمبرهنة تارسكي وامتداداتها
عبقرية شوبنهاور في السبق المنطقي
كيف سبق شوبنهاور في القرن التاسع عشر التوجهات البحثية الحالية في طبيعانية الاستنباط المنطقي
مفارقة الكاذب
هذه الجملة خاطئة — واحدة من أعتى مشكلات المنطق الفلسفي وامتداداتها في الحوسبة والرياضيات
نقد تدعيم سعيد فودة
جل كلام فودة إنشائي استرسالي — نقد لمحاولته الرد على ابن تيمية في المنطق
كي لا يشيع اللغط: سلسلة موجهة إلى الدوغمائيين من أنصار المنطق الأرسطي المغالين الذين في جملتهم الأشاعرة (3) حاشية A: من حدود المنطق الأرسطي التي لا يستطيع مجاوزتها
إنَّ في النظام المنطقي الأرسطي مكامنَ ضعف تؤدي إلى استنتاجات مُشكِلَة وفقدان للاتساقية حينما تتطبق على وقائع العالم الفعلي؛ وواحدة من هذه المشكلات تطوف حول مفهوم "الحقائق الضرورية" والتي تمثِّل جملا تُعتَبَر صحيحة من…
كي لا يشيع اللغط: سلسلة موجهة إلى الدوغمائيين من أنصار المنطق الأرسطي المغالِين الذين في جملتهم الأشاعرة (2)
ابن تيمية مواجها الأرسطية قد سبق بقرون طويلة من الزمان لمحات عميقة من المنطق الرياضي! قلتُ في توطئة السلسلة أن المنطق الأرسطي ليس منطقا –بضوابط المنطق الحديث– أي أن منطق غنتزن لا ينسحب عليه، ولكن ماذا يعني ذلك؟ لأوضح…
كي لا يشيع اللغط: سلسلة موجهة إلى الدوغمائيين من أنصار المنطق الأرسطي المغالِين الذين في جملتهم الأشاعرة
توطئة هل يمكن أن نسمي المنطق الأرسطي —بضوابط المنطق الحديث— منطقًا؟ مما اتفق عليه مناطقة العصر الحديث أن جوهر المنطق يتمثل في دراسة علاقات الاستنباط Deducability relations وأن هذه العلاقات تظهر ثلاثة خصائص بنيوية…
أطروحة تورنغ-تشيرش
الفرضية التي لا يمكن إقامة الدليل عليها وفي ذات الآن لم تُدحَض — مؤدياتها الفلسفية والعملية في علم التحسيب النظري
هاسكل والصرامة الرياضياتية
لغة البرمجة التي تحبها الرياضيات — لماذا تُعدّ هاسكل الأكثر صرامة بين لغات البرمجة وما علاقتها بحساب لامدا ونظرية الفئة
كيف سقط بلوكتشين التيرا من قيمة سوقية ب60 مليار دولار إلى الصفر في غضون أسبوع؟
نظرية مؤامرة وحيدة قادرة على تفسير الكارثة — بلاك روك وسيتادل وضرب العملة المستقرة UST
شحذ الهجوم على ديفيد هيوم، هل المعجزات ممكنة حقا؟
الرياضيات الباييزية تقف سدا منيعا في وجه نقودات هيوم على المعجزات — جرد باييزي رياضي
الجامعات لا تفرق عن الشركات الاستثمارية
عن بؤس تدريس علم الحاسوب في الجامعات — واعتراض دايكسترا الشهير على استبدال Haskell بِ Java
دردشة وددت أن أقولها قبل تسجيل الخروج
60956 سطرا برمجيا في ست لغات — عن البرمجة والأحلام والاستفحال في غير محله
بدأ صاحب الفيديو مقطعَه تحت قناة معنونة فلسفة
نقد لفيديو يدعي إثبات وهم الإرادة الحرة — خلط بين الفيزياء الكمومية وصناعة القرار وعلم الأعصاب