{"entities":{"Q1396583":{"pageid":1407323,"ns":120,"title":"Item:Q1396583","lastrevid":67345173,"modified":"2026-04-12T17:00:22Z","type":"item","id":"Q1396583","labels":{"en":{"language":"en","value":"Internal logic. Foundations of mathematics from Kronecker to Hilbert"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1946028"}},"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":"Q1396583$75DDA88A-EBFB-4DBD-9C00-2A33CB17BE28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d09fb18c601329ecdcbe1cf0df8399515d747791","datavalue":{"value":{"text":"Internal logic. Foundations of mathematics from Kronecker to Hilbert","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1396583$9C8E38F0-94D4-44EF-9B06-C04ADE2D43A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"391c3a1a2660b634a9506147c4eeaa3c031b3acf","datavalue":{"value":"1019.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396583$2C721B6D-497D-449B-BFBF-00311412CA67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e130bc6abef7df700461f6b16b3d1a12b06d5e1","datavalue":{"value":{"entity-type":"item","numeric-id":792320,"id":"Q792320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1396583$23EB67E9-065F-44B6-BE59-8A5A63C42B6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a1cc4e398eb5d81a21b68eacc416647ae411adda","datavalue":{"value":{"entity-type":"item","numeric-id":163447,"id":"Q163447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1396583$B65D8B4D-F96F-4FC9-A6F8-5D0204EC521A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4d5175729cb20542c71b41a11ea8faa451a2929","datavalue":{"value":{"time":"+2003-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1396583$25D5659E-6E31-4081-9E8F-1658A4D9AE73","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6bcabc49fdf84c5b8e329f4e0e8adaa2aa61663a","datavalue":{"value":"The book is devoted to the study of certain tendencies and ideas in the foundations of mathematics which were especially developed in the period 1880-1930. It concerns the internal logic, where internal means the same as what was expressed as ``inhaltlich''. Hence internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic. The author considers Kronecker's general arithmetic of forms (polynomials). This, together with Fermat's infinite descent, is used in the proof of the internal consistency. The whole problem is studied in the context of a radical arithmetization of mathematics and logic. Ideas and proposals of Hilbert, Frege, Cantor, Dedekind and Husserl are discussed. The book can be of interest to logicians, philosophers and mathematicians (working in the foundations of mathematics) as well as to historians.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396583$7EC1A555-B70C-41F9-8F8F-0524F4F94B4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396583$D397A177-84E2-418D-AB21-5E338985BEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396583$B577480C-539C-45AA-A38A-23E9BECF1F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396583$B6B383AA-CCC1-4076-AF3E-314496E3DBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396583$07DA042E-18B3-470D-9415-5F8F6F9C93C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396583$B874DC3A-BF29-4166-AF0C-0DCCE317012E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd0f006165ee82fae761f80e1a04a7310780c9","datavalue":{"value":"01A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396583$C9EBFAC9-ED81-42F4-B3EE-911623337DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396583$A82E106B-B2FF-4F52-BBA5-77EAAC900033","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9dc89180f95c918b82777bf741f17f942627129","datavalue":{"value":"1946028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396583$46173848-DF02-4C20-993B-944D31C914F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294ce292240a6f433049300002b95cd141bb363b","datavalue":{"value":"foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396583$C9C68D62-73F7-4484-954D-E4068AF75B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3110644201dae6102546734dedd0f656679ddc54","datavalue":{"value":"internal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396583$245A744C-99A9-4F3A-B063-242FE374C709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60a99acf7892ae7a9ed60491e9fb258d42de1a26","datavalue":{"value":"logic of content","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396583$B438ADDE-83A1-4787-AAF1-D09059077297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a4c147f46753026c4b4ffc450d329cb35d41834","datavalue":{"value":"constructive logic of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396583$CA669EEF-9B91-487E-9E4C-1906BD895429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cea79c7e7f2719cab575e0606ca612f15702a1c","datavalue":{"value":"Kronecker's general arithmetic of forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396583$E70E06E4-9FA1-44A5-8B7D-B67A06CF7FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ade6482909e6b16ac385b5265ed0e8a5e9b6f7","datavalue":{"value":"Fermat's infinite descent","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396583$68DFC66D-78A4-416A-BA1D-C8F011533984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165caffc963b6025ba38665ed02baa6c8fe6fc0a","datavalue":{"value":"internal consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396583$A100C3D9-3CA6-460C-A432-F70E7421D7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"597ac7ef630930487667e75fe1ee0fd8950d0581","datavalue":{"value":"arithmetization of mathematics and logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396583$CACE3316-7A24-4C6F-AFE6-66543A06BACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6ab46f4097933b69e6c8cee46daee2173dcc62","datavalue":{"value":"Hilbert","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396583$DD2DB213-B3EC-447A-9BA2-9AE0EC385368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09764f38a677cc419c41406e4cd115ba9eb2d6b6","datavalue":{"value":"Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396583$272EFF53-F425-4A23-ABBA-FF8E10CC51BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6b94c71eb753e8ea10460c02b2d10be01ee7c75","datavalue":{"value":"Cantor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396583$53E6FF83-BB0D-48CC-AEAC-CE745BAB7E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff9bbfd743209c63d265705aa79beea9080c9033","datavalue":{"value":"Dedekind","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396583$0DD3440D-17CA-4B15-903A-2E79FEA9F0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8b285edb68e46aa9de4d1dc4418bf9dddbdf3bd","datavalue":{"value":"Husserl","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396583$8A77DC50-7CB7-4E99-B50B-7DD857AE7B04","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1396583$35F016FF-120E-4310-875B-EA3B4491A6D9","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":"Q1396583$ECC26091-1872-44DF-9846-F2CACDDF87DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d99e837422595f9dac5437a392366f0c79dcfc0","datavalue":{"value":{"entity-type":"item","numeric-id":1344187,"id":"Q1344187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e11898d29956ceaaace161798e0201588834cb1","datavalue":{"value":{"amount":"+0.926234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1396583$D78E4940-EEDF-4FA4-A22F-090DF3348CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2456b8993cf6f15dd1763cd34581ecda89f9a5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4266028,"id":"Q4266028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a761b6d9f10264fc1e5ec4cd752f8c1892e8b9","datavalue":{"value":{"amount":"+0.90486753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1396583$7F4B55D4-2BD2-42A0-AA27-69BA8F9DF9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccce47c78dea41a7cad5aa76af2975fcd99f7e10","datavalue":{"value":{"entity-type":"item","numeric-id":999139,"id":"Q999139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a17c5f60c642d0ad3bf2c7d69750c37112ea3d","datavalue":{"value":{"amount":"+0.88828754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1396583$2D0802C9-296C-4F79-83F8-41C15A68E556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb709ec6c61ab904e708c80b48c8377c297557e","datavalue":{"value":{"entity-type":"item","numeric-id":4266029,"id":"Q4266029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2810567f526698f7f818ab893f68d6f5a52d1554","datavalue":{"value":{"amount":"+0.887513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1396583$8FF6F33C-3806-4FCF-9BAE-D8466CA73172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b90500eb1bfeddcdd4c740ca5cb3b8742e7a8c5","datavalue":{"value":{"entity-type":"item","numeric-id":4250319,"id":"Q4250319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd59ea467610fe6d57f4334c8d0e09c0b08c2c37","datavalue":{"value":{"amount":"+0.8801278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1396583$0006FAC8-7DCB-423B-B70E-59327298E745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c36ed02a03d7e2febac972d7be643e9381a0d4d","datavalue":{"value":{"entity-type":"item","numeric-id":1267397,"id":"Q1267397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044f208672e1d5f418fda3ac2b6f645e644f7cca","datavalue":{"value":{"amount":"+0.87622166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1396583$08BB3CA6-8494-411B-887B-42E2614CC778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0e4f81c15fdc396a49f66b1efe98d0f04522658","datavalue":{"value":{"entity-type":"item","numeric-id":5931293,"id":"Q5931293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda09b54d435f8ffda14dab6d9daae3dd53efc32","datavalue":{"value":{"amount":"+0.8725718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1396583$D4D0F115-060D-4AE7-BD14-3B0EB11CD647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5966e4b35c4589fb8d811f8ec2851f2bdc90ef","datavalue":{"value":{"entity-type":"item","numeric-id":5848886,"id":"Q5848886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633a7b7e07b3e6234e2cfedc754138e2865713ce","datavalue":{"value":{"amount":"+0.8720557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1396583$FEAA7080-43D9-4AE6-8665-BD20314176DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0349dee79b3c4221e1daa3e0f11ea67fc717310c","datavalue":{"value":{"entity-type":"item","numeric-id":2356490,"id":"Q2356490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa267be299ccca49870b80edfad97402bc4a311","datavalue":{"value":{"amount":"+0.8712501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1396583$4A2E5616-5D2E-4878-A932-9BDF37A16AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1091445ce985b2e20dec0e724e65fc38baec7f87","datavalue":{"value":{"entity-type":"item","numeric-id":5431037,"id":"Q5431037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc74fef77a06b88c1fb3b32120763fe557ab80d0","datavalue":{"value":{"amount":"+0.8696196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1396583$81693F02-9F59-4439-87A9-C6C67035887A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Internal logic. Foundations of mathematics from Kronecker to Hilbert","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Internal_logic._Foundations_of_mathematics_from_Kronecker_to_Hilbert"}}}}}