Can I read Eine Neue Definition Berechenbarer Reeller Funktionen on EtoBox?
Eine Neue Definition Berechenbarer Reeller Funktionen by Jürgen Hauck is a Computer Science article available to read on EtoBox.
What is Eine Neue Definition Berechenbarer Reeller Funktionen about?
EIR'E NEUE DEFINITION BERECHENBARER REELLER FLTNKTIONES von JURGEN HAUCK in Berlin (DDR) ## Einleitung Im Jahre 1936 begannen BANACH und MAZUR ihre Untersuchungen auf dern Grbiet der Konstruktiven Analysis. Sie nennen eine reelle Funktion berechenbar, fa 11s sie beziiglich berechenbarer reeller Folgen invariant ist. Weitere Definitionen stainmen von SPECKER (1949), MARKOW (1954), GOODSTEIN (1957) und LACOMBE (1958). Einen grundsiitzlich anderen Weg als seine Vorgitnger schliigt GRZEQORCZYK ein. Er definiert zuniichst induktiv allgemein-rekursive Funktionale r. Eine reelle Funktion f IieiDt nun berechenbar, falls es ein allgemein-rekursives Funktional r gibt, so daD fur alle reellen Zahlen x und alle ganzzahligen Funktionen y gilt : (1) fur alle n KLAUA ( 1956) gibt eine ithnliche Definition, verwendet aber (potentiell) partiell-rrkursive Funktionale. SchlieDlich hat 1971 Verfasser die Definitionen yon GRZEGORCZYK und. KLAUA verallgemeinert. Dazu wurde zunachst der Begriff der Codierung bzw. Darstellung D eingefiihrt und dann eine Funktion f beziiglich der Darstellungeii D und D' berechenbar genannt, falls fiir jedes 5 aus jeder D-Darstellung y von x eine D'-Darstellung y' von fx ko
Who reads Eine Neue Definition Berechenbarer Reeller Funktionen?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Jürgen Hauck
- Publisher
- John Wiley and Sons; Wiley (John Wiley & Sons); John Wiley & Sons Ltd.; Wiley (ISSN 0044-3050)
- Published
- 1984
- Language
- DE
- Field
- Computer Science (Physical Sciences)