Ich soll zeigen, dass folgende Funktion LOOP-berechenbar ist und weiß nicht wie man bei so etwas vorgeht. Im Skript steht das f LOOP berechenbar gibt wenn es ein LOOP Programm gibt welches f berechnet. Dann habe ich noch einen Satz der sagt, dass f LOOP berechenbar ist wenn f primitiv rekursiv ist. Welches wäre denn einfache zu zeigen. Und wie geht man vor .
Ich weiß nicht wie man hier auf LATEX zugreift darum muss ich das jetzt leider so schreiben.