{"entities":{"Q2589521":{"pageid":2600264,"ns":120,"title":"Item:Q2589521","lastrevid":44419428,"modified":"2025-11-22T19:38:48Z","type":"item","id":"Q2589521","labels":{"en":{"language":"en","value":"A formulation of the simple theory of types."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2508873"}},"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":"Q2589521$0E2D703A-2390-4908-BEA9-1412B57BF3EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae4475e20d2d97c26c2c4aef4bf391c04ce64508","datavalue":{"value":{"text":"A formulation of the simple theory of types.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2589521$4589E8C3-42DB-4CC4-9812-8ED5DC517176","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b92d2f94522670439669f2bb2ff185e9f1cfcab","datavalue":{"value":"66.1192.06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2589521$C7F401B1-54F7-4618-86AA-F9F1201F8AB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"069f3f226d8fa5398abfa6fbad49f162a7e03048","datavalue":{"value":"10.2307/2266170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2589521$B253E00F-8B2F-43A3-829D-61AA610E7D2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1701512ca85d58575d88b06da5ab938c2d9a4cd9","datavalue":{"value":{"time":"+1940-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":"Q2589521$201F8FE8-9866-4EBB-9C51-0B25D74E5286","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c802a4f0caad045e0b8b3a0062f6508db49c5d40","datavalue":{"value":"Verf. formalisiert die einfache Typentheorie, wobei er einen Teil des \\(\\lambda\\)-Konversionskalk\u00fcls mitnimmt. Er bemerkt, da\u00df es nicht m\u00f6glich ist, den ganzen \\(\\lambda\\)-Kalk\u00fcl mitzunehmen, falls \\(\\lambda\\) die Bedeutung eines Abstraktionsoperators und Nebeneinanderstellung ihre Bedeutung als die Beziehung von Funktion zu Argument behalten sollen. Die Symbole \u0131\\ und \\(\\circ\\) stellen die Grundtypen, Individuum und Aussage, dar. Sind \\(\\alpha\\) und \\(\\beta\\) Typen, so ist \\((\\alpha\\beta)\\) der Typus einer Funktion mit Argument vom Typus \\(\\beta\\) und Funktionswert vom Typus \\(\\alpha\\). Funktionen mehrerer Variablen sind im Sinne \\textit{Sch\u00f6nfinkel}s (Math. Ann., Berlin, 92 (1924), 305-316; F. d. M. 50, 23) zu verstehen. Die nat\u00fcrlichen Zahlen werden als Abk\u00fcrzungen f\u00fcr gewisse \\(\\lambda\\)-Ausdr\u00fccke eingef\u00fchrt. Das System hat sechs Schlu\u00dfregeln. Die drei ersten stellen die Regeln der \\(\\lambda\\)-Konversion dar; die anderen sind die Abtrennungs-, die Einsetzungs- und eine Generalisationsregel. Weiter hat das System 11 formale Axiome, von denen die vier ersten die Axiome des klassischen Aussagenkalk\u00fcls sind (\\textit{Hilbert-Ackermann}, Grundz\u00fcge der theoretischen Logik (2. Aufl. 1938; F. d. M. \\(64_{\\text I}\\), 26), S. 23), die sechs ersten f\u00fcr den Pr\u00e4dikatenkalk\u00fcl gen\u00fcgen, und die neun ersten f\u00fcr die elementare Zahlentheorie hinreichend sind. Drei der Peanoschen Axiome f\u00fcr die Arithmetik folgen bereits aus den sechs ersten Axiomen des Systems. Einige Theoreme f\u00fcr beliebige Typen werden bewiesen und zum Schlu\u00df die Formalisierung der Definition durch primitive Rekursion innerhalb des Systems gezeigt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2589521$87EB6DAD-C86E-4867-904B-6AAE86B863C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c416f40a7abbc3916d6f2d9184f82b70d2fbe51","datavalue":{"value":"2508873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2589521$376EB2E2-F22E-46E6-9ECC-BBF0F89CEB5E","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":"Q2589521$D2DD37A9-B777-4E64-B397-4B7430BFD169","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1dd329afcc3e43d7d4d2036dc64e53bfbee4b69f","datavalue":{"value":"https://doi.org/10.2307/2266170","type":"string"},"datatype":"url"},"type":"statement","id":"Q2589521$C45CB2E3-B657-42F3-A841-B0A62A4AD7F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab2a129a98813ec42bdb5496c6b76fc00b80308b","datavalue":{"value":"W1996404651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2589521$0515E1A2-E2D1-421F-B9CF-C53D59EE0D4A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"951231fa06014e9b03edb9c1e43dcd121163913d","datavalue":{"value":"Q56001156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2589521$47F1F619-60DB-4D4C-A8B4-5262EB627F70","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":"Q2589521$AAD8FD69-4A3F-4BF2-96A6-A513C42BCA35","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":"Q2589521$6CCDB025-EE7F-42E5-BA64-A1641C065CED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2589521","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2589521"}}}}}