Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Turing degrees
Geflecteerde vorm van turing degree
Vertaling van "Turing degrees" in Duits
Turinggrade
Turing-Grade
Turinggraden
One general conclusion that can be drawn from the research is that the structure of the Turing degrees is extremely complicated.
Generell lässt sich aus den bekannten Ergebnissen schließen, dass die Struktur der Turinggrade sehr kompliziert ist.
Emil Post studied the r.e. Turing degrees and asked whether there is any r.e. degree strictly between 0 and 0'.
Emil Post untersuchte in einer Arbeit von 1944 die Turinggrade und fragte, ob es rekursiv aufzählbare Turinggrade zwischen 0 und 0' gibt.
The Turing degrees were introduced by Emil Leon Post (1944), and many fundamental results were established by Stephen Cole Kleene and Post (1954).
Die Turinggrade wurden 1944 von Emil Leon Post eingeführt, und viele grundlegende Resultate wurden 1954 von Stephen Cole Kleene und Post bewiesen.
Every countable partially ordered set can be embedded in the Turing degrees.
Jede abzählbare partielle Ordnung lässt sich in die Turinggrade einbetten.
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.
Rekursionstheorie, auch Berechenbarkeitstheorie genannt, ist das Studium von berechenbaren Funktionen und den Turinggraden, welche die nicht berechenbaren Funktionen nach dem Grad ihrer Nicht-Berechenbarkeit klassifizieren.
Using a multiple permitting argument, we prove that the Turing degrees of the left-c.e. sets with the universal similarity property coincide with the c.e. not totally c.e. degrees.
Mithilfe eines multiplen Permitting-Arguments beweisen wir, dass die Turing-Grade der links-aufzählbaren Mengen mit der universellen Ähnlichkeitseigenschaft mit den aufzählbaren nicht vollständig aufzählbaren Turing-Graden übereinstimmen.
Furthermore, we prove that the nondistributive finite lattice S7 can be embedded into the c.e. Turing degrees precisely below any c.e. not totally c.e. degree.
Außerdem beweisen wir, dass der nichtdistributive endliche Verband S7 genau unterhalb jedes aufzählbaren nicht vollständig aufzählbaren Grades in die aufzählbaren Turing-Grade eingebettet werden kann.
Two sets are Turing equivalent if they have the same level of unsolvability; each Turing degree is a collection of Turing equivalent sets, so that two sets are in different Turing degrees exactly when they are not Turing equivalent.
Zwei Mengen sind Turing-äquivalent, wenn sie den gleichen Grad der Unlösbarkeit haben; jeder Turinggrad ist eine Menge Turing-äquivalenter Mengen, sodass zwei Mengen genau dann in unterschiedlichen Turinggraden liegen, wenn sie nicht Turing-äquivalent sind.
Post's theorem establishes a close connection between the arithmetical hierarchy of sets of natural numbers and the Turing degrees.
Auch darüber hinaus gibt es eine enge Beziehung zwischen der arithmetischen Hierarchie und den Turinggraden.
Computability theory: a branch of mathematical logic originating in the 1930s with the study of computable functions and Turing degrees, but now includes the study of generalized computability and definability.
Ungefähr zur selben Zeit entwickelte sich aus dem Studium von Integral- und Differentialgleichungen die Funktionalanalysis als das Studium von Funktionenräumen und von deren Abbildungen (Operatoren).
The Turing degrees have been an area of intense research since then.
Die Turinggrade sind bis heute Gegenstand intensiver Forschung.
Due to an observation of Ambos-Spies, the proof that every finite distributive lattice can be embedded into the computably enumerable Turing degrees carries over to the c.e. r-degrees.
Nach einer Beobachtung von Ambos-Spies überträgt sich der Beweis, dass jeder endliche distributive Verband in die rekursiv aufzählbaren Turinggrade einbettbar ist, auf die r-Grade.
Synoniemen voor Turing degrees in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 12. Exact: 12. Verstreken tijd: 32 ms.
