{"entities":{"Q424577":{"pageid":426344,"ns":120,"title":"Item:Q424577","lastrevid":61770291,"modified":"2026-04-11T01:32:43Z","type":"item","id":"Q424577","labels":{"en":{"language":"en","value":"On the inconsistency of Mumma's Eu"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040393"}},"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":"Q424577$27732680-F242-409E-B8A1-823607ACF006","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27ce3d9592c4c0dc8fb2f5f87f06b6fca7119522","datavalue":{"value":{"text":"On the inconsistency of Mumma's Eu","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q424577$74A311E0-4E89-486F-B5FC-161708CE2521","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0616467f1aed915c1ebbe1557d29b91e6ba32ccc","datavalue":{"value":"1248.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424577$D4AC56FA-3DCF-41D0-86CA-0E7B3551FCD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90310894ea56e4ed84572b53550cb0a543ae01b4","datavalue":{"value":"10.1215/00294527-1626509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424577$2A784BE5-CB09-4628-8397-41A6E7014237","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88dde886d58b77a16ff988bba60e8ebe55e91a86","datavalue":{"value":{"entity-type":"item","numeric-id":424576,"id":"Q424576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424577$62FDBFA3-DCE2-47AF-A486-CA6CCBA40AE3","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":"Q424577$415D66F4-4A63-43E8-ADCD-79C69742A92F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q424577$8B80DD2D-413F-42D3-AA3F-4C41FF3564FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"807e1f0e5bee45c7e91a85946cfcdb3884bbec59","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1336586236","type":"string"},"datatype":"url"},"type":"statement","id":"Q424577$42A01040-F81A-4F02-9F58-1867F2407F0A","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":"Q424577$8F807F6B-0358-4797-8036-91F2A29CF8F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424577$D714DE25-08A2-40B2-B3C2-A9D1F9E76392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424577$971FDB02-293E-490B-8996-61A6C0A798E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37256f133d34bc244da0ea0fe26a04c6dadb9e77","datavalue":{"value":"51M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424577$31E10CC1-6CF2-485D-AC06-2995BEDEF54C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5ea6284c8fddc86dff3a950d3eb58cd4599f6ab","datavalue":{"value":"6040393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424577$42F642E1-4BED-432E-B5D6-20BE23A5928D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61e8e9f8f7d5b99330e59c1d6472f5f0dae2d8b9","datavalue":{"value":"diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q424577$8F8C2972-331C-4461-BF06-E3E61EBB4C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcdf6cf35d926c0daeb463f96c3fbb54af3858b4","datavalue":{"value":"case analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q424577$40A5477F-CFE1-440D-8C53-8B4678F3F501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4477c9598ae4965364daa3ce025ec46065fff35c","datavalue":{"value":"geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q424577$EB55D0FA-0801-4DA7-8699-9E0166823084","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":"Q424577$956A0831-455D-41A2-A33C-ED35CBCC126A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da011f84a93ce3abf2d27b10ad5c9ae9c76e15fb","datavalue":{"value":"W2131516971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q424577$74F41F5D-68D8-4BB8-9301-1C3E8C0C3359","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34070298881ffe0d4f53738836dad999109b0f75","datavalue":{"value":{"entity-type":"item","numeric-id":3234138,"id":"Q3234138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424577$DBCB5D3B-DFD0-46A5-ADAA-75970938AC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34d9b1e4e7ac9abe6effd9d10da2be3e29dc93b","datavalue":{"value":{"entity-type":"item","numeric-id":3600462,"id":"Q3600462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424577$2DFC9442-6559-454B-BC81-4F48492D1A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"921e54e189927b100156a62d1d3a3af5350605cd","datavalue":{"value":{"entity-type":"item","numeric-id":2489144,"id":"Q2489144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424577$A60CD433-E494-4368-B9B6-65C7DAE82E44","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":"Q424577$FD2DFB13-5B55-4696-81B9-0E1E5E9121B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b68340ddc03741f18ac2c0d22ab555c1d9575a","datavalue":{"value":{"entity-type":"item","numeric-id":3535659,"id":"Q3535659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424577$6B843C61-A201-46C4-A74F-A5C3359D3707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d90f09c1620720413274610e8e9231f36bfda0","datavalue":{"value":{"entity-type":"item","numeric-id":707897,"id":"Q707897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q424577$693A33D7-5865-4EE8-A863-2979F171F1A0","rank":"normal"}],"P1643":[{"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":"bae1d62ade85667b070f475f208920f0171681a2","datavalue":{"value":{"amount":"+0.82742584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424577$8387862F-5660-4FE4-B945-8B32D552EA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c15abd45bb199c4422ac251a1b383fb8199aac","datavalue":{"value":{"entity-type":"item","numeric-id":2330505,"id":"Q2330505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f39426945773b45086ae9784026e8ec1e433d0c0","datavalue":{"value":{"amount":"+0.8207221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424577$BA4E474B-065A-4C9C-B448-2F72B338451D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063a71ebd46811acea8fd335801509bb016454cc","datavalue":{"value":{"entity-type":"item","numeric-id":375270,"id":"Q375270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f414835fe933c109f7b5c6dd8a2c3ccfca6096","datavalue":{"value":{"amount":"+0.8004855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424577$9587E937-BCB5-4A60-A538-F4FA2A1976B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35295957626d0dd0ef91da9209861eed5715d51d","datavalue":{"value":{"entity-type":"item","numeric-id":5850985,"id":"Q5850985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08579223d5bc8699e1fc827b06f1c8cc532fd9a6","datavalue":{"value":{"amount":"+0.7969477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424577$05CB4CE7-39A0-4582-AE6B-D039447E3894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb1a21987bc10bff2fc0bd52cbbdaa02e8dc20d","datavalue":{"value":{"entity-type":"item","numeric-id":707897,"id":"Q707897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b1b9dd5f72bf3e0b34eba07540840b47a5d23ec","datavalue":{"value":{"amount":"+0.78675014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424577$0EB3D459-6A9F-4E96-ABF6-8F10C0527206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f763ec0c172c7769d66d6ad83fcdd1925c56a8","datavalue":{"value":{"entity-type":"item","numeric-id":4737280,"id":"Q4737280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a79ea2c04df2e5614c3750e3973d73f930ec8d","datavalue":{"value":{"amount":"+0.7755939","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424577$6EBB8BE4-460D-4DC9-A238-B544851734BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b81fa20f01304b2ab57ca243bbcef308b59b551","datavalue":{"value":{"entity-type":"item","numeric-id":2997773,"id":"Q2997773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34df3fcd4b21f75b32af427951d2b011effda6ba","datavalue":{"value":{"amount":"+0.7685051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424577$B6A73319-4E36-43D1-B155-218B8FAFC3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f650c84f6f0400496a4fcf268f5fc9c0fd8bad2e","datavalue":{"value":{"entity-type":"item","numeric-id":2255228,"id":"Q2255228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d52f63e0bfdf2afc1675ecc0eecf781cb92c1795","datavalue":{"value":{"amount":"+0.7483108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q424577$776A3618-DC27-4D7F-91A7-06851F85B938","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75ba713ec96809f86c028f13b0eb5715c207c071","datavalue":{"value":"The author of this paper has presented in his PhD thesis in 2001, published in book form as [Euclid and his twentieth century rivals. Diagrams in the logic of Euclidean geometry. Chicago, IL: University of Chicago Press (2007; Zbl 1129.01001)], a diagrammatic formal system for Euclidean geometry, \\(\\mathbf{FG}\\), aimed at reconstructing Euclid's deductions as essentially diagrammatic. Later on, \\textit{J. Mumma} has presented a different formal system \\(\\mathbf{Eu}\\) with the same aim in [Intuition formalized. Ancient and modern methods of proof in Elementary geometry. PhD Thesis. Carnegie Mellon University (2006)], of which some parts were published in [Lect. Notes Comput. Sci. 5223, 222--235 (2008; Zbl 1189.03018); Synthese 175, No. 2, 255--287 (2010; Zbl 1198.03021)]. In [\\textit{J. Avigad}, \\textit{E. Dean} and \\textit{J. Mumma}, Rev. Symb. Log. 2, No. 4, 700--768 (2009; Zbl 1188.03008)], building on Mumma's \\(\\mathbf{Eu}\\), a significantly modified version of \\(\\mathbf{Eu}\\), called \\(\\mathbf{E}\\), was published with the same aim. In Mumma's review of Miller's book of 2006 in [Philos. Math. (3) 16, No. 2, 256--281 (2008)], he states that his own work was motivated by the desire to ``to improve upon Miller's work'', to which he grants having achieved ``substantial progress'' towards its aim, while not providing ``a wholly convincing account of the \\textit{Elements}' long-standing reputation (in his words) as `the gold standard for careful reasoning and mathematical rigor'''. Mumma's criticism focused on the case distinctions required in \\(\\mathbf{FG}\\), which he finds ``foreign to Euclid's geometry'', but his overall account of Miller's work is positive, as can be read from the following concluding remarks: ``These shortcomings, however, do not diminish Miller's great achievement in leading us to a more convincing account.''NEWLINENEWLINEThe paper under review is to be understood as ``payback time'', and seems to be motivated by an unhealthy amount of \\textit{Schadenfreude}. The author discovers several weak spots of the system \\(\\mathbf{Eu}\\) that render it ``unsound, incorrect, and inconsistent'', claims to try to fix \\(\\mathbf{Eu}\\), but deems such efforts doomed, stemming from the fact that ``\\(\\mathbf{Eu}\\) doesn't have a way to branch into cases''.NEWLINENEWLINEThe author willfully ignores Mumma's Addendum to the Thesis, posted in September 2010 on \\url{http://www.johnmumma.org/Writings_files/Website thing.pdf} as well as the very existence of the modified system \\(\\mathbf{E}\\), to which none of the criticism leveled at \\(\\mathbf{Eu}\\) applies.","type":"string"},"datatype":"string"},"type":"statement","id":"Q424577$73FFB196-295F-47A9-A8C3-F5A61E7B008B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the inconsistency of Mumma's Eu","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_inconsistency_of_Mumma%27s_Eu"}}}}}