Halteproblem/Goldbachsche Vermutung/Aufgabe

Entwerfe ein Programm für eine Registermaschine, das genau dann anhält, wenn die Goldbachsche Vermutung

falsch ist.