فلسفة الرياضيات | ما هو فندق هيلبرت وعلاقته باللانهائية؟

فلسفة الرياضيات | ما هو فندق هيلبرت وعلاقته باللانهائية؟

قال «جاليليو جاليلي_Galileo Galilei» في عام 1638م بكتابه «علمان جديدان»: “كل مربع له جذره الخاص وكل جذر له مربعه الخاص، بينما لا يوجد مربع له أكثر من جذر واحد ولا يوجد جذر له أكثر من مربع واحد”.

الأعداد المربعة: 2^1-2^2-2^3-2^4… وجذورها الموجبة: 1-2-3-4… لكن ما هو الأكثر: الجذور أم المربعات؟

يمكننا الإجابة بأن كل مربع هو جذر بعض الأعداد الصحيحة الموجبة. لكن ليس العكس (الرقم 2، هو جذر 4، لأن 4=2^2. لكن 2 ليس مربع عدد صحيح موجب).

تترك لنا ملاحظة جاليليو مفارقة -المفارقة: رأي أو بيان مخالف للرأي العام ولكنه ربما يكون صحيح-. يبدو أن لدينا أسبابًا للاعتقاد بأن الجذور أكثر من المربعات، ولكن أيضًا هناك أسباب للاعتقاد بأن هناك العديد من الجذور مثل المربعات.

إن مفارقة جاليليو هي أكثر المفارقات إثارة للاهتمام، ولكن بعد قرنين من كتاب «علمان جديدان». نشر عالم الرياضيات الألماني «جورج كانتور_Georg Cantor» مقالًا يصف منهجية صارمة لمقارنة أحجام المجموعات اللانهائية وتنتج استنتاجًا لافتًا يشير إلى وجود أحجام مختلفة من اللانهاية.

لكن ماذا فعل كانتور بالتحديد وهل هو الوحيد؟ وما علاقة ذلك بالفسلفة… هذا ما سنعرفه في سلسلة «فلسفة الرياضيات». سنناقش فيها مواضيع عدة حول الرابط الجامع لكل من الفلسفة والرياضيات بشكل سلس. في بداية الأمر علينا أولًا أن نعرف القليل عن تلك العلاقة، ومن ثم ما هو فندق هيلبرت وعلاقته باللانهائية؟ فهيا بنا.

علاقة وطيدة منذ القدم

حينما كان «رينيه ديكارت_René Descartes» بعمر 31 عامًا في عام 1627م. بدأ في كتابة بيان حول الأساليب الصحيحة للتفلسف. كان عنوانه «Regulae ad Directionem Ingenii_قواعد توجيه العقل». قدم فيه ديكارت 36 قاعدة مقسمة بالتساوي إلى ثلاثة أجزاء. وكانت القواعد مهتمة بالجانب الفلسفي من المفترض! لكن سرعان ما تتخذ منعطفًا رياضيًا، فتتدخل الحسابات.

تشبه قراءة القواعد الخاصة بديكارت الجلوس لقراءة مقدمة عن الفلسفة، ومن ثم تجد نفسك بعد ساعة في وسط كتاب مدرسي لمادة الجبر!

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

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

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

علماء المنطق يوفون بالوعد!

بلغت فلسفة الرياضيات مبلغ النجوم في منتصف القرن العشرين. إذ دُعمت بنجاحات العقود السابقة في المنطق الرياضي. بدأ علماء المنطق في الوفاء بوعد لايبنيز بحساب الفكر، وتطوير أنظمة من البديهيات والقواعد التي هي معبرة بما يكفي لتفسير الغالبية العظمى من الجدل الرياضي. كذلك أثبت العالم النمساوي «كورت جودل_Kurt Gödel» نتائج مهمة تُعرف باسم “نظرية عدم الاكتمال” والتي تضع الحدود لقدرة الطريقة البديهية على تسوية جميع الحقائق الرياضية أي هناك بديهيات لا يمكن إثباتها.

لأن العلوم كسلسلة يُكمل كل منهم الأخر، فقد جلب المنطق تقدمًا فلسفيًا مثل طبيعة الحقيقة. في ثلاثينيات القرن الماضي، قدم عالم المنطق البولندي «ألفريد تارسكي_Alfred Tarski» تحليلًا رياضيًا للحقيقة، وقدم مرة أخرى حسابًا إيجابيًا مع تحديد الحدود المتأصلة في نطاق قابلية تطبيقه في نفس الوقت.

