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

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

قابل توجه برنامه نویس ها:
"It all started in 1996, when the Flash player was first released. Originally it was intended for Web graphics and animations, but when it got its own
programming language in 2000"

flashgamehistory.com/

«محبوب من، دیدگان من نمیخوابند. زخم ما چرکین شده.
از ماه آتش می بارد»

« این شاعر با کلامش به جان آهنگ میریزد
و بانگ نماز را جاری می کند
نسیم است، و جان می پرورد
هر کلمه اش ماهتابی ست، زندگی بخش ...»

«جرم پایدار نیست، ظلم برقرار نمی‌ماند، خاک گرانبار است
بترسید از آنانکه می جنگند، برحذر باشید ازمبارزان»

فکر کنید به شما بگن حقیقت رو بهت میگیم و می فرستیمد جهنم، ولی دروغ بهت میگیم می فرستیمت بهشت. یعنی در بهشت احساس خوبی دارید ولی هر چه میبینید و می شنوید غیر واقعیه. در جهنم برعکس، تمام چیزهایی که میبینید و می شنوید واقعیه ولی در حال عذاب کشیدن هستید. حالا دوست دارید کدوم رو بشنوید، دروغ یا حقیقت؟

قرار بود تو عید بخشی از پایان نامه م رو مقاله کنم اما یه نقص جدی تو استدلال پیدا کردم که دست و دلم سرد شده.

خداروشکر که اینجا فیلتر نیست.

پرسادون

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

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

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