What is the translation of " RECURSION THEORY " in Greek?

• θεωρία αναδρομής
• την θεωρία αναδρομής
• θεωρίας αναδρομής
• η ανάδρομη θεωρία
• αναδρομικής θεωρίας

Examples of using Recursion theory in English and their translations into Greek

Edit Recursion theory.
Επεξεργασία Θεωρία αναδρομής.

Kripke-Platek set theory is closely related to generalized recursion theory.
Το σύστημα θεωρία συνόλων Κρίπκε-Πλάτεκ είναι στενά σχετιζόμενο με την γενική θεωρία αναδρομής.

Main article: Recursion theory.
Κύριο λήμμα: Θεωρία αναδρομής.

Recursion theory Recursion Recursion(computer science).
Θεωρία αναδρομής Αναδρομή Αναδρομή(επιστήμη των υπολογιστών).

An important subfield of recursion theory studies algorithmic unsolvability;
Αλγοριθμικά μη επιλύσιμα προβλήματα Ένα σημαντικό υποπεδίο της θεωρίας αναδρομής μελετά την αλγοριθμική μη επιλυσιμότητα.

Recursion theory also includes the study of generalized computability and definability.
Η θεωρία αναδρομής επίσης περιέχει τη μελέτη της γενικής υπολογισιμότητας και ορισιμότητας.

The system of Kripke- Platek set theory is closely related to generalized recursion theory.
Το σύστημα θεωρία συνόλων Κρίπκε-Πλάτεκ είναι στενά σχετιζόμενο με την γενική θεωρία αναδρομής.

In recursion theory, 0 can be used to denote the Turing degree of the partial computable functions.
Στη θεωρία αναδρομής, το 0 μπορεί να χρησιμοποιηθεί για να υποδηλώσει το βαθμό αναδιάρθρωσης των μερικώς υπολογίσιμων συναρτήσεων.

Priority arguments have been employed to solve many problems in recursion theory, and have been classified into a hierarchy based on their complexity(Soare 1987).
Τα επιχειρήματα Προτεραιότητας έχουν χρησιμοποιηθεί για να λύσουν πολλά προβλήματα στη θεωρία αναδρομής, και έχουν ταξινομηθεί σε μια ιεραρχία με βάση την πολυπλοκότητά τους(Soare 1987).

Recursion theory 6.1 Algorithmically unsolvable problems 7 Proof theory and constructive mathematics.
Θεωρία αναδρομής 6.1 Αλγοριθμικά μη επιλύσιμα προβλήματα 7 Θεωρία αποδείξεων και κατασκευαστικά μαθηματικά.

Gödel's incompleteness theorem marks not only a milestone in recursion theory and proof theory, but has also led to Löb's theorem in modal logic.
Το θεώρημα μη-πληρότητας του Γκέντελ όχι μόνο αποτελεί σταθμό στη θεωρία αναδρομής και τη θεωρία αποδείξεων, αλλά και έχει οδηγήσει στο θεώρημα Λόεμπ, το οποίο είναι σημαντικό στην τροπική λογική.

Classical recursion theory focuses on the computability of functions from the natural numbers to the natural numbers.
Η κλασσική θεωρία αναδρομής εστιάζει στην υπολογισιμότητα των συναρτήσεων από φυσικούς αριθμούς σε φυσικούς αριθμούς.

Mathematical logic is often divided into the subfields of set theory, model theory, recursion theory, proof theory, and constructive mathematics.
Η μαθηματική λογική διαιρείται συχνά στα υποπεδία θεωρία συνόλων, θεωρία μοντέλων, θεωρία αναδρομής και θεωρία αποδείξεων και κατασκευαστικά μαθηματικά.

Generalized recursion theory extends the ideas of recursion theory to computations that are no longer necessarily finite.
Η γενικευμένη θεωρία αναδρομής επεκτείνει τις ιδέες της θεωρίας αναδρομής σε υπολογισμούς που δεν είναι πλέον απαραίτητα πεπερασμένοι.

Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
Μαθηματική λογική είναι μια επέκταση της συμβολικής λογικής σε άλλα πεδία, ιδίως στη μελέτη της θεωρίας μοντέλων, της θεωρίας αποδείξεων, της θεωρίας συνόλων και της θεωρίας αναδρομής.

Recursion theory originated in the 1930s, with work of Kurt Gödel, Alonzo Church, Rózsa Péter, Alan Turing, Stephen Kleene, and Emil Post.
Η Αναδρομή θεωρία προέρχεται από τη δεκαετία του 1930, με το έργο του Kurt Gödel, Alonzo Church, Alan Turing, Stephen Kleene και Emil Post.

Invention of the central combinatorial object of recursion theory, namely the Universal Turing Machine, predates and predetermines the invention of modern computers.
Αξιοσημείωτη είναι η εφεύρεση του κεντρικού συνδυαστικού αντικειμένου της Αναδρομικής Θεωρίας, δηλαδή το Universal Turing Machine, το οποίο προηγείται και προκαθορίζει την εφεύρεση των σύγχρονων υπολογιστών.

Recursion theory includes the study of generalized notions of this field such as arithmetic reducibility, hyperarithmetical reducibility and a-recursion theory, as described by Sacks(1990).
Η ανάδρομη θεωρία περιλαμβάνει τη μελέτη των γενικευμένων εννοιών του τομέα αυτού, όπως η αριθμητική αναγωγή, η υπεραριθμιτική αναγωγή και θεωρία της α-αναδρομής, όπως περιγράφεται από τον Sacks(1990).

