{"entities":{"Q2610751":{"pageid":2621494,"ns":120,"title":"Item:Q2610751","lastrevid":44476935,"modified":"2025-11-23T05:43:12Z","type":"item","id":"Q2610751","labels":{"en":{"language":"en","value":"\u00dcber die mehrfache Rekursion."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2528665"}},"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":"Q2610751$8A3874ED-5610-495A-A9BD-1938440DF9A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4121bfbba31e7352c09ddb6f506bb8a353dd8a67","datavalue":{"value":{"text":"\u00dcber die mehrfache Rekursion.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2610751$FE78255C-7A84-421F-924C-E5408665DDF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d12386448a763c297d198de0ea3f658ad5c6a129","datavalue":{"value":"62.1055.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2610751$B07CC373-735F-427D-BE8E-AF86821104AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b51fd71912d11a8cebb6a6de7c73a8a4dcc12d0","datavalue":{"value":"10.1007/BF01571648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2610751$F706BE10-B357-46E7-B93C-760D79E13BF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2610751$F86C2722-53CA-49B5-A17C-9B464F39A89B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4fd24e618322be35613a64fc5f86a90753a27b1","datavalue":{"value":{"time":"+1936-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":"Q2610751$A9D7E146-1F84-4BF9-90C2-012D3E2185E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68a274165298e6f5685be21bc391eeb1625e6f76","datavalue":{"value":"https://eudml.org/doc/159882","type":"string"},"datatype":"url"},"type":"statement","id":"Q2610751$C5BDC116-2655-4159-A07A-3E4BC518DEAD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3b9fd0bdb2632dedd670b8ecdc330552046af17","datavalue":{"value":"Vorliegende Arbeit enth\u00e4lt wichtige Ergebnisse \u00fcber die mehrfachen rekursiven Definitionen, d. h. diejenigen, welche nach mehreren Variablen zugleich laufen. Die Verf. macht im Teil I darauf aufmerksam, da\u00df die mehrfachen Rekursionen sich auf einfache zur\u00fcckf\u00fchren lassen, wenn die Rekursionen der \\textit{Hilbert}schen zweiten Stufe, n\u00e4mlich Rekursionen, worin auch Funktionsfunktionen eingehen, zugelassen werden. Dies wird durch ein Beispiel n\u00e4her gezeigt; \u00fcbrigens verspricht sie, in einer sp\u00e4teren Arbeit genauer auf den Zusammenhang der \\textit{Hilbert}schen h\u00f6heren Stufen mit der mehrfachen Rekursion zur\u00fcckzukommen.  Im Teil II wird zuerst die \\(k\\)-fache Rekursion auf eine ``normierte'' Form gebracht. In dieser k\u00f6nnen beliebig komplizierte Einschachtelungen vorkommen. Verf. zeigt, wie diese teilweise eliminiert werden k\u00f6nnen, so da\u00df man die ``primitive'' Form der \\(k\\)-fachen Rekursion erh\u00e4lt. In dieser kommen nur zweifache Einschachtelungen vor. Andererseits beweist sie, da\u00df die mehrfachen Rekursionen ohne Einschachtelung s\u00e4mtlich auf einfache Rekursionen zur\u00fcckf\u00fchrbar sind. Da nach einem Satze von \\textit{Ackermann} schon eine zweifache Rekursion \u00fcber die einfachen hinausf\u00fchren kann, so folgt, da\u00df eine Elimination der in der ``primitiven'' \\(k\\)-fachen Rekursion noch vorkommenden Einschachtelungen nicht m\u00f6glich ist. Die Zur\u00fcckf\u00fchrung der \\(k\\)-fachen Rekursionen auf die ``primitive'' Form erm\u00f6glicht eine Abz\u00e4hlung aller \\(k\\)-rekursiven Funktionen. Diese Abz\u00e4hlung wird durch eine \\((k+1)\\)-fache Rekursion bewerkstelligt. Nach dem Diagonalverfahren folgt daraus, da\u00df diese \\((k+1)\\)-fache Rekursion aus dem Bereich der \\(k\\)-rekursiven Funktionen hinausf\u00fchrt. Im letzten Paragraphen wird unter Anwendung eines von \\textit{J. v. Neumann} herr\u00fchrenden Gedankens der Satz bewiesen: Jede \\(k\\)-rekursive Funktion \\(\\psi \\,(n_1, \\ldots \\!, n_l)\\) kann in der ``expliziten'' Form  \\[  \\psi \\,(n_1, \\ldots \\!, n_l)= \\alpha \\,(\\mu_x \\,(\\text{\\boldsymbol{B}} \\,(x, \\,n_1, \\ldots \\!, n_l)))  \\]  geschrieben werden, wo \\(\\alpha \\,(n)\\) eine 1-rekursive Funktion und \\(\\text{\\boldsymbol{B}} \\,(m, \\,n_1, \\ldots \\!, n_l)\\) eine 1-re kursive Beziehung ist, f\u00fcr die es zu jedem \\(n_1, \\ldots \\!, n_l\\) ein \\(m\\) gibt derart, da\u00df \\(\\text{\\boldsymbol{B}} \\,(m, \\,n_1, \\ldots \\!, n_l)\\) zutrifft; sogar gilt \\(\\psi \\,(n_1, \\ldots \\!, n_l)=\\alpha \\,(m)\\) f\u00fcr jedes solche \\(m\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2610751$86AC06A7-6868-456F-8002-6998CEC00C22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4e1c0d9b8c665cd4bfd8a0121c1b85dfaa9b621","datavalue":{"value":"2528665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2610751$073B1A81-5E50-499B-89B7-22D82CEB427E","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":"Q2610751$D1E89840-1B99-43B9-B977-1ECE0C99900F","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":"Q2610751$F5511FFF-C8C5-43F9-B0A0-32E4D852B94E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88100a68597a0f0388ad29f5d27eac96d4997788","datavalue":{"value":{"entity-type":"item","numeric-id":1840177,"id":"Q1840177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2610751$11A12630-FB68-46D4-8543-131E757F35A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2610751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2610751"}}}}}