جلبت الثلاثينيات أيضًا تحليلًا رياضيًا واضحًا لمفهوم الحوسبة. قدم هذا تحليلًا مقنعًا لطبيعة أنواع الأساليب الحسابية التي سعى إليها أمثال ديكارت ولايبنيز. منذ منتصف الخمسينيات من القرن الماضي، هيمن على العلوم المعرفية الذكاء الاصطناعي (AI) وهو نهج يعتمد على التمثيلات الرمزية والخوارزميات المنطقية.

لكن في الثمانينيات أظهر الباحثون أنه يمكن تدريب الشبكات العصبية على التعرف على الأنماط وتصنيف الصور دون خوارزمية واضحة أو ترميز الميزات التي من شأنها تفسير أو تبرير القرار. أدى هذا إلى ظهور مجال التعلم الآلي.

فندق هيلبرت وعلاقته باللانهائية

ما رأيك عزيزي القارئ في رحلة لمناقشة بعض الأدوات المهمة للتفكير في اللانهائية والتي سنستخدمها لتوضيح أن بعض اللانهايات أكبر من غيرها! ولنبدأ الرحلة مع فندق هيلبرت وهو فندق خيالي سُمي على اسم عالم الرياضيات الألماني «ديفيد هيلبرت_David Hilbert».

الآن أطلق لخيالك العنان وهيا بنا… هذا هو فندق هيلبرت وهو على عكس أي فندق أخر، فهو يحتوي على عدد لا نهائي من الغرف. حيث يحتوي على غرفة “0”، وغرقة “1”، وغرفة “2”… وهكذا.

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

ميزة الفنادق اللانهائية

لكن الميزة الغريبة للفنادق اللانهائية، أنها يمكنها استيعاب أشخاص إضافيين. لكن كيف ذلك؟ بكل بساطة، أن يطلب مدير الفندق من الجميع أن ينقل غرفة واحدة على اليمين. ذلك يعني أن الشخص”0″ ينتقل للغرفة “1”، والشخص”1″ إلى غرفة “2” وهكذا…هنا لدينا نتيجتين وهما:

  • أولًا، أن الغرفة صفر فارغة لأن ساكنها خرج.
  • ثانيًا، حصل الجميع على غرفة. لأنه بالنسبة للشخص n كانت الغرفة n+1 متاحة لأنها كانت خالية بواسطة شخص n+1 الذي انتقل للغرفة n+2.

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

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

يحصل كل شخص على رقم فردي!

في النهاية، نعني أنه في ظل التوزيع، أن كل شخص ينظر إلى رقم الغرفة، وإذا كان رقم الغرفة هو “n”، فسيذهب إلى الغرفة”2n”. إذ يبقي “0” لأن “2” ضرب “0” يساوي “0”. لذا فإن الشخص “0” موجود هناك. الشخص “1” يتحرك لأن “1” ضرب “2” هو “2”. لذلك الشخص” 1″ ينتقل إلى الغرفة “2”. الشخص”2″ سينتقل إلى “4” لأن “2+2” يساوي “4”. الشخص “3” سينتقل إلى “6”، والشخص”5″ إلى “10” وهكذا…

بشكل عام، سينتهي الأمر بكل شخص بالحصول على رقم فردي من الأشخاص الجدد. يمكننا فقط أن نقول لضيوفنا الجدد، إذا كنت ضيفًا جديدًا ورقمك هو “n”، فيرجي أن تنتقل إلى الغرفة “2n+1”.


التناقض في فندق هيلبرت!

دعنا الآن عزيزي القارئ ، نفترض أن” ضيوفنا القدامى” هم الضيوف الذين كانوا يقيمون في الفندق قبل أي وصول فرد جديد، وأن “الضيوف الجدد” هم الضيوف القدامى. إذ من ناحية، نريد أن نقول أن هناك ضيوفً جدد أكثر من الضيوف القدامى. من ناحية أخرى، نريد أن نقول إن عدد الضيوف الجدد يساوي عدد الضيوف القدامى.

ستلاحظ أن هذه المشكلة هي نفس المشكلة الخاصة بالمربعات والجذور، إذ أن هناك جذورًا أكثر من المربعات ومن ناحية أخرى هناك عددًا من الجذور يساوي عدد المربعات. كما قال جاليليو: “كل مربع له جذره وكل جذر له مربعه الخاص، بينما لا يوجد مربع له أكثر من جذر واحد ولا يوجد جذر له أكثر من مربع واحد”.


منطقيان ولكن غير متوافقين

يتضح أن هناك مبدأن يبدو كل منهما منطقيًا إلى حد كبير، لكن يتضح أنهما غير متوافقين مع بعضهما البعض في وجود مجموعات لانهائية.

