(Undecidable Undecidable Στη θεωρία υπολογισιμότητας, ένα undecidable Undecidable είναι ένας τύπος υπολογιστικού προβλήματος που απαιτεί απάντηση ναι/όχι, αλλά όπου δεν μπορεί να υπάρχει κανένα πρόγραμμα υπολογιστή που πάντα δίνει τη σωστή απάντηση, δηλαδή, οποιοδήποτε πιθανό πρόγραμμα μερικές φορές θα έδινε τη λάθος απάντηση ή θα λειτουργούσε για πάντα χωρίς να δώσει καμία απάντηση. https://en.wikipedia.org › wiki › List_of_undecidable_problems
Λίστα αδιευκρίνιστα προβλήματα - Wikipedia
Τοσημαίνει απλώς μη υπολογίσιμο στο πλαίσιο ενός προβλήματος απόφασης, του οποίου η απάντηση (ή η έξοδος) είναι είτε "αληθής" ή "ψευδής"). Μη υπολογιστικό είναι ένα πρόβλημα για το οποίο δεν υπάρχει αλγόριθμος που να μπορεί να χρησιμοποιηθεί για την επίλυσή του.
Τι είναι τα μη υπολογίσιμα προβλήματα;
Στη θεωρία υπολογισιμότητας, ένα πρόβλημα που δεν μπορεί να επιλυθεί είναι ένας τύπος υπολογιστικού προβλήματος που απαιτεί απάντηση ναι/όχι, αλλά όπου δεν μπορεί να υπάρχει κανένα πρόγραμμα υπολογιστή που να δίνει πάντα τη σωστή απάντηση; Δηλαδή, οποιοδήποτε πιθανό πρόγραμμα θα έδινε μερικές φορές τη λάθος απάντηση ή θα έτρεχε για πάντα χωρίς να δώσει καμία απάντηση.
Τι είναι ένας μη υπολογίσιμος αριθμός;
Η σταθερά του Chaitin είναι ένα παράδειγμα (στην πραγματικότητα μια οικογένεια παραδειγμάτων) ενός μη υπολογίσιμου αριθμού. Το αντιπροσωπεύει την πιθανότητα ότι ένα πρόγραμμα που δημιουργείται τυχαία (σε ένα συγκεκριμένο μοντέλο) θα σταματήσει. Μπορεί να υπολογιστεί κατά προσέγγιση, αλλά δεν υπάρχει (αποδεδειγμένα) αλγόριθμος για τον υπολογισμό του με αυθαίρετη ακρίβεια.
Ποιο είναι το πρόβλημαυπολογίσιμο;
Ένα μαθηματικό πρόβλημα μπορεί να υπολογιστεί εάν μπορεί να λυθεί καταρχήν από μια υπολογιστική συσκευή. Ορισμένα κοινά συνώνυμα του «υπολογίσιμου» είναι τα «λύσιμα», «αποφασίσιμο» και «αναδρομικά». Ο Χίλμπερτ πίστευε ότι όλα τα μαθηματικά προβλήματα ήταν επιλύσιμα, αλλά στη δεκαετία του 1930 ο Γκέντελ, ο Τούρινγκ και ο Τσερτ έδειξαν ότι αυτό δεν ισχύει.
Είναι υπολογίσιμο το Empty set;
Το κενό σύνολο είναι υπολογίσιμο. Ολόκληρο το σύνολο των φυσικών αριθμών είναι υπολογίσιμο. Κάθε φυσικός αριθμός (όπως ορίζεται στην τυπική θεωρία συνόλων) είναι υπολογίσιμος. δηλαδή, το σύνολο των φυσικών αριθμών που είναι μικρότεροι από έναν δεδομένο φυσικό αριθμό είναι υπολογίσιμο.
