primitive rekursive funktionale Äquivalenz
Ist es bei zwei primitiven rekursiven Funktionen entscheidbar, ob sie dieselbe Funktion sind oder nicht? Nehmen wir zum Beispiel die Sortieralgorithmen A und B, die primitiv rekursiv sind. Obwohl es viele Algorithmen zum Sortieren gibt, beschreiben sie alle dieselbe Beziehung. Kann bei zwei...