المبدأ الأول: المجموعات الفرعية

افترض أن كل شيء في “A” موجود أيضًا في “B”، لكن ليس العكس. إذن،”A,B” ليسا من نفس الحجم ويحتوى”B” على عناصر أكثر من “A”.

مثال: افترض أن “A” هي مجموعة حيوانات الكنغر و”B” هي مجموعة الثدييات. نظرًا هنا أن كل كنغر من الثدييات ولكن ليس العكس، فإذن مبدأ المجموعات الفرعية يخبرنا أن مجموعة الكنغر ومجموعة الثدييات ليست من نفس الحجم. فهناك ثدييات أكثر من الكنغر.

المبدأ الثاني: التحيز

المجموعة “A” لها نفس حجم المجموعة “B”، إذا كان هناك تحيز بين”A وB”. لكن ما هو التحيز؟ افترض أن لديك خنافس وبعض الصناديق، وأنك قمت بوضع كل خنفساء في صندوق مختلف ولم تترك أي صندوق فارغ (أي يتم تعيين كل عنصر “A” لعنصر مختلف من “B” ولا يتم ترك أي عنصر من “B” بدون تعيين من “A”).

كلا المبدأين صحيح عزيزي القارئ ولكن المبادئ لا يمكن أن تكون صحيحة عندما يتعلق الأمر بالمجموعات اللانهائية، كما وضحنا أن مبدأ التحيز يستلزم أن يكون لمجموعة الضيوف القدامى والجدد نفس الحجم، لكن مبدأ المجموعات الفرعية يستلزم أنهم ليسوا كذلك.

إن الطريقة المُثلى لتطوير نظرية لانهائية هي التخلي عن مبدأ المجموعات الفرعية والحفاظ على مبدأ التحيز. إذ اكتشف عالم الرياضيات الألماني جورج كانتور عام 1873م، أن هناك مجموعات لا نهائية لا يمكن أن تخضع لمبدأ التحيز. قد وصف ديفيد هيلبرت عمل كانتور على اللانهائي بأنه “أفضل منتج للعبقرية الرياضية وأحد الإنجازات العليا للنشاط البشري الفكري”.


المصادر

  1. edx
  2. britannica
  3. aeon.

ما هي اللانهاية؟ وكيف أسهم جورج كانتور وجاليليو في اللانهايات؟

ما هي اللانهاية؟ وكيف أسهم جورج كانتور وجاليليو في اللانهايات؟

يكشف تاريخ اللانهاية الستار عن العقل الفضولي للإنسان. كيف فكرنا في هذه الفكرة لآلاف السنين ولسنا قريبين من الإجابة الآن كما كنا منذ آلاف السنين؟ ومع ذلك، ما زلنا مفتونين بفكرة ورمزية اللانهاية.

 لطالما عُومل مفهوم اللانهاية بمزيجٍ من الرهبة والإبهار بل ساوى البعض بينه وبين الألوهية ويرى آخرون أنه مفهوم ليس له قيمة عملية في العالم الحقيقي، بحجة أنه حتى الرياضيات التي تعتمد على ما يبدو على اللانهاية مثل حساب التفاضل والتكامل يمكن جعلها تعمل باللجوء إلى كميات لا تنضب ولكنها محدودة. لم يبد الإغريق القدماء ارتياحًا لهذا المفهوم بل أطلقوا عليه اسم «أبيرون-Apeiron»، الذي يحمل نفس النوع من الدلالات السلبية التي نطبقها الآن على كلمة الفوضى. كان “الأبيرون” مفهومًا خارج نطاق السيطرة، وحشي وخطير.

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

سوار زينة على شكل رمز اللانهاية منقوش عليه عبارة ” لربما نلتقي مجددًا”، العبارة المشهورة من مسلسل The 100

ما هي اللا نهاية؟

تعرف اللا نهاية ببساطة بأنها الشيء اللا محدود وغير قابل للعد. نحمل جميعنا فكرة عن ماهية اللا نهاية، فهي صفة للأشياء غير المنتهية، كون لا نهائي، أو قائمة لا نهائية، كمجموعة الأعداد الطبيعية 1، 2، 3، 4، … فمهما استمريت بالعدّ، فلن تصل للنهاية أبدًا، كما أنه من المستحيل أن تصل إلى نهاية الكون حتى لو سافرت بواسطة أسرع مركبة

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

مفهوم أرسطو للا نهاية

