Entscheidbarkeit
摘要
Nicht jede Aufgabe lässt sich mit einem Computer lösen. Das von Alan Turing entdeckte Halteproblem ist wahrscheinlich das berühmteste solche Problem. Es steht aber nicht alleine, eine ganze Familie von Problemen sind nicht entscheidbar.