Halteproblem/Goldbachsche Vermutung/Aufgabe

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