لقد تطلب الأمر من أرسطو أن يضع مفهوم اللانهاية بشكل دقيق بحيث لا يكاد أحد يعطيه اعتبارًا مباشرًا مرة أخرى حتى القرن التاسع عشر. كان النهج الذي اتخذه عمليًا بشكل مدهش. قرّر أرسطو أن تكون اللانهاية موجودة، لأنه بدا أن الزمن ليس له بداية ولا نهاية، كما لم يكن من الممكن القول أن أرقام العد لها نهاية على الإطلاق. إذا كان هناك رقم أكبر -أطلق عليه “max”، فما الخطأ في max + 1 أو max + 2؟ ولكن من ناحية أخرى، لا يمكن أن توجد اللانهاية في العالم الحقيقي. وقال إنه إذا كان هناك -على سبيل المثال-جسد مادي غير محدود، فسيكون بلا حدود ومع ذلك، يجب أن يكون للكائن حدودًا.

كان الحل الوسط الذي طوره أرسطو -وهو حل ذكي -هو القول إن اللانهاية موجودة وغير موجودة. وقال إنه بدلاً من أن تكون ملكية حقيقية لأي شيء حقيقي، كان هناك احتمال لانهائي. يمكن أن يكون اللانهاية من حيث المبدأ، ولكن من الناحية العملية لم يكن كذلك. يعطينا أرسطو مثالاً ممتازًا لتوضيح ذلك. الألعاب الأولمبية موجودة -من المستحيل إنكار ذلك. ومع ذلك، فقد كان كائنًا أجنبيًا يظهر (أرسطو لم يتضمن في الواقع كائنًا فضائيًا في مثاله) ويسألنا “أرني هذه الألعاب الأولمبية التي تتحدث عنها”، لم نتمكن من فعل ذلك. في الوقت الحالي هم غير موجودون في الواقع لكنهم موجودون كإمكانات. وجادل أرسطو بأن اللانهاية كانت في نفس الحالة المحتملة تمامًا.

كان هذا الشكل من اللانهاية هو الذي من شأنه أن يفرز حساب التفاضل والتكامل وسيتم تضمينه عمليًا في جميع الاعتبارات الرياضية لللامحدود حتى قام العالم جورج كانتور باكتشافات ثورية في هذا الصدد والتي قادته في نهاية الأمر إلى الجنون. لكن رجلاً واحدًا خالف هذا الاتجاه مبكرًا، وهو العالم جاليليو جاليلي المشهور في مجال علم الفلك.

مفهوم غاليليو غاليلي للانهايات

بعد بدء الإقامة الجبرية في منزل جاليليو في عام 1634، إبان محاكمته بشأن عمله الهرطقي حول حركة الأرض حول الشمس، لم يتوقف جاليليو عن الكتابة. في ذلك الوقت ، أنتج الكتاب الذي يمكن القول إنه أعظم أعماله العلمية ، والذي يعادل كتاب المبادئ الرياضية لنيوتن. ، أطللق جاليليو على كتابه اسم «Discorsi e dimostrationi matematiche» ، والذي احتوى على مفاهيم جديدة أو نقاشات وتوضيحات رياضية تتعلق بعلوم جديدة. واجه جاليليو صعوبة كبيرة في نشر هذا -أوضحت محاكم التفتيش أنه لن يتم نشر أي عمل من قبل هذا المهرطق في أي بلد تحت نفوذها-. عندما تناول الناشر الهولندي العظيم «إلسفير- Elsevier» الكتاب في نهاية المطاف، أعرب جاليليو عن دهشته الكبيرة من أنه نُشر على الإطلاق، وهو ما زعم أنه لم يكن نيته أبدًا.

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

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

الآن نقوم بتدوير العجلة المدمجة بحيث تتحرك إلى جانبها التالي. عندما تقوم العجلة الكبيرة بتدويرها تدور على الزاوية وتتحرك على طول المسار بطول جانب واحد. لكن ماذا حدث للعجلة الأصغر؟ لم تتحرك العجلة الكبيرة بهذه المسافة فحسب، بل تحركت العجلة الصغيرة أيضًا. يجب أن: يتم إصلاحهما معًا. ومع ذلك، عند الدوران بمقدار 1/6 من الدوران، يجب أن يتدحرج الصغير فقط على طول المسار بطول جانبه -مسافة أصغر بكثير، مميزة باللون الأحمر في الرسم التخطيطي. لتحقيق الحركة الإضافية، رُفعت العجلة الأصغر تمامًا عن المسار.

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

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

ما تخيله جاليليو هو أنه مع دوران العجلة الأصغر يكون هناك عدد لا حصر له من الفجوات الصغيرة متناهية الصغر، والتي تتراكم لتحدث فرقًا بين محيط العجلة والمسافة التي تتحرك فيها.  ومن هنا دخل مفهوم اللانهاية حيز اللعب في جهاز مادي لجعل ما يبدو مستحيلًا يحدث.

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

