Σαφώς. Εξάλλου το Turing Halting Problem είναι ειδική περίπτωση του θεωρήματος του Godel. Εννοούσα πως μπορεί να λύσει οποιοδήποτε πρόβλημα (με πεπερασμένο μέγεθος εισόδου και χρόνου εξόδου) όπως κάθε άλλη Turing complete γλώσσα.Originally Posted by HattoriHanzo
Υπάρχουν βεβαίως και γλώσσες που χρησιμοποιούνται ευρέως και δεν είναι Turing complete, όπως η SQL (και δε νομίζω να τους νοιάζει τους database-άδες).