تاریخچه ی:
استقرای قوی و چندگانه
^@#16:
!استقرای قوی و چندگانه
!!مقدمه
همانطور که به زیبایی با استقرا آشنا شدیم، کمکم به محدودیتهای آن نیز باید پیبرده باشیم.از طرفی همواره نمیتوان استقرای ضعیف را استفاده نمود زیرا گامهای بازگشت یکییکی بوده و اثبات را محدود میکند.
استقرای چندپایه هم که قویتر میباشد بازهم محدودیت در ثابتبودن عدد {TEX()} {k} {TEX}دارد.
به وضوح میتوان استقرایی را به کار بست که تفاوت آن با استقرای چندپایه در ثابت نبودن عدد k میباشد و میتوان حتی فقط روی یک گزارة{TEX()} { p(n) } {TEX} استقرا نزد بلکه اگر درستی{TEX()} { p(n)} {TEX} به درستی {TEX()} { Q(n)} {TEX} و درستی {TEX()} { Q(n) } {TEX} هم به نوبة خود به{TEX()} { p(m) } {TEX} وابسته باشد، در شرایطی میتوان بازهم از اصل استقرا به شکل دیگری استفاده کرد که به معرفی آنها میپردازیم.#@^