Berechenbarkeitstheorie

Natural & Formal Sciences Dictionary
Die Studie darüber, welche Funktionen, Mengen und Probleme durch effektive Prozeduren (Algorithmen) berechenbar sind, Klassifikationen von Graden der Unlösbarkeit, Entscheidbarkeit und ressourcenbeschränkte Varianten; oft formalisiert durch abstrakte Maschinenmodelle und rekursive Funktionsformeln.