پیگیری

مجموعه "همه" جملات مرتبه اول صادق حساب تعریف پذیر نیستند.
en.wikipedia.org/wiki/Tarski%2

اما چیز جالبی که الان فهمیدم، اینکه زیر مجموعه ای از اونها که پیچیدگیشون کمتر از n باشه، تعریف پذیر هستند.

برای شرکت در گفتگو وارد حساب خود شوید
پرسادون

با دوستان خود گفتگو کنید و دوستان تازه پیدا کنید. عکس، ویدیو، و نوشته‌های خود را به اشتراک بگذارید. پرسادون یکی از سرورهای شبکهٔ اجتماعی بزرگ ماستودون است و می‌خواهد محیطی ایمن و پایدار برای کاربران فارسی‌زبان باشد. تا وقتی که به سیاست‌های کاربری و شرایط خدمات پرسادون احترام می‌گذارید، از بودن کنار شما در پرسادون خوشحال خواهیم شد.

راهنمای کاربری ماستودون در ویکی‌کتاب

دربارهٔ پرسادون