(تصمیم‌ناپذیر غیرقابل تصمیم‌گیری در تئوری محاسبه‌پذیری، یک مسئله غیرقابل تصمیم نوعی مشکل محاسباتی است که نیاز به پاسخ بله/خیر دارد، اما جایی که احتمالاً هیچ برنامه رایانه‌ای وجود نداشته باشد که همیشه وجود داشته باشد. پاسخ صحیح را می دهد؛ یعنی هر برنامه ممکنی گاهی پاسخ اشتباهی می دهد یا برای همیشه بدون هیچ پاسخی اجرا می شود. https://en.wikipedia.org › wiki › List_of_undecidable_problems
فهرست مشکلات غیرقابل تصمیم - ویکی پدیا
به سادگی به معنای غیر قابل محاسبه در زمینه یک مسئله تصمیم گیری است که پاسخ (یا خروجی) آن یا "درست" یا "نادرست" است). غیر قابل محاسبه مسئله ای است که هیچ الگوریتمی برای حل آن وجود ندارد.
مشکلات غیرقابل محاسبه چیست؟
در تئوری محاسبه‌پذیری، یک مسئله غیرقابل تصمیم نوعی نوع مشکل محاسباتی است که نیاز به پاسخ بله/خیر دارد، اما در جایی که احتمالاً هیچ برنامه رایانه‌ای وجود ندارد که همیشه درست را ارائه دهد. پاسخ؛ یعنی، هر برنامه ممکنی گاهی اوقات پاسخ اشتباهی می‌دهد یا بدون دادن هیچ پاسخی برای همیشه اجرا می‌شود.
عدد غیرقابل محاسبه چیست؟
ثابت چایتین یک مثال (در واقع خانواده ای از مثال ها) از یک عدد غیر قابل محاسبه است. این نشان دهنده احتمال توقف یک برنامه تصادفی (در یک مدل خاص) است. می توان آن را تقریباً محاسبه کرد، اما (به طور قابل اثبات) هیچ الگوریتمی برای محاسبه آن با دقت دلخواه وجود ندارد.
کدام مشکل استقابل محاسبه است؟
یک مسئله ریاضی در صورتی قابل محاسبه است که بتوان آن را اصولاً توسط یک دستگاه محاسباتی حل کرد. برخی از مترادف های رایج برای "محاسبه" عبارتند از "حل پذیر"، "تصمیم پذیر"، و "بازگشت". هیلبرت معتقد بود که همه مسائل ریاضی قابل حل هستند، اما در دهه 1930 گودل، تورینگ و چرچ نشان دادند که اینطور نیست.
آیا مجموعه خالی قابل محاسبه است؟
مجموعه خالی قابل محاسبه است. کل مجموعه اعداد طبیعی قابل محاسبه است. هر عدد طبیعی (همانطور که در نظریه مجموعه استاندارد تعریف شده است) قابل محاسبه است. یعنی مجموعه اعداد طبیعی کوچکتر از یک عدد طبیعی معین قابل محاسبه است.
