What is the translation of " HALTING PROBLEM " in Greek?

• πρόβλημα τερματισμού
• πρόβλημα ανάσχεσης
• προβλήματος τερματισμού

Examples of using Halting problem in English and their translations into Greek

Halting problem.
Πρόβλημα τερματισμού.

Represents the halting problem.
Αναπαριστά το πρόβλημα τερματισμού.

Halting problem- Wikipedia.
Πρόβλημα τερματισμού- Βικιπαίδεια.

Is Turing's'halting problem'.
Είναι το"πρόβλημα ανάσχεσης" του Τούρινγκ.

The halting problem is undecidable for Turing machines.
Το πρόβλημα τερματισμού είναι μη αποφασίσιμο στις μηχανές Turing.

This problem is known as the Halting problem.
Το πρόβλημα αυτό είναι γνωστό ως το πρόβλημα τερματισμού.

The Halting problem was the first such set to be constructed.
Το πρόβλημα τερματισμού ήταν το πρώτο τέτοιο σύνολο για να κατασκευαστεί.

One such problem is known as the Halting Problem.
Το πρόβλημα αυτό είναι γνωστό ως το πρόβλημα τερματισμού.

The halting problem is historically important because it was one of the first problems to be proved undecidable.
Το πρόβλημα τερματισμού είναι ιστορικής σημασίας διότι ήταν ένα από τα πρώτα μη αποφασίσιμα προβλήματα..

These numbers have the same Turing degree as the halting problem.
Αυτοί οι αριθμοί έχουν τον ίδιο βαθμό Turing όπως το πρόβλημα τερματισμού.

His argument is fundamental in the solution of the Halting problem and the proof of Gödel's first incompleteness theorem.
Το επιχείρημά του είναι θεμελιώδους σημασίας για την επίλυση του προβλήματος Halting και την απόδειξη του πρώτου του πρώτου θεωρήματος της μη-πληρότητας του Gödel.

This means that this gives us an algorithm to decide the halting problem.
Αυτό σημαίνει οτι μας δίνει έναν αλγόριθμο για να αποφασίσουμε για το πρόβλημα τερματισμού.

His argument is fundamental in the solution of the Halting problem and the proof of Gödel's first incompleteness theorem. Cantor wrote on the Goldbach conjecture in 1894.
Το επιχείρημά του είναι θεμελιώδους σημασίας για την επίλυση του προβλήματος Halting και την απόδειξη του πρώτου του πρώτου θεωρήματος της μη-πληρότητας του Gödel.

There is a noncomputable problem, the Halting problem.
Μέχρι στιγμής γνωρίζουμε ένα μόνο μη αποκρίσιμο πρόβλημα, το πρόβλημα του τερματισμού.

Turing proved this by establishing the unsolvability of the halting problem, a result with far-ranging implications in both recursion theory and computer science.
Ο Τούρινγκ το απέδειξε δείχνοντας τη μη επιλυσιμότητα του προβλήματος τερματισμού, αποτέλεσμα που είχε τεράστιες επιπτώσεις τόσο στη θεωρία αναδρομής όσο και στην επιστήμη υπολογιστών.

But, many of these index sets are even more complicated than the halting problem.
Όμως, πολλά από αυτά τα ενδεικτικά σύνολα είναι ακόμη πιο περίπλοκα από ότι το πρόβλημα τερματισμού.

Startling as the halting problem was, the really profound part of Incompleteness for Turing, was not what it said about logic or computers, but what it said about us, and our minds.
Τρομακτικό όπως το πρόβλημα ανάσχεσης ήταν, το πραγματικά βαθύ μέρος της Μη Πληρότητας για τον Τούρινγκ, δεν ήταν αυτό που έλεγε σχετικά με τη λογική ή τους υπολογιστές, αλλά αυτό που έλεγε για εμάς, και το νου μας.

Is undecidable, by representing the halting problem in this way.
Είναι μη αποφασίσιμη, εκφράζοντας το πρόβλημα τερματισμού με αυτόν τον τρόπο.

In fact, a weaker form of the First Incompleteness Theorem is an easy consequence of the undecidability of the halting problem.
Για την ακρίβεια, μία πιο αδύναμη μορφή του Πρώτου Θεωρήματος μη Πληρότητας αποτελεί μια άμεση συνέπεια της μη αποφασισιμότητας του προβλήματος τερματισμού.

Jack Copeland(2004) attributes the introduction of the term halting problem to the work of Martin Davis in the 1950s.
Ο Jack Copeland(2004) προσδίδει τον όρο πρόβλημα τερματισμού στον Martin Davis.

