العربية  

books proving or paraphrasing mathematical induction

If you do not find what you're looking for, you can use more accurate words.

View more

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


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

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

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

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

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

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

Source: wikipedia.org