Remarkably, the invention of the central combinatorial object of recursion theory, namely the Universal Turing Machine, pre-dates and pre-determines the invention of modern computers.
Αξιοσημείωτη είναι η εφεύρεση του κεντρικού συνδυαστικού αντικειμένου της Αναδρομικής Θεωρίας, δηλαδή το Universal Turing Machine, το οποίο προηγείται και προκαθορίζει την εφεύρεση των σύγχρονων υπολογιστών.

Today recursion theory is mostly concerned with the more refined problem of complexity classes-when is a problem efficiently solvable?
Σήμερα η θεωρία αναδρομής ως επί το πλείστον ασχολείται με το πιο εκλεπτυσμένο πρόβλημα των κλάσεων πολυπλοκότητας- πότε ένα πρόβλημα είναι αποτελεσματικά επιλύσιμο;?

There are uncountably many sets that are not recursively enumerable, and the investigation of the Turing degrees of all sets is as central in recursion theory as the investigation of the recursively enumerable Turing degrees.
Υπάρχουν αμέτρητα πολλά σύνολα που δεν είναι αναδρομικά αριθμήσιμα, καθώς και η διερεύνηση των Turing βαθμών όλων των συνόλων είναι τόσο κεντρική στη θεωρία αναδρομής και τη διερεύνηση των αναδρομικά αριθμήσιμων βαθμών Turing.

The basic questions addressed by recursion theory are"What does it mean for a function on the natural numbers to be computable?
Τα βασικά ερωτήματα που απευθύνονται από την Θεωρία Αναδρομής είναι«Τι σημαίνει για μια συνάρτηση, ορισμένη στους φυσικούς αριθμούς, ότι είναι υπολογίσιμη;?

His work had started logic on this course of clarification; the need to understand Gödel's work then led to the development of recursion theory and then mathematical logic as an autonomous discipline in the 1930s.
Η εργασία του Χίλμπερτ είχε εκκινήσει αυτήν την πορεία της αποσαφήνισης· στη συνέχεια η ανάγκη να κατανοηθεί η δουλειά του Γκέντελ οδήγησε στην ανάπτυξη της θεωρίας αναδρομής και της μαθηματικής λογικής ως αυτόνομου γνωστικού πεδίου, κατά τη δεκαετία του 1930.

Computable and uncomputable sets==Recursion theory originated in the 1930s, with work of Kurt Gödel, Alonzo Church, Alan Turing, Stephen Kleene and Emil Post.
Η Αναδρομή θεωρία προέρχεται από τη δεκαετία του 1930, με το έργο του Kurt Gödel, Alonzo Church, Alan Turing, Stephen Kleene καιEmil Post.

Recursion theory in mathematical logic has traditionally focused on relative computability, a generalization of Turing computability defined using oracle Turing machines, introduced by Turing(1939).
Η θεωρία της αναδρομής στη Μαθηματική λογική παραδοσιακά εστιαζόταν στη σχετική υπολογισιμότητα, μια γενίκευση της υπολογισιμότητας Turing, που καθορίζεται χρησιμοποιώντας μια μηχανή Turing που παρουσιάστηκε από τον Turing(1939).

The basic questions addressed by recursion theory are"What does it mean for a function from the natural numbers to themselves to be computable?
Τα βασικά ερωτήματα που απευθύνονται από την Θεωρία Αναδρομής είναι«Τι σημαίνει για μια συνάρτηση, ορισμένη στους φυσικούς αριθμούς, ότι είναι υπολογίσιμη;?

Recursion theory, also called computability theory, studies the properties of computable functions and the Turing degrees, which divide the uncomputable functions into sets that have the same level of uncomputability.
Η Θεωρία αναδρομής, ή θεωρία υπολογισιμότητας, μελετά τις ιδιότητες των υπολογίσιμων συναρτήσεων, και τους βαθμούς Τούρινγκ, που διαιρούν τις μη-υπολογίσιμες συναρτήσεις σε σύνολα που έχουν το ίδιο επίπεδο μη-υπολογισιμότητας.

The main professional organization for recursion theory is the Association for Symbolic Logic, which holds several research conferences each year.
Η κύρια επαγγελματική οργάνωση για τη θεωρία της αναδρομής είναι η Ένωση της Συμβολικής Λογικής, η οποία οργανώνει διάφορα ερευνητικά συνέδρια κάθε χρόνο.

Today recursion theory is mostly concerned with the more refined problem of complexity classes- when is a problem efficiently solvable?- and the classification of degrees of unsolvability.
Σήμερα η θεωρία αναδρομής ως επί το πλείστον ασχολείται με το πιο εκλεπτυσμένο πρόβλημα των κλάσεων πολυπλοκότητας- πότε ένα πρόβλημα είναι αποτελεσματικά επιλύσιμο;- και την ταξινόμηση των βαθμών αναποκρισιμότητας.

According to Rogers, the sets of interest in recursion theory are the noncomputable sets, partitioned into equivalence classes by computable bijections of the natural numbers.
Σύμφωνα με τον Rogers, τα σύνολα των τόκων στη θεωρία της αναδρομής είναι τα μη-υπολογίσιμα σύνολα, χωρισμένα σε κατηγορίες ισοδυναμίας από υπολογίσιμες συναρτήσεις των ακεραίων αριθμών.