{"entities":{"Q2611338":{"pageid":2622081,"ns":120,"title":"Item:Q2611338","lastrevid":44478351,"modified":"2025-11-23T06:00:46Z","type":"item","id":"Q2611338","labels":{"en":{"language":"en","value":"Konstruktion nichtrekursiver Funktionen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2531293"}},"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":"Q2611338$77AB49AC-0784-48C4-8347-39715B9B38B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b25f68ba45d56fc587be390a99d87b54fd401635","datavalue":{"value":{"text":"Konstruktion nichtrekursiver Funktionen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2611338$3EE7A97A-8C01-460C-BC0A-2A84D8374AE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40da697bda3255807ce965da4b57650746c32541","datavalue":{"value":"61.0052.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611338$16F1D141-82C3-41EA-B06F-2194412B7D87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a082c54dad04589570ff65b59352f4a38ec7e617","datavalue":{"value":"10.1007/BF01472200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611338$F4A3FFD3-A36A-4ADB-9E34-DE92993352B8","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":"Q2611338$97B3969B-EAA1-442A-B4EA-51B122FE74AA","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":"Q2611338$A3E50DBA-0BF6-412A-BC98-9BAF6EA36C99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"179fb409b6dd127f190cad270030062525e3c4ee","datavalue":{"value":"https://eudml.org/doc/159756","type":"string"},"datatype":"url"},"type":"statement","id":"Q2611338$790A17E1-752A-4391-A272-FB19960827C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5393dc14e78b74338503dc3c4ad20678c3c79a93","datavalue":{"value":"\\textit{W. Ackermann} hat bewiesen (Math. Ann. 99 (1928), 118-133; F. d. M. 54, 57 (JFM 54.0057.*)), da\u00df die mehrfache Rekursion, d. h. gleichzeitige Rekursion nach mehreren Variablen, aus der Klasse der ``rekursiven'' Funktionen, d. h. der durch einfache Rekursion herstellbaren, hinausf\u00fchrt. F\u00fcr diesen Satz werden in vorliegender Arbeit zwei weitere Beweise gegeben. Der erste Beweis beruht auf dem Diagonalverfahren. Es wird gezeigt, da\u00df die zweistelligen rekursiven Funktionen aus f\u00fcnf Ausgangsfunktionen durch Anwendung eines Rekursionsschemas ohne Parameter und eines Substitutionsschemas entstehen. Dadurch gelingt es ziemlich einfach, diese zweistelligen Funktionen abzuz\u00e4hlen, und die Abz\u00e4hlung liefert eine dreistellige Funktion, die nach dem bekannten Diagonalverfahren nicht zur Klasse der rekursiven Funktionen geh\u00f6ren kann. Andererseits zeigt Verf., da\u00df diese dreistellige Funktion durch eine zweifache Rekursion definierbar ist. Der zweite Beweis ist eine Vereinfachung des \\textit{Ackermann}schen. Es wird eine Folge von Funktionen \\(\\varphi_m(n)\\) gebildet, welche die Eigenschaften  a) \\(\\varphi_m(n) > n\\), \\quad b) \\((n < n') \\to (\\varphi_m(n) < \\varphi_m(n'))\\), \\quad c) \\(\\varphi_{m+1}(n) \\geqq \\varphi_m(n + 1)\\)  \\noindent haben, w\u00e4hrend au\u00dferdem gezeigt wird, da\u00df es zu jeder einstelligen rekursiven Funktion \\(\\alpha(n)\\) ein solches \\(m\\) gibt, da\u00df \\(\\varphi_m(n) > \\alpha(n)\\) ist f\u00fcr alle \\(n\\). Da \\(\\varphi_n(n) > \\varphi_m(n)\\) ist, wenn \\(n > m\\), so ist also \\(\\varphi_n (n)\\) keine rekursive Funktion. Andererseits ist \\(\\varphi(m, n)=\\varphi_m(n)\\) durch die zweifache Rekursion  \\[  \\begin{gathered} \\varphi(0,n)= 2n+1, \\\\ \\varphi(m+1,0) = \\varphi(m,1), \\\\ \\varphi(m+1,n+1)=\\varphi(m,\\varphi(m+1,n)), \\end{gathered}  \\]  definiert.  Zum Schl\u00fcsse verspricht Verf., die mehrfache Rekursion n\u00e4her zu untersuchen, z. B. vom Gesichtspunkte ihres Zusammenhanges mit den \\textit{Hilbert}schen h\u00f6heren Funktionentypen, und auch von dem Gesichtspunkte, da\u00df das Diagonalverfahren auch auf die so definierten Funktionen anwendbar ist. Man wird dem Resultate dieser Untersuchung mit gro\u00dfem Interesse entgegensehen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2611338$2AA67F9D-B28D-4A91-817F-5FD985591239","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ebccf63c6c3ea10436e5fdfbc130c309ebaba4e","datavalue":{"value":"2531293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611338$C1159454-9657-4C59-99C0-26C837A7EBA5","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":"Q2611338$83198ABA-1FD4-4DE4-91E7-B50ABE09E4F7","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":"Q2611338$0BFAF512-8CC7-498D-B1D7-072F1764C15D","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":"Q2611338$0A84776E-6BDE-416F-97D7-68E469D8AC2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2611338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2611338"}}}}}