اكتشاف قوة أول مقالة لكانتور عن نظرية المجموعات

مقالة نظرية المجموعات الأولى لجورج كانتور- تتضمن أولى نظريات المجموعة غير المنتهية لجورج كانتور، والتي تدرس المجموعات اللانهائية وخصائصها. أحد خصائص هذه النظريات هو "اكتشافه الانقلابي" بأن مجموعة كل الأعداد الحقيقية غير قابلة للعد، والقابلة للعد لانهائية. تم إثبات هذه النظرية باستخدام أول برهان لعدم إمكانية العد لكانتور، وهو يختلف بطبيعة الحال عن برهانه الأكثر شيوعًا عن طريق ما يسمى بــ حجة كانتور القطرية. وقد جاءت المقالة بعنوان" حول خاصية مجموعة كل الأعداد الجبرية الحقيقية " وهي تشير إلى نظريته الأولى: مجموعة الأعداد الجبرية الحقيقية قابلة للعد. نُشرت مقالة كانتور في عام 1874م. وفي عام 1879م، قام كانتور بتعديل برهانه لعدم إمكانية العد باستخدام المفهوم الطوبولوجي للمجموعة الكثيفة في فترة زمنية.

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

مؤرخو الرياضيات قاموا بدراسة مقالة كانتور، والتداعيات التي كتبت فيها. واكتشفوا بعض الحقائق، والتي منها على سبيل المثال، أن كانتور وجهت إليه النصيحة باستبعاد مبرهنته بعدم إمكانية العد في المقالة التي قدمها - والتي أضافها أثناء مراجعته لمسودة المقالة . وقد ارجعوا هذه الحقائق وغيرها حول المقالة إلى تأثير كل من: كارل فايرشتراس وليوبلد كرونكر. كما قام المؤرخون أيضًا بدراسة مساهمات ديديكيند في المقالة، بما في ذلك مساهماته في نظرية قابلية عد الأعداد الجبرية الحقيقية. بالإضافة إلى ذلك، فقد أدركوا الدور الذي تلعبه نظرية عدم القدرة على العد ومفهوم القدرة على العد في تطوير نظرية المجموعات، ونظرية القياس، وتكامل لوبيغ.



قراءة المقال الكامل على ويكيبيديا ←