مفهوم العالم جورج كانتور للانهاية

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

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

اللانهايات المعدودة والغير معدودة

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

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

تخيل الآن أن لدينا خط مستقيم لانهائي، أي أنه يتكون من عدد من العناصر اللانهائية أيضًا، وفي هذه الحالة تُسمى تلك العناصر نقاطاً على الخط، إذا وضعنا على الخط مسطرة طويلة لانهائية، فإن كل نقطة على الخط يمثلها عدد على المسطرة، النقطة الأولى على الخط تقع على العدد 0، النقطة التي تبعد نصف متر عن البداية تقع على العدد 0.5، وهكذا. يطلق على المجموعة العددية التي تمثلها المسطرة اسم مجموعة الأعداد الحقيقية الموجبة وهي تشمل الاعداد الطبيعية والكسور والأرقام النسبية. هل يمكنك وضع قائمة لهذه الأعداد لكي ترى إذا كانت تمثل لانهاية معدودة أيضًا؟ ربما بإمكانك ترتيب هذه الأعداد عن طريق الحجم، لكن ستزيد هذه الطريقة من صعوبة المسألة. وبالتأكيد العدد الأول سيكون 0، لكن ماذا يجب أن يكون العدد الذي يليه؟ ربما 0.1؟ لكن 0.01 أصغر منه ويجب أن يأتي قبل 0.1. لكن ماذا عن 0.001؟ لكل عدد تظن أنه من الممكن أن يحل المرتبة الثانية في القائمة سوف تجد عدد أصغر منه (ببساطة تضيف صفرًا بعد الفاصلة)، فلذلك ترتيب هذه الأعداد على المسطرة بواسطة الحجم غير مجدي.   هل من الممكن إيجاد طريقة أخرى لإدراج الأعداد في قائمة؟ الإجابة هي لا يمكن ذلك، وهناك سبب منطقي ومباشر لهذه المسألة وينص على أنه في أي قائمة لأعداد حقيقية موجبة هناك على الأقل عدد واحد مفقود، وبالتالي لا يمكنك كتابة قائمة كاملة أبدًا، وهذا يثبت أن اللانهاية الممثلة عن طريق الخط المستقيم (أو الأعداد الحقيقية الموجبة) هي لانهاية غير معدودة.

المصادر

firstscience
livescience
plus.maths
gyllenwatches
britannica
pbs.org

تاريخ الفيزياء الكلاسيكية، من هو غاليليو غاليلي؟ وما هي إنجازاته؟

تاريخ الفيزياء الكلاسيكية، من هو غاليليو غاليلي؟ وماهي إنجازاته؟

ولد غاليليو في 15 فبراير 156‪4‪ وهو الابن الاكبر للموسيقي المعروف لفنشنزو غاليلي، كان مهوسًا بالفلك والرياضيات إلا أن والده أحب مهنة الطب فأجبره على دراستها، أُرسل غاليليو إلى جامعة بيزا في عام 1583 لدراسة الطب ولكن بسبب بعض المشاكل والصعوبات المالية لم يستطع غاليليو تحقيق حلم أبيه وغادر الجامعة في عام 1585 تاركًا خلفه حلم أبيه منطلقًا نحو أحلام

شغفه بالفلك والفيزياء

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

تحديات

خسر غاليليو منصبه التدريسي في جامعة بيزا لكن سرعان ما وجد غاليليو منصبًا جديدًا في جامعة بادو حيث قام بتدريس علم الهندسة والميكانيكا والفلك، عمل غاليليو لمدة زادت عن ثمانية عشرة عامًا استطاع من خلالها كسب شعبية واسعة، وفي عام 1609 سمع غاليليو عن اختراع التلسكوب في هولندا ومن غير أن يرى مثالًا تطبيقًا أقدم على تطوير المعطيات التي بين يديه ليبني أول تلسكوب استطاع به رصد الجبال والوديان على سطح القمر وأكبر أربعة أقمار لكوكب المشتري وحلقات زحل.

اكتشافاته ونبوغه

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

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

قدمت الكنسية في القرن العشرين اعتذرًا عن الطريقة التي تم التعامل بها مع قضية غاليليو وفي التسعينات أرسلت وكالة ناسا الفضائية مهمة إلى كوكب المشتري أطلق عليها اسم غاليليو وذلك تكريمًا له وتخليدًا لذكراه.

المصادر:

Biography

BBC

Space. com

Exit mobile version