{"entities":{"Q2481252":{"pageid":2491995,"ns":120,"title":"Item:Q2481252","lastrevid":50331842,"modified":"2026-01-13T20:23:05Z","type":"item","id":"Q2481252","labels":{"en":{"language":"en","value":"On explicating the concept `the power of an arithmetical theory'"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5261565"}},"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":"Q2481252$1A6F4204-AEC1-4ACE-988B-6445F07C06A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4b471ae3a406dbef7a685df448d763bf3f6e099","datavalue":{"value":{"text":"On explicating the concept `the power of an arithmetical theory'","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2481252$6ADDBBBC-3683-4DA7-95EC-5A8E42C4EDC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9abc39f59d4a956963283401bdc03583a35a089","datavalue":{"value":"1146.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481252$0AE9AA41-C3EE-4401-BF5D-AC40399BF1F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77397ceac21d556662b065f4301dfc080123cd03","datavalue":{"value":{"entity-type":"item","numeric-id":2481251,"id":"Q2481251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$1E29058B-C908-4D09-B3DF-A2C246FA0B73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$62B730F5-0324-40F7-802A-FE1A43A29A68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"edcb7406af4ccdd87408073788784b63fbc742a2","datavalue":{"value":{"time":"+2008-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2481252$13035AD5-22D4-4FB7-ABB2-4C9996D3C6FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2cf0f5cd0c03faef74c87dd7e82300d1c04d4429","datavalue":{"value":"The author defends the Antithesis that it is not possible to turn the vague concept ``the power of an arithmetical theory'' into a precise and fruitful mathematical concept; i.e., there is no explication of the concept. His point of entry comes from information-theoretic ideas of G. J. Chaitin on why one cannot derive a ``twenty-kilo'' theorem if one has only ``ten-kilo'' of axioms and rules of inference. The author's analyses and critiques of Chaitin's results are particularly useful; e.g., Chaitin's results on (1) Randomness and (2) the Halting Probability of a specific Universal Turing Machine. For some reason, there is no discussion of the power of non-arithmetical theories. Hopefully, the author does not believe that everything is reducible to arithmetic. That sounds too much like a logico-mathematical ``theory of everything''. Although there may be no explication of the notion of the power of an arithmetical theory, this will not deter people from estimating the logical strength of their formal tools, while searching to settle, e.g., the Riemann Hypothesis or some unsettled Diophantine conjectures of Fermat, Euler, Gauss, Eisenstein, Turing, or others. Indeed, the author's view of theories from the ``outside'' (instead of from the ``inside'') may provide a useful measure for estimating logical strength (unless arithmetical theories ``reside'' on some kind of Klein Bottle, in which case there is neither an ``inside'' nor an ``outside'').","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481252$E595FC41-0AB0-478A-B872-2755A20601DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481252$A49A5DA5-E380-4B4A-A640-D2D3B20F43EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481252$054854C1-2CFB-46EA-8605-F76F06B96202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481252$DC6E9678-72A4-4FFD-858A-4B23A47CB2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481252$96FB6F2E-CCAE-4BCA-B30B-EAD4DC8792BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481252$42AF79EF-8497-4E44-95B1-7A93B83A1C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481252$E1AC203A-16FD-418D-B43B-9B8EC1540DE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a701cd9c18432e3f12bde4b1905bfa391f4bb16","datavalue":{"value":"5261565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481252$B9BE65CC-B775-4594-9DEC-D69B7ECA6481","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9baf9b21255bc7c4f08f1de2606000e9b9a9e18","datavalue":{"value":"algorithmic information theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481252$E26AA017-615B-4268-994E-25DB16890908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481252$97320521-50B5-4E76-A771-152B1D6D590D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496fb62b5fbbae0889439900bccaa24ccd7b815b","datavalue":{"value":"randomness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481252$8D6B25F2-C62D-43F3-8A50-F54219BB0CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481252$3E4FCDA9-B6CF-466C-8692-87243467919B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"238b2c101b39074683453fb91c5b0628b146e004","datavalue":{"value":"axiomatic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481252$3370C6A5-747B-44DA-B7E6-46C9069C2234","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ba7232f3f7ae68133198ecf25821b70a187e9eaa","datavalue":{"value":{"entity-type":"item","numeric-id":704043,"id":"Q704043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$5C9E86BC-933B-4B2B-9756-5A0F97FE9712","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":"Q2481252$18F701FF-C562-444C-B9CD-30791CCF4C17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b52e0d1e2fb830b9ee713d1286e24ece78fd665","datavalue":{"value":"https://doi.org/10.1007/s10992-007-9077-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2481252$283922AE-C81B-4010-ADF7-7109D54C49C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1fa5aac62beacabdcf1da65d7c58fbc5dce777a","datavalue":{"value":"W2091409696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481252$133DC7F0-6AFD-4A71-9191-4E28F7790F95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41704d75503b555029d696b92528a73c9193d861","datavalue":{"value":{"entity-type":"item","numeric-id":3944575,"id":"Q3944575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$8F550EBD-8A61-40D2-94A6-8F2E6B5E4858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f416081c3eaaf4dde329560f81e41ba25dd362","datavalue":{"value":{"entity-type":"item","numeric-id":4775470,"id":"Q4775470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$779033EF-F756-44DF-8F05-F1D4B42D94CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688e530530b2aa80b106b3a8c0a385dbe89600f0","datavalue":{"value":{"entity-type":"item","numeric-id":4068087,"id":"Q4068087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$55A62D8B-DD82-48C8-9BA4-AF605B84F6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573f9451c18cb73fe59719b8f8cf8f07593917b3","datavalue":{"value":{"entity-type":"item","numeric-id":4137091,"id":"Q4137091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$A4CBA345-76FF-4DE1-9C1E-0D143B696293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2c857c735d0024f3b5dd6b29104a553131550f","datavalue":{"value":{"entity-type":"item","numeric-id":1811810,"id":"Q1811810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$2281FE7D-2280-40D4-9277-D3C9618FBDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d28fc9026587677cdd10d7cefda996374edd58","datavalue":{"value":{"entity-type":"item","numeric-id":4522700,"id":"Q4522700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$35E999A7-CBEB-49B7-B735-ED2CB4A75B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$097B6751-20BA-409C-A417-8E4C79C300B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c95dd58cc357dcb1c686b471efeabc9b455ace","datavalue":{"value":{"entity-type":"item","numeric-id":5466245,"id":"Q5466245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$B5011D9E-0EDF-4228-B422-69F5D8B9D6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba3659de23929a44a1642cbbbc4ab273698ed56","datavalue":{"value":{"entity-type":"item","numeric-id":4437331,"id":"Q4437331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$C6E11CC6-FC8F-4C3B-9934-5A2F51E0C7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47dac2d40343576b5b3d049703e489ef60d7fee7","datavalue":{"value":{"entity-type":"item","numeric-id":4023358,"id":"Q4023358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$FD7912FF-DE7E-45AF-8F58-230B186CBDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$F7E9E93D-3CE9-470E-AA09-59A49431513D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307bac0c8ae4acb746e37451dd97709be362e2d4","datavalue":{"value":{"entity-type":"item","numeric-id":4942681,"id":"Q4942681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$7BA79A3D-D098-4FE1-8DA5-28C227FAC861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce29d59885ef031e92cc10134418added531d63","datavalue":{"value":{"entity-type":"item","numeric-id":1277329,"id":"Q1277329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$AB16C327-CEE5-49B6-96E7-AAEA2D0E1416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43fbf8645052629899d0db58dde51484b532f893","datavalue":{"value":{"entity-type":"item","numeric-id":5926254,"id":"Q5926254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$047A9A56-F0B7-45BD-AB41-3A1C8DFF3ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7496384e686f7ebfdd51cf7d899d3660ae26e9","datavalue":{"value":{"entity-type":"item","numeric-id":1421905,"id":"Q1421905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$A7D9FF2A-5FF5-44F8-8EF4-F25A36E4A2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0365418a624c8d4afcaddb8f25b1c4de6c1379a","datavalue":{"value":{"entity-type":"item","numeric-id":3197800,"id":"Q3197800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481252$05707ECA-57E3-41E9-A703-02AA774A488E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f475590546558b0c9092d1c43e1b0933a2c31cd","datavalue":{"value":"10.1007/S10992-007-9077-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481252$98EE5CE8-FAB3-4A19-807C-28030E0913B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"935a93a5e9d6c16a05d81f09b0d5005836c90ab2","datavalue":{"value":{"entity-type":"item","numeric-id":1277329,"id":"Q1277329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5c3d1ec45266f9ffe182005097fc68d3b0f7fb","datavalue":{"value":{"amount":"+0.719268262386322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2481252$F5C520E1-7D0D-4CE5-9875-6DCE8C7BBF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797870d03d420916f6c9f8f3d8154ff549a2225d","datavalue":{"value":{"entity-type":"item","numeric-id":5756952,"id":"Q5756952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b41c03166a683b1a63d553d15b06f5bf5d7b640","datavalue":{"value":{"amount":"+0.6993992328643799","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2481252$BC04E57B-04CC-4A47-BA7A-4C264E0C5A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b53c531ff0eed05ee96047668cb6e2391b6a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3197800,"id":"Q3197800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1649783258011cf72fd9f3da77554a45da7d1b6","datavalue":{"value":{"amount":"+0.6931960582733154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2481252$1ED3D504-C9A6-4016-859C-67484B19D875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0a84c030c3c3fe4a475fc726c5a3f9b4121c99","datavalue":{"value":{"entity-type":"item","numeric-id":4942681,"id":"Q4942681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32fb3e87e5e407aa812313d511ad8239366832e8","datavalue":{"value":{"amount":"+0.6903132796287537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2481252$B7412549-65A3-4409-83DE-522ED58BBD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4d05588e100d1108d7974e8fef4a2b02918bd8","datavalue":{"value":{"entity-type":"item","numeric-id":4942040,"id":"Q4942040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32fb3e87e5e407aa812313d511ad8239366832e8","datavalue":{"value":{"amount":"+0.6903132796287537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2481252$ECBB5B90-927D-4D14-AA04-0F3C18F48167","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2481252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2481252"}}}}}