English  

كتب proving or paraphrasing mathematical induction

اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.

عرض المزيد

إثبات أو إعادة صياغة الاستقراء الرياضي (معلومة)


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

  • مجموعة الأعداد الطبيعية هي ذات ترتيب حسن.
  • كل عدد طبيعي إما صفر، أو n+1 لعدد طبيعي أكبر من n.
  • لعدد طبيعي n يكون n+1 أكبر من n.

لاشتقاق استقراء بسيط من هذه البديهيات، ينبغي أن نبين أنه إذا كانت اقتراحا ما متوقعا لـn, إذا كان:

  • صحيحة
  • عندما تكون صحيحة فإن صحيحة أيضا

فإن صحيحة لجميع قيم n.

نبين أولا أنه إذا كانت صحيحة لكل k < m, فإن صحيحة أيضا. إذا كانت m صفرا، فإن صحيحة. إذا كانت m = k + 1, فإن صحيحة لأن k < m وعليه صحيحة مما يعني أن صحيحة. الباقي يتبع من مبادئ الاستقراء المحدود (انظر أسفل).

المصدر: wikipedia.org