{"entities":{"Q2614111":{"pageid":2624854,"ns":120,"title":"Item:Q2614111","lastrevid":44485806,"modified":"2025-11-23T07:15:39Z","type":"item","id":"Q2614111","labels":{"en":{"language":"en","value":"Zur Theorie der rekursiven Funktionen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2534269"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2614111$B2F0A772-1475-4123-B1D6-7802F83B350D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f131121a4d2bba9d54811d5cbf70d78696471bfa","datavalue":{"value":{"text":"Zur Theorie der rekursiven Funktionen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2614111$7FC2DD7F-124A-49DE-9230-EAB2B4B75EB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f585aa713a3477d24da4a178190dc7b1b3eb90cc","datavalue":{"value":"61.0974.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2614111$97CE135F-D3BA-4E40-B4CA-2DE0B5E11C47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae60a4ef1761ab9a2c91187277eb65def923cc2","datavalue":{"value":{"entity-type":"item","numeric-id":563080,"id":"Q563080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2614111$C2A663D7-09BD-4D60-91FC-3187B6802C7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f82bec1cbf48dde5b3e142feb51b7b6959e188a7","datavalue":{"value":{"time":"+1935-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2614111$B8A31137-9B03-4E33-8879-67680AAF1468","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a72bbbc55dc654507e61ccbc3b3a81d70b73f6a","datavalue":{"value":"Eine zahlentheoretische Funktion wird \\textit{rekursiv} genannt, falls sie aus den Ausgangsfunktionen 0 und \\(n + 1\\) mit Hilfe von endlich vielen Substitutionen und \\textit{primitiven Rekursionen} entsteht. Dabei wird unter einer primitiven Rekursion die rekursive Definition einer Funktion \\(\\varphi\\) mit Hilfe der Funktionen \\(\\alpha\\) und \\(\\beta\\) mittels eines Gleichungssystems der Form  \\[  \\varphi(0, \\, a_1, \\ldots \\!, a_r) = \\alpha(a_1, \\ldots \\!, a_r),  \\]   \\[  \\varphi(n+1, \\, a_1, \\ldots \\!, a_r) = \\beta(n, \\, a_1, \\ldots \\!, a_r, \\, \\varphi(n, \\, a_1, \\ldots \\!, a_r))  \\]  verstanden. In {\\S} 1 wird die Rekursivit\u00e4t einiger Hilfsfunktionen bewiesen, die sp\u00e4ter gebraucht werden. {\\S} 2 enth\u00e4lt den Beweis, da\u00df eine \\textit{Wertverlaufsrekursion}, angewandt auf rekursive Funktionen, wiederum eine rekursive Funktion ergibt. Dabei nennt Verf. Wertverlaufsrekursion eine rekursive Definition, bei der \\(\\varphi(0, \\, a_1, \\ldots \\!, a_r)\\) direkt, ferner \\(\\varphi(n+1, \\, a_1, \\ldots \\!, a_r)\\) mit Hilfe der Funktionswerte von \\(\\varphi\\) an beliebig vielen Stellen angegeben wird, wobei an Stelle von \\(n + 1\\) stets kleinere Zahlen stehen; z.B.  \\[  \\varphi(0, \\, a) = \\alpha(a),  \\]   \\[  \\varphi(n+1, \\, a) = \\beta(n, \\, a, \\, \\varphi(\\gamma(n, \\, a), \\, a), \\, \\varphi(\\delta(n, \\, a), \\, a))  \\]  mit \\(\\gamma(n, \\, a) \\leqq n\\), \\(\\delta(n, \\, a) \\leqq n\\); oder  \\[  \\varphi(0, \\, a) = \\alpha(a),  \\]   \\[  \\varphi(n+1, \\, a) = \\beta(n, \\, a, \\, \\sum_{i=0}^{n} \\gamma \\, (\\varphi(i, \\, a)).  \\]  Als allgemeine Form einer Wertverlaufsrekursion wird  \\[  \\varphi(0, \\, a_1, \\ldots \\!, a_r) = \\alpha(a_1, \\ldots \\!, a_r),  \\]   \\[  \\varphi(n+1, \\, a_1, \\ldots \\!, a_r) = \\beta \\left (n, \\, a_1, \\ldots \\!, a_r, \\, \\prod\\limits_{i=0}^{n} p_i^{\\varphi(i, \\, a_1, \\ldots \\!, a_r)} \\right)  \\]  zugrunde gelegt (\\(p_0 = 2\\), \\(p_n\\) = die \\(n\\)-te ungerade Primzahl f\u00fcr \\(n \\geqq 1\\)); es wird gezeigt, da\u00df diese Form die rekursiven Definitionen der oben erw\u00e4hnten Beispiele als Spezialf\u00e4lle enth\u00e4lt. Der Beweis ist im wesentlichen derselbe, den Verf. in Math. Ann. 110 (1934), 612-632 (F.~d.~M. 60\\(_{\\text{II}}\\), 851) gegeben hat. In {\\S} 3 wird bewiesen, da\u00df aus rekursiven Funktionen auch durch eine \\textit{eingeschachtelte Rekursion} wiederum eine rekursive Funktion entsteht. Dabei sagt man, die Funktion \\(\\varphi\\) entsteht aus den Funktionen \\(\\alpha, \\, \\beta_1, \\, \\beta_2, \\ldots \\!, \\beta_l\\) durch eine eingeschachtelte Rekursion, falls  \\[  \\varphi(0, \\, a_1, \\ldots \\!, a_r) = \\alpha(a_1, \\ldots \\!, a_r),  \\]  ferner \\(\\varphi(n+1, \\, a_1, \\ldots \\!, a_r)\\) als ein Ausdruck angegeben ist, der aus \\(\\varphi, \\, \\beta_1, \\, \\beta_2, \\ldots \\!, \\beta_l\\) mit Hilfe von endlich vielen Einsetzungen entsteht, aber so, da\u00df an der ersten Argumentstelle von \\(\\varphi\\) stets \\(n\\) stehen soll; z. B.  \\[  \\varphi(0, \\, a) = \\alpha(a),  \\]   \\[  \\varphi(n+1, \\, a) = \\beta(n, \\, \\varphi(n, \\, \\gamma(n, \\, a, \\, \\varphi(n, \\, a))).  \\]  Der Beweis ist wesentlich einfacher, als in der oben angef\u00fchrten Arbeit; die dort auftretenden kombinatorischen Schwierigkeiten werden n\u00e4mlich mit Hilfe des Satzes von der eindeutigen Primfaktorenzerlegung umgangen. Der deutsche Auszug am Schl\u00fcsse der Arbeit ist so ausf\u00fchrlich, da\u00df daraus alle Einzelheiten dieses Beweises zu verstehen sind.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2614111$D7B13536-24D6-4E3E-9609-6B63176BA6F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66c6cea8c828f6e96da034a2b53dc2bb4296a02c","datavalue":{"value":"2534269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2614111$D8D8590B-E9E6-4238-A2A2-3050C7D4BAC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"957bab8ab8cd31953f7d7269e7d562a64abcb4c2","datavalue":{"value":{"entity-type":"item","numeric-id":562904,"id":"Q562904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2614111$7E097229-E439-48BE-BD9A-23CEB5801F08","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2614111$ABF74708-F971-4CDA-8578-BD59AEEAF70D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2614111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2614111"}}}}}