Zur rekursiven Funktionentheorie (Q767910)

Die Arbeit enthält unter anderem die folgenden Sätze: Es ist nicht entscheidbar, ob eine rekursive, rekursiv konvergente Folge rationaler Zahlen einen rationalen Grenzwert besitzt. Eine rekursive reelle Funktion nimmt zwischen einem positiven und negativen Wert den Wert 0 an (der Satz ist richtig, doch scheint Ref. der Beweis -- nach \glqq offenbar\grqq{} -- einen Fehler zu enthalten).