المنطق math.LO

2 مقالات

مقالات

الجسر الذي لا يصمد إلا للمتناهي
في عالم المنطق، ثمّة جسر. إنه يمتد فوق هوة تفصل بين مقبولية القاعدة وقابليتها للاشتقاق من المسلمات. ما دامت القواعد تكتفي بعدد منتهٍ من المقدمات، يظل الجسر متينًا — ففي المنطق الكلاسيكي، كل ما لا يُخِلّ بالصحة واردٌ أصلًا في التركيب اللغوي. لكن حالما تضيف مقدمات لانهائية، تبدأ الدعائم بالاهتزاز. الجسر، مع الأسف، ليس كلي القدرة.
غربال اللامتناهي: كيف تتشابك فضاءات Q مع الكاردينالات القابلة للقياس
في الرياضيات، هناك غربال لا ينخل الغبار، بل اللامتناهي نفسه. يُدعى فضاء Q: أي مجموعة هنا تتحول إلى مجموعة Gδ — تقاطع معدود لمجموعات مفتوحة، وكأنها غُرْبِلت عبر شبكة لا تُرى دقتها.