{"entities":{"Q2579576":{"pageid":2590319,"ns":120,"title":"Item:Q2579576","lastrevid":44399799,"modified":"2025-11-22T16:38:00Z","type":"item","id":"Q2579576","labels":{"en":{"language":"en","value":"A formalization of recursive arithmetic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502122"}},"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":"Q2579576$4C3D0651-406C-4521-8424-77BF06FCDE42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"756e1b711838adc5954cfa178079a3b8c3e12ff8","datavalue":{"value":{"text":"A formalization of recursive arithmetic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2579576$50104B67-FF48-4D1C-AB44-4382A9059E16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a56dddfd7fd2c7ae7f5d75b2eefae03fbb1d64e","datavalue":{"value":"67.0038.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579576$9CD2B858-E486-499F-9B24-93055FDC9D5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bbdc134bb0c2fd17dbeb2dd70a7bc09bf5205a8","datavalue":{"value":"10.2307/2371522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579576$CF272650-EEF0-4864-A47F-B40FE97F02C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1add02162fef49a66552187e850c2369475498a6","datavalue":{"value":{"entity-type":"item","numeric-id":559377,"id":"Q559377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579576$6CF04800-2DBC-4827-8322-6FB5C8CC0416","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":"Q2579576$3397694C-98D3-4A2D-8B18-FD8DD239910B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dea95a2f6fa74163265adbb6f3dcbdf7bca9fec3","datavalue":{"value":"Verf. gibt eine neue Formalisierung der rekursiven Arithmetik. Diese Theorie ist in Hilbert-Bernays ``Grundlagen der Mathematik'', Bd. 1 (1934; JFM 60.0017.*) auf den elementaren logischen Kalk\u00fcl mit freien Variablen gegr\u00fcndet mit Hinzuf\u00fcgung der Gleichheitsbeziehung, der Nachfolgerfunktion \\(n +1\\), der primitivrekursiven Definitionen und des Induktionsschemas. Die Formalisierung des Verf. unterscheidet sich von der von Hilbert-Bernays besonders darin, da\u00df sie nicht auf einen anderen logischen Kalk\u00fcl gegr\u00fcndet ist, sondern ein selbstst\u00e4ndiges logisches System darstellt. Nach einer Erkl\u00e4rung der primitiven Begriffe, der Axiome und der Schlu\u00dfregeln beweist Verf. einige grundlegende S\u00e4tze seines Systems und entwickelt die Eigenschaften der elementaren arithmetischen Funktionen. Danach zeigt er, da\u00df der klassische Aussagenkalk\u00fcl in seinem System enthalten ist, und da\u00df die von Hilbert-Bernays gegebene Formalisierung mit der des Verf. gleichwertig ist. Diese soll f\u00fcr gewisse metamathematische Untersuchungen besonders geeignet sein.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2579576$CB88DCB0-8208-4DF7-8319-D2079E77CCBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fb022db252c994cc5cda77943527d767f99dc17","datavalue":{"value":"2502122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579576$0A21060F-296C-41FC-AABF-B85BEF0534E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7119532effe095ac0ad4ad19f7f7e1492a6f80f","datavalue":{"value":{"entity-type":"item","numeric-id":769599,"id":"Q769599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579576$21A4C535-35F0-4585-A03E-699599EA5C86","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":"Q2579576$AC1E7A29-CB64-4F11-A1E4-E51E5578FFFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"077993f5bc26731192561971574b5cc3ca5ea3ff","datavalue":{"value":"https://doi.org/10.2307/2371522","type":"string"},"datatype":"url"},"type":"statement","id":"Q2579576$60DB9D46-BB58-4711-99B0-4B0E924D0A0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"446525c5abe303db29394d2bced5e0e454abcfec","datavalue":{"value":"W2330243593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579576$5943A7FC-8F59-45B1-9EF8-7984F05568A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2579576","badges":[]}}}}}