HALT-Problem: ich finde leider gerade keinen passenden Link dazu,
es handelt sich, um das Problem, mit einem Programm A herausfinden
zu koennen, ob ein Programm B immer zu einem HALT-Zustand (also
definiertes Programmende) kommt.
Die Unmoeglichkeit ist mathematisch bewiesen.
nicht angemeldet