{"entities":{"Q2579582":{"pageid":2590325,"ns":120,"title":"Item:Q2579582","lastrevid":44398410,"modified":"2025-11-22T16:16:38Z","type":"item","id":"Q2579582","labels":{"en":{"language":"en","value":"The calculi of lambda-conversion."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502126"}},"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":"Q2579582$52777D81-A9F1-43A7-BB98-FB1C74316154","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af7e0a41ef4c775ed990082d908ee8e717a4bc12","datavalue":{"value":{"text":"The calculi of lambda-conversion.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2579582$AC3C688C-FA96-464D-9C05-49751C758F13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"846bd1201c0074b327f7ad61a66f3ae8b0b83e0b","datavalue":{"value":"67.0041.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579582$938F89EA-F9B9-4385-B15A-BFCD5FE2A9F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dc0441b82eacbecf57c6910aff2533b7e1c147a","datavalue":{"value":"10.1515/9781400881932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579582$1F6CA9EE-FD78-460C-8358-4562C2B8D98F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41cea8b6dff5efa56952d5f3447feec1f80ec10f","datavalue":{"value":{"entity-type":"item","numeric-id":2579581,"id":"Q2579581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579582$8D4CEE76-F9B0-4930-BFA1-8F9ABBD0AB70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-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":"Q2579582$4FE1540A-67CD-4FD1-A96C-CAE53F3B521F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98913dccd8f9d019ca8440bc72d1e4044c5b1570","datavalue":{"value":"Man denke sich einen Kalk\u00fcl, so da\u00df \\(M\\) in bezug auf diesen Kalk\u00fcl ein sinnvoller Ausdruck ist. \\(x\\) komme in \\(M\\) frei vor. In diesen Kalk\u00fcl sei das \\(\\lambda \\)-Symbol so eingef\u00fchrt, da\u00df \\(\\lambda xM\\) interpretiert werden kann als die Funktion, deren Funktionswert f\u00fcr jedes zur Konkurrenz zugelassene Argument \\(\\alpha \\) die Bedeutung des Ausdrucks ist, den man aus \\(M\\) dadurch erh\u00e4lt, da\u00df \\(x\\) an jeder Stelle, an der \\(x\\) in \\(M\\) frei vorkommt, durch ein und dasselbe \\(\\alpha \\)-Symbol ersetzt wird. Dann hat man die Basis des Lambda-Kalk\u00fcls.  Der Weg von dieser Basis bis zur Konstituierung eines (ein m\u00f6glichst gro\u00dfes Segment der Mathematik umfassenden) Logikkalk\u00fcls, f\u00fcr den die Widerspruchsfreiheit bewiesen werden kann, ist so weit, so abstrakt und so ungew\u00f6hnlich, da\u00df er hier nicht angedeutet werden kann. Der erzielte Kalk\u00fcl tr\u00e4gt finitistische Z\u00fcge. Die Alternative von \\(A\\) und \\(B\\) ist beweisbar in ihm dann und nur dann, wenn \\(A\\) beweisbar oder \\(B\\) beweisbar ist. Die Ausdrucksmittel und -m\u00f6glichkeiten, insbesondere in bezug auf die Generalisierung, reichen an die der Principia Mathematica nicht heran.  Es scheint mir, da\u00df das Interesse an diesem Kalk\u00fcl auf die folgenden drei Hauptpunkte konzentriert werden darf: (1) Dieser Kalk\u00fcl ist typenfrei. Hierauf wird zwar nirgends Bezug genommen. Es scheint mir jedoch, da\u00df das Desiderat eines im mathematischen Sinne m\u00f6glichst ausdrucksvollen typenfreien Logikkalk\u00fcls, f\u00fcr den die Widerspruchsfreiheit bewiesen werden kann, das Hauptmotiv dieser Kalk\u00fclsch\u00f6pfung gewesen ist. -- (2) F\u00fcr diesen Kalk\u00fcl kann die Widerspruchsfreiheit mit den Beweismitteln einer im strengen Sinne finitistisch-konstruktiven Metalogik bewiesen werden. -- (3) Das \\(\\lambda \\)-Symbol ist in diesen Kalk\u00fcl so eingef\u00fchrt, da\u00df mit Hilfe dieses Symbols nicht nur die G\u00f6delschen Zahlen formalisiert werden k\u00f6nnen, sondern auch ein f\u00fcr metamathematische Untersuchungen so wichtiger Begriff wie der der effektiv berechenbaren Funktion, dessen erste Pr\u00e4zisierung dem Verf. zu verdanken ist. -- In das Konstituierungsverfahren gehen au\u00dfer den grundlegenden Begriffen der Lambda-conversion und Lambda-definability noch die Prozesse der \\(\\lambda \\)-\\(\\varkappa \\)-Konversion und \\(\\lambda \\)-\\(\\delta \\)-Konversion ein. An dem Aufbau und der Diskussion dieses Kalk\u00fcls sind neben dem Verf. Kleene und Rosser besonders beteiligt gewesen. Die vorliegende Skizze besteht aus f\u00fcnf Kapiteln mit folgenden Stichworten: I. Introductory; II. Lambda-Conversion; III. Lambda-Definability (1. Lambda-definability of functions of positive integers, 2. Ordered pairs and triads, the predecessor-function, 3. Propositional functions, the Kleene \\(p\\)-function, 4. Definition by recursion); IV. Combinations, G\u00f6del numbers; V. The calculi of \\(\\lambda \\)-\\(\\varkappa \\)-conversion and \\(\\lambda \\)-\\(\\delta \\)-conversion (1. The calculus of \\(\\lambda \\)-\\(\\varkappa \\)-conversion, 2. The calculus of restricted \\(\\lambda \\)-\\(\\varkappa \\)-conversion, 3. Transfinite ordinals, 4. The calculus of \\(\\lambda \\)-\\(\\delta \\)-conversion, 5. A system of symbolic logic).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2579582$54BBC319-EAA2-4E95-B0DB-457741D7F82C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2050f0dbe95f3b97a5a2871181ea2bd7f036e7aa","datavalue":{"value":"2502126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579582$B0DF8354-B874-44CF-8A91-A596F5D2F0E9","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":"Q2579582$923C0D0A-7568-450C-A0A5-60198BC1C143","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dece089a8f48388499d87920a54342b10e70bb0e","datavalue":{"value":"https://doi.org/10.1515/9781400881932","type":"string"},"datatype":"url"},"type":"statement","id":"Q2579582$FC2327E0-A63E-4909-983B-96C10583FE4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e28a4c56505385cda37ec5fe9638ad4199edf69f","datavalue":{"value":"W4248334295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579582$5324B5DD-5891-4C8F-9AA6-FFF7AFE74C48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a542fc4bb188d61d47e008267b4067a52a2819a","datavalue":{"value":{"entity-type":"item","numeric-id":6480754,"id":"Q6480754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579582$62AEE886-0C5A-4321-836B-A9B3063C77A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2579582","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2579582"}}}}}