كون كانتور اللانهائي من المفارقة إلى نظرية المجموعات

الملخص

يستكشف هذا البحث تاريخ نظرية المجموعات وفلسفاتها، ويركز بشكل خاص على الأعمال المبكرة لجورج كانتور. وقد مثّلت نظرية المجموعات، التي نتج عنها تغيير فكري ثوري في القرن التاسع عشر، منهجًا دقيقًا لدراسة المجموعات اللانهائية، واستمرارية، وبنية الكائنات الرياضية. وقد رسّخ طرح كانتور للأعداد فوق النهائية، والعدد الأساسي، والحجة القطرية، حقيقة وجود اللانهاية المعدودة وغير المعدودة، وذلك في سياق تعديله لمفهوم اللانهاية الرياضية. ويحدد تحليل العمل الجمع بين الرياضيات كنظام تطبيقي، والبحث الفلسفي، ومرآة عاكسة للإدراك البشري. سيتتبع هذا العمل تاريخ التجريد الرياضي في صورة مفاهيم شرطية، مقارنةً بالأنظمة الشكلية القائمة على البديهيات، بما في ذلك نظرية مجموعات زيرميلو-فرانكل (ZF)  وزرميلو-فرانكل مع بديهية الاختيار (ZFC)، من خلال دراسة أعمال كانتور وعلاقتها بدراسة نظرية الأعداد، ومتسلسلات فورييه، ونمذجة المجموعات اللانهائية. كما يتناول مفارقات التاريخ، مثل مفارقة غاليليو ومفارقة راسل، حيث تغلبت نظرية المجموعات على ثبات التناقض التاريخي، وأرست أساسًا مناسبًا للرياضيات الحديثة. علاوة على ذلك، يتناول البحث تأثير أعمال كانتر على التخصصات الرياضية الحديثة، بما في ذلك الطوبولوجيا والتحليل والجبر والمنطق، ويولي اهتمامًا خاصًا لإمكانية تطبيق مساهمته، التي لم تُحدد تاريخيًا، في التخصصات النظرية والتطبيقية. يُسلّط البحث الضوء على الدلالة الفلسفية لغياب الحدود والفضيلة الجمالية للرياضيات، كما تُشكّل نظرية المجموعات جوهر تطوّر التفكير الفوقي للإنسان في الرياضيات. إجمالاً، أضافت هذه الدراسة إلى تاريخ أعمال كانتور وإطارها المفاهيمي، وشرحت كيف نشأت نظرية المجموعات وكيف أعادت إحياء مبادئ الرياضيات الحديثة.

الكلمات المفتاحية : نظرية المجموعات؛ جورج كانتور؛ اللانهاية؛ الكاردينالية؛ فرضية المتصل؛ الأعداد غير المحدودة؛ ؛ الأنظمة البديهية؛ زيرميلو-فرانكل (ZF، ZFC)؛ المفارقات في الرياضيات.