وكانت الاستنتاجات في الرياضيات ثلاث ثورات رئيسية:<br>1. تقديم دليل من قبل الإغريق في القرن الرابع قبل الميلاد، وبلغت ذروتها في عناصر إقليدس.<br>11<br>2- إدخال الصرامة في الرياضيات في القرن التاسع عشر. خلال هذا الوقت تم إجراء حساب التفاضل والتكامل غير صارمة من قبل كوشي وغيرها. وشهدت هذه المرة أيضا تطوير المنطق الرياضي من قبل Frege وتطوير نظرية مجموعة من قبل كانتور.<br>3. إدخال الرياضيات الرسمية في أواخر العشرينات وأوائل القرن الحادي والعشرين.<br>العديد من علماء الرياضيات، ومع ذلك، لا يدركون أن هذه الثورة الثالثة قد حدث بالفعل، وربما العديد من نختلف على أن هذه الثورة حتى هناك حاجة. من المرجح أن الكمبيوتر تغيير اللعبة في الرياضيات كما فعلت في المجالات العلمية الأخرى. ... مرة واحدة بدقة بمساعدة الكمبيوتر والتحقق من البراهين ما يقرب من السهل (أو أسهل) من الأدلة التي تم إنشاؤها يدويا للنشر ، فإنها سوف تصبح بسرعة القاعدة. وسيوسع العمل على استحداث أدوات جديدة لتبسيط العملية وأتمتةها. علماء الرياضيات سوف تكون قادرة على العمل مع أكثر تعقيدا بكثير مما هو عملي اليوم. أولئك الذين هم أفضل قدرة على الاستفادة من هذه القدرة ودمج الحدس البشري في هذا الإطار سيكون الأكثر نجاحا... [13]
การแปล กรุณารอสักครู่..