Berechenbarkeit

Neben zentralen Instrumenten der Berechenbarkeit, wie etwa der Goedelisierung von berechenbaren Funktionen und der Existenz universeller berechenbarer Funktionen, stehen unentscheidbare Probleme im Fokus, wie etwa das Halteproblem sowie das Wortproblem fur die Term-Ersetzung.