Conway proved that the problem: Given g and n, does the sequence of iterates g k( n){\displaystyle g^{k}(n)} reach 1? is undecidable, by representing the halting problem in this way.
Ο Conway απέδειξε ότι το πρόβλημα: Δεδομένων των g και n, θα φτάσει η επαναληπτική ακολουθία gk(n) στο 1; είναι μη αποφασίσιμη, εκφράζοντας το πρόβλημα τερματισμού με αυτόν τον τρόπο.

The natural examples of sets that are not computable, including many different sets that encode variants of the halting problem, have two properties in common: They are recursively enumerable, and Each can be translated into any other via a many-one reduction.
Τα φυσικά παραδείγματα των συνόλων που δεν είναι υπολογίσιμα, συμπεριλαμβανομένων πολλών διαφορετικών συνόλων που κωδικοποιούν παραλλαγές του προβλήματος τερματισμού, έχουν δύο κοινές ιδιότητες: Είναι αναδρομικά αριθμήσιμα, και Κάθε ένα μπορεί να μεταφραστεί σε οποιοδήποτε άλλο μέσω πολλών-μίας μείωσης.

Even more difficult are the undecidable problems, such as the halting problem.
Ακόμα πιο δύσκολα είναι τα μη αποφασίσιμα προβλήματα, όπως το πρόβλημα τερματισμού.

The halting problem is a decision problem about properties of computer programs on a fixed Turing-complete model of computation, i.e., all programs that can be written in some given programming language that is general enough to be equivalent to a Turing machine.
Το πρόβλημα του τερματισμού είναι ένα πρόβλημα απόφασης που αφορά υπολογιστικά προγράμματα σε ένα σταθερό Turing-πλήρες υπολογιστικό μοντέλο, δηλαδή όλα τα προγράμματα που μπορούν να γραφούν σε κάποια γλώσσα προγραμματισμού που είναι αρκετά γενική ώστε να θεωρηθεί ισοδύναμη με μία μηχανή Turing.

Rice's theorem generalizes the theorem that the halting problem is unsolvable.
To θεώρημα Rice γενικεύει το θεώρημα που λέει ότι το πρόβλημα τερματισμού είναι άλυτο.

Post's original motivation in the study of this lattice was to find a structural notion such that every set which satisfies this property is neither in the Turing degree of the recursive sets nor in the Turing degree of the halting problem.
Το αρχικό κίνητρο του Post στη μελέτη αυτού του πλέγματος ήταν να βρεθεί μια δομική αντίληψη, έτσι ώστε κάθε σύνολο που ικανοποιεί αυτή την ιδιότητα δεν είναι ούτε στο βαθμό Turing των αναδρομικών συνόλων ούτε στο βαθμό Turing του προβλήματος τερματισμού.

Post showed that these sets are strictly between the computable sets and the halting problem with respect to many-one reducibility.
Ο Post έδειξε ότι αυτά τα σύνολα είναι αυστηρά μεταξύ των υπολογίσιμων συνόλων και του προβλήματος τερματισμού σε σχέση με την πολλές-μια αναγωγιμότητα.

It is an open question whether there can be actual deterministic physical processes that, in the long run, elude simulation by a Turing machine, and in particular whether any such hypothetical process could usefully be harnessed in the form of a calculating machine(a hypercomputer) that could solve the halting problem for a Turing machine amongst other things.
Ανοιχτό πρόβλημα αποτελεί το ερώτημα αν θα μπορούσαν να υπάρξουν καθοριστικές φυσικές διαδικασίες που, μακροπρόθεσμα, ξεφεύγουν της προσομοίωσης από μηχανές Turing, και συγκεκριμένα αν μια τέτοια υποθετική διαδικασία θα μπορούσε να αξιοποιηθεί στη μορφή μιας υπολογιστική μηχανής(έναν υπερυπολογιστή) που να μπορεί, μεταξύ άλλων, να λύνει το πρόβλημα του τερματισμού στις μηχανές Turing.

Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible inputs cannot exist.
Ο Άλαν Τιούρινγκ, το 1936, απέδειξε ότι δεν υπάρχει κάποιος γενικός αλγόριθμος ο οποίος θα λύνει το πρόβλημα του τερματισμού για όλα τα πιθανά ζεύγη προβλήματος-εισόδου.

This result dates from the works of Church, Gödel and Turing in the 1930s(see: Halting problem and Rice's theorem).
Το αποτέλεσμα αυτό προκύπτει από τις εργασίες των Αλόνζο Τσερτς, Κουρτ Γκέντελ και Άλαν Τούρινγκ στη δεκαετία του 1930(βλ. πρόβλημα τερματισμού και θεώρημα Ράις).