{"entities":{"Q1750297":{"pageid":1761039,"ns":120,"title":"Item:Q1750297","lastrevid":69142641,"modified":"2026-04-13T05:03:18Z","type":"item","id":"Q1750297","labels":{"en":{"language":"en","value":"A problem in Pythagorean arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6870288"}},"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":"Q1750297$1CA83E58-620D-4EFF-9EF2-3CE5157AC2FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ce1057511a10a3898d063afe63d06f3b7941912","datavalue":{"value":{"text":"A problem in Pythagorean arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1750297$DD6C8C03-59A0-485F-AFD8-93F0A6CB84CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6b9babf91d1b81af10a20a56bc1070ecc73952a","datavalue":{"value":"1404.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750297$7780E3DA-65E3-479A-BD7C-0AC790B91ED7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b30ded13e47f3ec762e0df825d03e2418ef02a62","datavalue":{"value":"10.1215/00294527-2017-0028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750297$D1D2AC2D-586B-4760-BC5D-467760B447DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94a0836b8f6fa2968e81482351df8ab94ee5594d","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750297$7FE720D0-2121-41AE-8A02-B3662C58A48B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750297$ED3A698F-D822-47F0-9655-1FB43420A107","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0fc96b23bd22c58b1c85efb766530f41ccd3b2c","datavalue":{"value":{"time":"+2018-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1750297$D6332C7D-DFBA-4917-9229-1CA36728F91D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e095f13fe0d20f5ab8f0f3a91f93006c4aef777","datavalue":{"value":"https://arxiv.org/abs/1510.01645","type":"string"},"datatype":"url"},"type":"statement","id":"Q1750297$8CA9C8DB-E568-43B5-A755-0E9BE10D5DC4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"05dc75a083044813e643442b8e83a6930295fac3","datavalue":{"value":"The paper under review can be considered as a contribution to reverse mathematics, taken in a broad sense. The statement investigated is a problem from the International Mathematical Olympiad (IMO), namely that all triples \\((a,b,c)\\in\\mathbb{N}^{3}\\) such that \\(ab-c\\), \\(bc-a\\) and \\(ca-b\\) are all powers of \\(2\\) are permutations of one of the triples \\((2,2,2)\\), \\((2,2,3)\\), \\((2,6,11)\\) and \\((3,5,7)\\). It is pointed out that, according to the standards of mathematical Olympiads, the problem needs to be solvable by ``elementary means'', a claim that the paper investigates with the tools of mathematical logic.  In a first step, a subtheory of Peano arithmetic, named Pythagorean arithmetic, is given and it is argued that it captures arithmetic as done by the first of the ancient Greek mathematicians; thus, Pythagorean arithmetic arguably represents ``elementary'' means in a rather strong sense. Then, it is demonstrated that the problem in question is solvable in Pythagorean arithmetic. Finally, a model is constructed to show that natural fragments of Pythagorean arithmetic do not suffice for this task. As the relevant subtheories are very weak, the model can be and is given very explictly.  The paper is accessible to anyone with some background in elementary number theory and algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750297$7C3693EB-1FFE-4272-BB22-8D7CFC38BCA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750297$CAD70750-5322-435C-9539-DC6939004EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"009574a0aaaae71df9f86680a254995c981bac3d","datavalue":{"value":"11U09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750297$AF1FCA1C-2F26-47CF-AA79-4DEEA47188E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a956ba151c790dcf1c264a66e8b68d651f9216c","datavalue":{"value":"11A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750297$1974123C-15CF-4BF3-BBF6-19ED1628C606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750297$97BD6B2C-3162-4799-ABC4-9CF8133EBC0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15f150b3adea2f7ce205bdeea20a0e31ad56be67","datavalue":{"value":"6870288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750297$283E574B-65D8-4D4A-809F-BCDBF0132C1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750297$F58D5387-18E7-4361-BA1B-669798BE920B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750297$38D73B81-E380-4BF0-9DB6-68C343B665C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf9020b9cf738e3dc19adb35ae396c6478d2142c","datavalue":{"value":"number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750297$D35272ED-1093-42F7-9A38-4917731E51B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec165ccf8800e0ce6df903cfc649f648e5793c69","datavalue":{"value":"mathematical Olympiad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1750297$88D5EFCB-052E-4E02-834C-1F9BE4FF149A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6db96c0ef0a4fa8772d3d2aff787a1eeb8ff1b63","datavalue":{"value":"Q114060383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750297$A535F2C8-CD86-4012-A42E-5B045EDCBC8B","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":"Q1750297$3EE43DE9-B7CB-4729-9289-14B54168C933","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b67d41021e5c7f3f03fc64a6a7ae5ccb2855a58","datavalue":{"value":"W2210330717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1750297$3BEAEE93-4E8A-425D-A5BF-8656169E0A52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750297$78382624-38DD-41A8-8709-8FD85705CB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28352db62821ea4cd9ec7f0929ff0fd989d65b6c","datavalue":{"value":{"entity-type":"item","numeric-id":5737957,"id":"Q5737957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750297$FB18622F-7C21-4E39-B2D4-25B26D52565E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c8b04d4e4912d22f4ba752beaa3871d3086087","datavalue":{"value":{"entity-type":"item","numeric-id":5741617,"id":"Q5741617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750297$DBBD3AC0-EB98-4B17-9B4E-26942B3D05D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a853f129d18a8f668a97366d29ec2b4dd8e5a0e1","datavalue":{"value":{"entity-type":"item","numeric-id":4961745,"id":"Q4961745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1750297$4D88C26C-85E9-42B5-AC9A-6DA134D6FF47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6257a08c02243e931b39e56136bf57a77c31005","datavalue":{"value":{"entity-type":"item","numeric-id":4274074,"id":"Q4274074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ead63ac7aa7a8fa08fdba2c4115f645bd652de","datavalue":{"value":{"amount":"+0.6970468163490295","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":"Q1750297$87FB24CE-97A7-4AF3-876C-646783014FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26f2419e1721b55af1b947a82e32ef01e8c4a386","datavalue":{"value":{"entity-type":"item","numeric-id":4961745,"id":"Q4961745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9862acb3ed71eaa65c479efe0d02d470440c2de3","datavalue":{"value":{"amount":"+0.6961680054664612","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":"Q1750297$CF7B6F1B-15B2-48C1-93D6-EB9EF86F569E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db314e96cc8464ade5bb0f5da23848fae6078a90","datavalue":{"value":{"entity-type":"item","numeric-id":4277953,"id":"Q4277953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cfdc70cec224bb6203fec8692e58087d5271844","datavalue":{"value":{"amount":"+0.6928757429122925","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":"Q1750297$8D4678E2-38D2-4001-AB47-297AFAEE59C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7282331012973aea3bb06f4c542b48b869a884d","datavalue":{"value":{"entity-type":"item","numeric-id":2666162,"id":"Q2666162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd8fe671a98dc74cce1609040123c69b79cbe83","datavalue":{"value":{"amount":"+0.6880931854248047","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":"Q1750297$81978895-B040-4459-8FC0-878F6E0E1F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11a431bb9fd62d4090a5af0a892c02b596aa93d","datavalue":{"value":{"entity-type":"item","numeric-id":5127301,"id":"Q5127301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb3807666a449f96413e84e7e60c7d81c4fd1b0","datavalue":{"value":{"amount":"+0.6829230189323425","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":"Q1750297$D7ED40F7-51F4-466E-87C7-E229417213F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A problem in Pythagorean arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_problem_in_Pythagorean_arithmetic"}}}}}