Zur rekursiven Funktionentheorie (Q767910)

From MaRDI portal





scientific article; zbMATH DE number 3120043
Language Label Description Also known as
default for all languages
No label defined
    English
    Zur rekursiven Funktionentheorie
    scientific article; zbMATH DE number 3120043

      Statements

      Zur rekursiven Funktionentheorie (English)
      0 references
      1956
      0 references
      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).
      0 references

      Identifiers