(Undecidable Undecidable בתורת החישוביות, בעיה בלתי ניתנת להכרעה היא סוג של בעיה חישובית שדורשת תשובה של כן/לא, אבל שבה לא ייתכן שתהיה תוכנת מחשב שתמיד נותן את התשובה הנכונה; כלומר, כל תוכנית אפשרית הייתה לפעמים נותנת את התשובה השגויה או פועלת לנצח מבלי לתת שום תשובה. https://en.wikipedia.org › wiki › List_of_undecidable_problems
רשימת בעיות בלתי ניתנות להכרעה - ויקיפדיה
פירושו פשוט שאינו ניתן לחישוב בהקשר של בעיית החלטה, שתשובתה (או הפלט) שלה היא "נכונה" או "לא נכונה"). חומר שאינו ניתן לחישוב הוא בעיה שעבורה אין אלגוריתם שניתן להשתמש בו כדי לפתור אותה.
מהן בעיות שאינן ניתנות לחישוב?
בתוראת יכולת החישוב, בעיה שאינה ניתנת להכרעה היא סוג של בעיה חישובית שדורשת תשובה של כן/לא, אבל שבה לא ייתכן שתהיה תוכנת מחשב שתמיד נותנת את הנכון תשובה; כלומר, כל תוכנית אפשרית הייתה לפעמים נותנת תשובה שגויה או פועלת לנצח בלי לתת שום תשובה.
מהו מספר שאינו ניתן לחישוב?
הקבוע של Chaitin הוא דוגמה (למעשה משפחה של דוגמאות) למספר שאינו ניתן לחישוב. זה מייצג את ההסתברות שתוכנית שנוצרה באופן אקראי (במודל מסוים) תיעצר. ניתן לחשב אותו בקירוב, אך אין (ככל הנראה) אלגוריתם לחישובו בדיוק שרירותי.
איזו בעיה היאניתן לחישוב?
בעיה מתמטית ניתנת לחישוב אם ניתן לפתור אותה עקרונית על ידי מכשיר מחשוב. כמה מילים נרדפות נפוצות ל"ניתן לחישוב" הן "ניתן לפתרון", "ניתן להחליט" ו"רקורסיבי". הילברט האמין שכל הבעיות המתמטיות ניתנות לפתרון, אבל בשנות ה-30 גדל, טיורינג וצ'רץ' הראו שזה לא המקרה.
האם Empty set ניתנת לחישוב?
הסט הריק הוא computable. כל קבוצת המספרים הטבעיים ניתנת לחישוב. כל מספר טבעי (כמוגדר בתורת הקבוצות הסטנדרטית) ניתן לחישוב; כלומר, קבוצת המספרים הטבעיים הנמוכים ממספר טבעי נתון ניתנת לחישוב.
