Wie die Rekursionstheorie, so ist auch die berechenbare Analysis ein Zweig der klassischen Mathematik.
Like ordinary recursion theory, computable analysis is a branch of classical mathematics.
Shoenfield beschäftigte sich mit Rekursionstheorie, Modelltheorie und axiomatischer Mengenlehre.
Weiterhin umfasst die Rekursionstheorie auch das Studium von verallgemeinerter Berechenbarkeit und Definierbarkeit.
Recursion theory also includes the study of generalized computability and definability.
Ein Hauptsatz der Rekursionstheorie besagt, dass der Saboteur sein Vorhaben nicht verwirklichen kann, egal welchen Sabotage-Algorithmus er benutzt.
A main theorem of Recursion Theory states, that this is not possible, no matter what algorithmus he uses.
Zum Beispiel ist der Unvollständigkeitssatz von Gödel nicht nur in der Rekursionstheorie und der Beweistheorie von größter Bedeutung, sondern führte auch zum Satz von Löb, der in der Modallogik wichtig ist.
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.
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.
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.
Wissenschaftliche Studien über selbstreplizierende Strukturen oder Maschinen wurden zuerst 1929 von J. D. Bernal und von Mathematikern wie Stephen C. Kleene veröffentlicht, der die Rekursionstheorie in den 1930er Jahren zu entwickeln begann.
Scientific study of self-reproducing machines was anticipated by John Bernal as early as 1929 and by mathematicians such as Stephen Kleene who began developing recursion theory in the 1930s.
Er beschäftigte sich vor allem mit Rekursionstheorie und effektiver deskriptiver Mengenlehre.
Die eleganten Begriffe und Schlüsse der Rekursionstheorie haben für andere Disziplinen als Vorbild gedient, vor allem für die Komplexitätstheorie.
Wir geben eine Einführung in die elementaren Begriffe und Sachverhalte der Rekursionstheorie; historisch stellen sie eine wichtige Quelle für die Disziplin der Informatik dar.
We present an introduction to elementary terminology and facts of Recusion Theory, which build an important foundation for the discipline of computer schience.
Oft wird sie wiederum in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt.
Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory.
Weiterhin umfasst die Rekursionstheorie auch das Studium von verallgemeinerter Berechenbarkeit und Definierbarkeit. Die Grenzen zwischen diesen Gebieten und auch zwischen der mathematischen Logik und anderen Bereichen der Mathematik sind nicht immer genau definiert.
The divisions between these areas, along with the divisions between mathematical logic and the rest of mathematics, are not completely sharp, with many areas of research and methods overlapping and reinforcing each other.
Arnold Oberschelp: Rekursionstheorie.
