فرق بین یک جمله و یک لم چیست و چگونه یک لم می سازید؟


پاسخ 1:

لیماها قضایایی هستند. من نمی خواهم در مورد استفاده برای همه دانشمندان رایانه یا ریاضیدانان صحبت کنم ، اما چند نکته زیر را ذکر می کنم تا امیدوارم که سردرگمی را پاک کنم.

Lemma نامی برای جمله ای است که به عنوان یک جزء یا فنر برای رسیدن به نتیجه مطلوب (اصلی) عمل می کند. نتیجه اصلی یا نتیجه ادغام این لیماها معمولاً توسط نویسندگان به عنوان یک جمله یاد می شود. به همین ترتیب ، نتایج کوچکتر گاهی اوقات لمس خوانده می شوند. لیماها در نشریات تکنیکی معمولاً از کاربردهای بیشتری نسبت به جمله حتمی برخوردار هستند و یا ویژگیهای ظریفی هستند که اثبات آن ساده تر است. گاهی اوقات لیماها نیز می توانند کاملاً فنی باشند و در صورت تنظیم صحیح به قضایای قدرتمند منتهی شوند. لیماها معمولاً نتایج "کوچکتر" از یک قضیه دارند ، اما همیشه اینگونه نیست.

به همین ترتیب ، استنباط نام جمله ای است که در نتیجه جمله دیگری را دنبال می کند.

من کاملاً نمی فهمم که "ساختن یک لم" به چه معنی است ، این فقط یک جمله است. به عنوان مثال ، كاملاً طبیعی است كه قضایا را به عنوان لیمویی در هنگام نگارش نسخه برچسب گذاری كنید تا خواندن كاغذ یا برجسته كردن جنبه های خاص كاغذ آسانتر شود.

یک راه برای تدوین اثبات ریاضی یک نتیجه پیچیده ، تجزیه آن به قسمت هاست. اگر همه این قسمت ها صحیح باشند (یا زنجیره ای از استدلال را که توسط نویسنده ساخته شده است دنبال کنید) ، جمله صادق است. نام لیماها اغلب روشهایی برای تشخیص آنچه "قطعه" از یک مؤلفه کل است ، است.