برهان متناهی مبنا

{finitary proof} [ریاضی] برهانی که در آن هیچ مجموعۀ نامتناهی، چه به طور صریح و چه به طور ضمنی، به کار نرفته باشد

💡 و گفته اند شکر بر شکر تمامتر بود از شکر، و آن چنان بود که شکر خویش توفیق وی بینی و آن توفیق از جملۀ نعمت خدای بود بر تو و او را بر آن، شکر گوئی پس بر شکر، شکر کنی و این متناهی باشد.

💡 یک زنجیره پیوسته مارکف توسط یک فضای حالت متناهی یا شمارا، یک ماتریس نرخ انتقال Q با ابعادی برابر با فضای حالت است. برای i ≠ j، هر عنصر qij غیر منفی است و نرخ انتقال فرایند را از حالت i به حالت j توصیف می‌کند.

💡 در موارد دیگر می‌توان از جدول کنترل برای پیاده‌سازی زبان‌های مبتنی بر ماشین‌های حالت متناهی و پیاده‌سازی درخت‌های تصمیم‌گیری استفاده کرد. از جدول کنترل برای ساختن جدول جستجو نیز استفاده می‌شود.

💡 و نعمتهای الهی و حکمتهای غیر متناهی، که در خلقت ابر و باد و باران و دریا و کوه هست از حد بیان خارج است.

💡 می‌نامیم. همچنین هر دنبالهٔ متناهی از تصمیمات را یک وضعیت بازی و هر دنبالهٔ نامتناهی از تصمیمات را یک واقعیت بازی می‌نامیم. پس به عنوان تعریف دقیق، یک بازی منطقی ۴ تایی

💡 یک مجموعهٔ متناهی از قواعد ترادیسی است که در کاربردهای منطقی اصطلاحاً قوانین استنتاج خوانده می‌شوند.