{"entities":{"Q2603370":{"pageid":2614113,"ns":120,"title":"Item:Q2603370","lastrevid":44459751,"modified":"2025-11-23T02:48:00Z","type":"item","id":"Q2603370","labels":{"en":{"language":"en","value":"Computability and \\(\\lambda\\)-definability."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2522537"}},"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":"Q2603370$72FDD17D-05CA-4B6F-A05D-765B68A42834","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"736fbae88326aeb585dc41b7594e2b17a9b44d2d","datavalue":{"value":{"text":"Computability and \\(\\lambda\\)-definability.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2603370$2AFCF8CE-868C-44C9-A204-3E472080C624","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"723fee5e4c87f84e3431c28388a40e7cc1f9a81e","datavalue":{"value":"63.0824.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603370$E11C0A2C-BE33-4C8E-B326-C203B9126C0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91ce86ebbdfc882f9fcd660b558f8b6fdd9c2649","datavalue":{"value":"10.2307/2268280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603370$10D1848E-86BE-4F77-A165-0867F8B3D31E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0355dbed6289ee949e5a70974729934b3a9b008","datavalue":{"value":{"entity-type":"item","numeric-id":2593897,"id":"Q2593897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2603370$87D77D32-88EC-415F-8D98-7B4574C456B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b5727a7c5b8fd0294ba23bb629bc28c096c780c","datavalue":{"value":{"time":"+1937-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":"Q2603370$7FD93119-DD9F-4302-AE83-83B928156FEB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"62643b188e6f1b25f55faf5fa17e4321cd0b729a","datavalue":{"value":"Verf. hat fr\u00fcher (Proc. London math. Soc. (2), 42 (1936), 230-265; F.~d.~M. 62\\(_{\\text{II}}\\), 1059) den Begriff der berechenbaren Funktion aufgestellt. Der Zweck der vorliegenden Abhandlung ist, zu zeigen, da\u00df die berechenbaren Funktionen sowohl mit den \\textit{Church}schen \\(\\lambda\\)-definierbaren Funktionen (\\textit{A.~Church}, Amer. J. Math., 58 (1936), 345-363; F.~d.~M. 62\\(_{\\text{I}}\\), 46) wie mit den allgemein-rekursiven Funktionen von \\textit{Herbrand} und \\textit{G\u00f6del} (vgl. \\textit{S.~C.~Kleene}, Math. Ann. 112 (1936), 727-742; F.~d.~M. 62\\(_{\\text{I}}\\), 44) identisch sind. Es wird hier bewiesen, da\u00df jede \\(\\lambda\\)-\\(K\\)-definierbare Funktion berechenbar ist, und da\u00df jede berechenbare Funktion allgemeinrekursiv ist. Nun ist jede \\(\\lambda\\)-definierbare Funktion auch \\(\\lambda\\)-\\(K\\)-definierbar, und fr\u00fcher hat \\textit{S.~C.~Kleene} (Duke math. J. 2 (1936), 340-353; F.~d.~M. 62\\(_{\\text{I}}\\), 45) bewiesen, da\u00df jede allgemein-rekursive Funktion \\(\\lambda\\)-definierbar ist. Hieraus folgt dann die \u00c4quivalenz aller vier Funktionsbegriffe.  In Art.~1 gibt Verf. die Definition der \\(\\lambda\\)-\\(K\\)-Definierbarkeit; der Begriff ``conversion'' ist hier besonders wichtig. In 2.~folgen Erkl\u00e4rungen \u00fcber die Anwendung von Maschinen zur Ausf\u00fchrung von Schl\u00fcssen formal-logischer Theorien. In 3. wird die mechanische Ausf\u00fchrung der ``conversion'' erkl\u00e4rt. In 4. wird dann gezeigt, da\u00df, wenn \\(f(n)\\) \\(\\lambda\\)-\\(K\\)-definierbar ist, die aus Nullen und Einsen bestehende Zeichenreihe mit \\(f(n)\\) Einsen zwischen der \\(n\\)-ten und der \\((n+1)\\)-ten Null berechenbar ist. In 5. folgt der Beweis daf\u00fcr, da\u00df jede berechenbare Funktion allgemein-rekursiv ist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2603370$32703714-B728-4EB9-B984-2828FBCCCCA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71bf7f7603ec23a8d8b57a2129f028c8b1777c7f","datavalue":{"value":"2522537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603370$B6A335BE-600F-4991-80BD-A66BF16A3375","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2594ab32550f24d1c572570035ef53b0d9042029","datavalue":{"value":"Q54196750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603370$93B8F830-9CAD-4AC2-8635-51E63AD6D8CD","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":"Q2603370$587267D1-9CA9-4232-873D-839AAFF4D19F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cbd70f580f43b9d25f043f71c15129e050e15d5","datavalue":{"value":"https://doi.org/10.2307/2268280","type":"string"},"datatype":"url"},"type":"statement","id":"Q2603370$003E7BA9-E10F-4BF9-A4EE-9EAE9AE06A17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c49f52272733a5c3f0af22b6f3cb81b8e59f5ba7","datavalue":{"value":"W1485161910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2603370$EA87954D-5E49-4B7B-B7B9-615D67DDC8D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2603370$A76AE1A8-2136-49A7-9FF6-40FFA9350EA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2603370","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2603370"}}}}}