الأسس والأصول التي قام عليها علم الرياضيات
يتأسس البرهان الرياضي عند إقليدس على :
أ -) التعريفات : هي التي يتم بواسطتها وضع و تحديد المفاهيم والتصورات الأولية التي تشكل المادة الخام لدراسة الرياضيات .
ب -) المسلَّمات : وهي القضايا التي يفترضها العالم ويضعها كأساس ينطلق منه في عملية البرهنة دون أن يقيم عليها برهاناً
جـ -) البديهيات : وهي القضايا الواضحة التي تستمد صدقها من ذاتها ولا تحتاج إلى برهنة .
3_) الهندسة الإقليدية و ظهور الهندسات اللاإقليدية :
كان ينظر إلى هندسة إقليدس وإلى نتائجها على أنها صادقة صدقا مطلقا ,وأنها الهندسة الوحيدة الممكنة. إلا أن كون المسلمة الخامسة لإقليدس والتي تقول :"من نقطة خارج خط مستقيم لا يمر إلا خط مستقيم وحيد يوازيه" كون هذه المسلمة لم تتم البرهنة عليها منذ البداية جعلها توضع موضع شك من طرف العلماء .وعندما حاول كل من ريمان( الألماني ) ولوبتشفسكي ( الروسي ) البرهنة على هذه المسلمة ، خلص كل منهما إلى هندسة أخرى تختلف عن هندسة الآخر وعن هندسة إقليدس . وسميت هذه الهندسات بالهندسات اللاإقليدية .وظهور هذه الهندسات كان له دور أساسي في توجيه أول ضربة لليقين المطلق لمبادئ ونتائج البرهان الاستنتاجي في الرياضيات
4 -) أزمة الأسس في الرياضيات إن أزمة اليقين الرياضي التي نتجت عن ظهور هندسيات لاإقليدية مسَّت أيضا المنهج الاستنتاجي الذي اعتمدته الرياضيات حتى النصف الأول من القرن التاسع عشر وهذه الأزمة مسَّت مجالات أخرى في الرياضيات كالجبر ، ففي إطار نظرية المجموعات ظهر أن البديهية الكل اكبر من الجزء ليست صادقة صدقا مطلقا كما كان يعتقد،إذ ظهر أن الجزء يمكن أن يكون مساوياً للكل أو أن يكون اكبر من الكل .
كما ظهرت كذلك بعض الأعداد الخيالية ( ت )والتي أدت إليها بعض المعادلات وهذا كله أدى إلى ظهور منهج جديد في الرياضيات هو المنهج الفرضـــي الاستنتاجي .
5 -) المنهج الفرضي الاستنتاجي / في هذا المنهج لم يعد ينظر إلى المبادئ والأسس التي يقوم عليها البرهان الرياضي على أنها صادقة أو غير صادقة ، بل
أصبحت تعتبر فقط مجرد فرضيات تخضع لعدة شروط منها الوضوح وعدم إثارة الاختلاف وان تكون مستقلة عن بعضها البعض ، والتي يهم في النسق الاكسيومي الناتج عن هذه الفرضيات وهو طابع النظام والاتساق الداخلي المنطقي وخلوه من التناقض . ويكون صدق النتائج في المنهج الفرضي الاستنباطي صدقاً صورياً ، حيث أن الوصول إليها تم دون التناقض مع الأولويات التي تم الانطلاق منها .
يتأسس البرهان الرياضي عند إقليدس على :
أ -) التعريفات : هي التي يتم بواسطتها وضع و تحديد المفاهيم والتصورات الأولية التي تشكل المادة الخام لدراسة الرياضيات .
ب -) المسلَّمات : وهي القضايا التي يفترضها العالم ويضعها كأساس ينطلق منه في عملية البرهنة دون أن يقيم عليها برهاناً
جـ -) البديهيات : وهي القضايا الواضحة التي تستمد صدقها من ذاتها ولا تحتاج إلى برهنة .
3_) الهندسة الإقليدية و ظهور الهندسات اللاإقليدية :
كان ينظر إلى هندسة إقليدس وإلى نتائجها على أنها صادقة صدقا مطلقا ,وأنها الهندسة الوحيدة الممكنة. إلا أن كون المسلمة الخامسة لإقليدس والتي تقول :"من نقطة خارج خط مستقيم لا يمر إلا خط مستقيم وحيد يوازيه" كون هذه المسلمة لم تتم البرهنة عليها منذ البداية جعلها توضع موضع شك من طرف العلماء .وعندما حاول كل من ريمان( الألماني ) ولوبتشفسكي ( الروسي ) البرهنة على هذه المسلمة ، خلص كل منهما إلى هندسة أخرى تختلف عن هندسة الآخر وعن هندسة إقليدس . وسميت هذه الهندسات بالهندسات اللاإقليدية .وظهور هذه الهندسات كان له دور أساسي في توجيه أول ضربة لليقين المطلق لمبادئ ونتائج البرهان الاستنتاجي في الرياضيات
4 -) أزمة الأسس في الرياضيات إن أزمة اليقين الرياضي التي نتجت عن ظهور هندسيات لاإقليدية مسَّت أيضا المنهج الاستنتاجي الذي اعتمدته الرياضيات حتى النصف الأول من القرن التاسع عشر وهذه الأزمة مسَّت مجالات أخرى في الرياضيات كالجبر ، ففي إطار نظرية المجموعات ظهر أن البديهية الكل اكبر من الجزء ليست صادقة صدقا مطلقا كما كان يعتقد،إذ ظهر أن الجزء يمكن أن يكون مساوياً للكل أو أن يكون اكبر من الكل .
كما ظهرت كذلك بعض الأعداد الخيالية ( ت )والتي أدت إليها بعض المعادلات وهذا كله أدى إلى ظهور منهج جديد في الرياضيات هو المنهج الفرضـــي الاستنتاجي .
5 -) المنهج الفرضي الاستنتاجي / في هذا المنهج لم يعد ينظر إلى المبادئ والأسس التي يقوم عليها البرهان الرياضي على أنها صادقة أو غير صادقة ، بل
أصبحت تعتبر فقط مجرد فرضيات تخضع لعدة شروط منها الوضوح وعدم إثارة الاختلاف وان تكون مستقلة عن بعضها البعض ، والتي يهم في النسق الاكسيومي الناتج عن هذه الفرضيات وهو طابع النظام والاتساق الداخلي المنطقي وخلوه من التناقض . ويكون صدق النتائج في المنهج الفرضي الاستنباطي صدقاً صورياً ، حيث أن الوصول إليها تم دون التناقض مع الأولويات التي تم الانطلاق منها .