{"entities":{"Q707897":{"pageid":709746,"ns":120,"title":"Item:Q707897","lastrevid":63689775,"modified":"2026-04-11T14:53:10Z","type":"item","id":"Q707897","labels":{"en":{"language":"en","value":"Proofs, pictures, and Euclid"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5797587"}},"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":"Q707897$5C69A4DC-0AF3-462C-8D93-A5D74C78CE46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cc43b9f329d1ca46a11a14f89d4398a30713ce7","datavalue":{"value":{"text":"Proofs, pictures, and Euclid","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q707897$D86C88E1-A587-4DF9-8DD9-CE6BFE7BF22D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56e7ab71d3d4f42cc9e20da7176e43481b107f09","datavalue":{"value":"1198.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707897$3CF36BAB-5741-461D-9924-D9ADC2CC275C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b8d34e5233177e04513c501706389e55ca0a1aa","datavalue":{"value":{"entity-type":"item","numeric-id":375262,"id":"Q375262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$814183FC-DFA8-484D-92F2-F1ECAD3491EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$2D9ACA6D-4560-4E6B-AC69-301FBCB4FA77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12116120e612da11bd56798b90a3c232b35a10bb","datavalue":{"value":{"time":"+2010-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q707897$95527FAC-40EC-4E8C-B4C1-89B0CC75A130","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9bd24a8f015b45fb323cc5cff94dd8e1ffd8dc33","datavalue":{"value":"This is a presentation of the author's own version of \\textit{Euclides vindicatus}, only in this view, \\textit{ab omni naevo} refers to any flaws in the \\textit{rigor} of its deductive logic, and not to an attempt to prove the Fifth Postulate. In a first part, the author presents the standard view that, in Euclid's proofs, diagrams ``would at best serve as a heuristic, illustrative device,'' and that ``his reliance on pictures in his arguments disqualifies them as rigorous proofs.'' Turning this widely held view on its head, the author argues, in the second and main part of this paper, for the centrality of diagrams in a certain rigorous proof system that mimics Euclid's reasoning, by introducing a formal system \\(Eu\\) in which diagrams play an active role.  In the first part, the views of Proclus, Berkeley, Kant, Leibniz, and, in particular, of those instrumental in establishing the purified, diagram-free, view of the nature of rigorous proof, Frege (who demands and states ``and in this I go beyond Euclid -- that all modes of inference be specified in advance''), Pasch, Hilbert, and Klein, all of whom are ``explicit on the superiority of abstract axioms over diagrams.''   \\(Eu\\) is a heterogeneous system in that although it has a conventional sentential syntax, it also has a discrete diagram symbol type. It was introduced by the author in his dissertation [Intuition formalized: Ancient and modern methods of proof in elementary Euclidean geometry. Ph.D.\\ Dissertation, Carnegie Mellon University (2006)], and was inspired by \\textit{K. Manders} [``The Euclidean diagram'', in: P. Mancosu (ed.), The philosophy of mathematical practice. Oxford: Oxford University Press. 80--133 (2008; Zbl 1163.03001)], who has emphasized that both text and diagram have their roles in establishing a result in Euclid's \\textit{Elements}.  A related formal system has been presented by \\textit{J. Avigad}, \\textit{E. Dean}, and \\textit{J. Mumma} [Rev. Symb. Log. 2, No.~4, 700--768 (2009; Zbl 1188.03008)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q707897$FA7F2988-90B9-41ED-8366-9D27B91EA41F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707897$F80A8148-4ABC-424A-BBC1-05B9A1903BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707897$820B0D91-E0D1-4941-9008-290ECBBB8F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8eec303a1936cabedb646ebcb2c6afcd3821a7f","datavalue":{"value":"01A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707897$1153373E-9510-425B-BB78-8820FCF7AB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"473a4e3037d3bf0fb4633c4c3d55d703a11f6a74","datavalue":{"value":"51-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707897$DA0CAE91-5468-4C4D-B5B9-B58656DABFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707897$F7B01DD1-7B9C-4F18-86D6-025AB1EC60DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ab91172f2386c8b2897259938c69b4dcd745deb","datavalue":{"value":"5797587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707897$A5AFB617-821E-4EC9-B47D-BDBCB430269C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61e8e9f8f7d5b99330e59c1d6472f5f0dae2d8b9","datavalue":{"value":"diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q707897$20D481D0-63E5-45E8-B8B1-38B2E5BFEE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff771d8449ab3f0b2de33f580de397e4e03170c","datavalue":{"value":"Euclid's geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q707897$3D0121E9-4C24-4D2A-96D6-082D1983D544","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$32A6A13A-5EEC-452C-B581-E6980C89071C","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":"Q707897$68DF2A04-B9C0-418B-9994-77C8866DD403","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96e1a7f52fd8ff580b6a687d4c463d711f1cc992","datavalue":{"value":"https://doi.org/10.1007/s11229-009-9509-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q707897$6AE4CE9C-BACA-43B4-9CCD-182D5B9DF4C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4416788a73e019c61df1e7b6d23c14679c78cdd","datavalue":{"value":"W2081487758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707897$7F7944B4-CCC4-4D9E-8AA3-1FA551021994","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3860c002e5bd73f6a4938093fc1d13dc428ed801","datavalue":{"value":{"entity-type":"item","numeric-id":5850985,"id":"Q5850985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$498EED2A-F149-4C7E-B820-96F83277E832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d08e7dc6b27b3200e9586d780fa940c4ec0c82","datavalue":{"value":{"entity-type":"item","numeric-id":4662815,"id":"Q4662815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$D99AE2AF-8CBF-44A4-86A5-E286A81725D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d57fe19e189c9dc318663145c517e3d6000a48c1","datavalue":{"value":{"entity-type":"item","numeric-id":4698603,"id":"Q4698603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$6754F3C0-6727-448D-8DD9-B67BB64ABAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727fc6f2f22f049c859570ec08bdc63e0d6609ed","datavalue":{"value":{"entity-type":"item","numeric-id":4490075,"id":"Q4490075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$9BFE164F-FA16-41F4-B8C9-5D450490DE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a130f8bc24f19b03f9ef2c806afaabdbb5050c","datavalue":{"value":{"entity-type":"item","numeric-id":4824960,"id":"Q4824960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$C329A0DF-ECFA-4A95-BB3A-A68B6A40209D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0488f185e2e4edac59432bd674a4960056e068c6","datavalue":{"value":{"entity-type":"item","numeric-id":4825138,"id":"Q4825138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$FF7707C1-2CC3-42B0-93B8-2F41CEEA6961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c9428d06c8df243292ef34e74f5fd860a308f6","datavalue":{"value":{"entity-type":"item","numeric-id":5465096,"id":"Q5465096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$8B3C6475-0AF1-468C-B542-BCBEB6A0641A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84442d228c6334d697d2686eeaaa5d01f211fae","datavalue":{"value":{"entity-type":"item","numeric-id":3438379,"id":"Q3438379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$982793B8-3A4F-40C5-A1B5-12FD11782A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be6e380261ad09f103f1c32992093dc4424f7f5","datavalue":{"value":{"entity-type":"item","numeric-id":3705389,"id":"Q3705389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$A098C17E-0B26-42C4-8A92-F292FCFAA7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd2f0b0bad982af859080db5035fd322f38b6ae","datavalue":{"value":{"entity-type":"item","numeric-id":4256581,"id":"Q4256581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$D618DA7B-573F-4835-A5BE-895332AAD125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c9607beb7d7ae9086a4e822bdaa2296e7be88f","datavalue":{"value":{"entity-type":"item","numeric-id":4237642,"id":"Q4237642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$D073AD47-DB82-4D67-A2BE-F6CF1339E992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0143976a519a40832ae7b581629a269b0ecb7957","datavalue":{"value":{"entity-type":"item","numeric-id":5426521,"id":"Q5426521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$B6654510-B7B3-43EA-A5B2-253E4FB44E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00a3e03601b5b6b760a9feda68add84877ed880","datavalue":{"value":{"entity-type":"item","numeric-id":5691528,"id":"Q5691528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$9B68323D-BED6-4EA7-A777-69E5819472A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2b4bd3b7b8a7890c5282e392feccf18e1f29b7","datavalue":{"value":{"entity-type":"item","numeric-id":4847218,"id":"Q4847218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$97A7B176-D01C-4D95-B0EF-58F098C3B0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e477c3a622045cb7dc18825c6ae9981c88701e21","datavalue":{"value":{"entity-type":"item","numeric-id":2753860,"id":"Q2753860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$C2A9F2A1-8909-4532-A8E9-61BFFEC8EAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f6ea9b8d80e5b574a66601d66c1da646450b22","datavalue":{"value":{"entity-type":"item","numeric-id":771295,"id":"Q771295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q707897$EF924B48-BCDA-47E4-9B57-94BCFD32B9BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73a070981f5c93daed06e2b85c6a399b0de7e7c9","datavalue":{"value":"10.1007/S11229-009-9509-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q707897$99A8E136-2F79-417C-B4DF-A938C446B236","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc2676803ed1a960d7063726696b97b3c047e97","datavalue":{"value":{"entity-type":"item","numeric-id":5205202,"id":"Q5205202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7087a9129e591e40205d5f3758241aff6c89f59b","datavalue":{"value":{"amount":"+0.8261494040489197","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":"Q707897$C0F6F49F-8FF5-4B07-B9F7-C67DC82268C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e6d358b7e94238251ccd176e9cacaacfa0e1de","datavalue":{"value":{"entity-type":"item","numeric-id":6485435,"id":"Q6485435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c556a2f3f8c637d838c8e42f77acda728b82b09c","datavalue":{"value":{"amount":"+0.7979155778884888","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":"Q707897$A89C30DD-CF16-4912-9E74-C502071E43F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada844c64418a3ea10beff2ff91de162fef1bc97","datavalue":{"value":{"entity-type":"item","numeric-id":3535659,"id":"Q3535659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b04de533d0207f0ceefcb400e1fe9d6a254c1bc","datavalue":{"value":{"amount":"+0.7949817180633545","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":"Q707897$9847CFE3-3F2C-4644-8D79-4361293A35A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"068a06e79e82feaf6356e96afa0d956400aa6c24","datavalue":{"value":{"entity-type":"item","numeric-id":3087813,"id":"Q3087813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20b02baeab0cac09b54eded5d33ebc00d62bba8","datavalue":{"value":{"amount":"+0.7927502393722534","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":"Q707897$101A1FFF-274E-4F9E-9B45-E256408B0608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12ba376ccd858111bedbca10470cbfcfa9f38bc","datavalue":{"value":{"entity-type":"item","numeric-id":6098765,"id":"Q6098765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae7a71d935e405d320725825bb7ec8a1b97bf1a","datavalue":{"value":{"amount":"+0.7902320623397827","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":"Q707897$478DA8F3-FF6B-42B7-BCD2-9962BC4DEF03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proofs, pictures, and Euclid","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proofs,_pictures,_and_Euclid"}}}}}