{"entities":{"Q1065778":{"pageid":1076530,"ns":120,"title":"Item:Q1065778","lastrevid":42850591,"modified":"2025-07-15T09:36:58Z","type":"item","id":"Q1065778","labels":{"en":{"language":"en","value":"G\u00f6del's contribution to the justification of Leibniz' notion of the infinitesimals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3922594"}},"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":"Q1065778$EFB5163E-DEA7-4E8B-9700-DD754C5F4D90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfc44d925f7330a1ffabef5f8a73167eb0f10774","datavalue":{"value":{"text":"G\u00f6del's contribution to the justification of Leibniz' notion of the infinitesimals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1065778$25B2598F-3C24-44CA-A836-219A94B262B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d01764e0cb70c6cfec3563d55542fafdd49a0348","datavalue":{"value":"0577.01031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065778$EDEEB2DF-A7AB-4781-90F8-1D52DCB243CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a570400dbeb0a0fb1303f541cad942acb4d81cb2","datavalue":{"value":"10.1016/S0315-0860(84)80010-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065778$2976C4AF-61B3-4796-B37F-E4978B455D5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5793aeb40ae5a96120c88f041f2e472c6afa5354","datavalue":{"value":{"entity-type":"item","numeric-id":1065777,"id":"Q1065777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$33038165-5C04-4D09-84FD-DC9BC151B754","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c6d6937a3f0178a6597c072f974da30194879d85","datavalue":{"value":{"entity-type":"item","numeric-id":168116,"id":"Q168116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$F5391FED-5D98-4D1C-802C-86F28EC76DF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1065778$7778FD0C-AC80-42E9-893F-5D468D2F1F07","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2cf6d1ebc15f5db948c59c462f2417671b671826","datavalue":{"value":"''It is said that Kurt G\u00f6del reflected very much on the ideas of Leibniz; moreover, in G\u00f6del's opinion, the future of mathematics would rest heavily on the development and application of infinitesimals.'' [...] ''Insofar as one of G\u00f6del's results can be shown to be essentially incorporated in the foundations of Nonstandard Analysis, one can ask whether and to what extent G\u00f6del has contributed to the justification of infinitesimals.'' ''Indeed, in the present formulations of Nonstandard Analysis, one cannot dispense with the axiom of choice. In view of G\u00f6del's relative consistency result, this is no disadvantage (as it would be without this eminent theorem). After sketching the construction principles of Nonstandard Analysis, this note goes on to discuss in this context the role of G\u00f6del's result.'' (From the text.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065778$F5D77008-0D8E-46C8-A50A-43121D40D576","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065778$390017E6-55F4-4F48-81C3-328FB86AF882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065778$6AC38271-C154-44C8-AFB4-E5C68FDA9723","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d039a3dbb45da4f30fce3e52f628192851b653b5","datavalue":{"value":"3922594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065778$36E3EB75-41CE-4E1D-A0EE-5E8D129FF885","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70cb18a59f06d72b5979403c7ee401e94f3a7acc","datavalue":{"value":"Nonstandard Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065778$410AD2C1-A465-46C1-820C-F2E70E10B6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065778$0CB05416-3664-4612-8CDF-815573CDC6EC","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":"Q1065778$BA9D2B89-3C8F-4070-B089-E553C431DB0F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"94fe4d070d1fda2e8e06b39f8ab325d7c2d0ec8b","datavalue":{"value":"Q123261819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065778$A1CF3884-96F5-4E9D-8572-85AC97A44CCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f59f6e61786b554b201de373de00dd23ebca77","datavalue":{"value":{"entity-type":"item","numeric-id":3674642,"id":"Q3674642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$60162375-3EFE-4BC9-B021-A2B1B21CCA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1df0ba119146559ef75ffabd871a8f1b37eac2","datavalue":{"value":{"entity-type":"item","numeric-id":4141249,"id":"Q4141249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$D1A2C7BE-8ECB-4404-99F4-DFC43987F21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20d59f43c411e784343d3fac812b1eb99dbb534","datavalue":{"value":{"entity-type":"item","numeric-id":4132530,"id":"Q4132530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$5D844E39-8384-47B6-9B89-34982A8ACB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8842380f007a72ad0bc44f4299ae57d00868b8","datavalue":{"value":{"entity-type":"item","numeric-id":5820681,"id":"Q5820681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$783B697A-1AC0-4B2F-911A-AFEF578DB07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c426499d2a38cae32a9ae7ccb6188e1f2795390f","datavalue":{"value":{"entity-type":"item","numeric-id":5641139,"id":"Q5641139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$B9DCB35A-A9EE-429B-A122-7A67CBA940AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb65cabb2d1f9b04a956d9612d34570add4ac071","datavalue":{"value":{"entity-type":"item","numeric-id":3182723,"id":"Q3182723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$E2DF327F-3B89-4BC7-A33F-395614F071B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cecb5b9cdfbda957e08ec7f103b0590219c06c0b","datavalue":{"value":{"entity-type":"item","numeric-id":4175271,"id":"Q4175271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$A36C7341-9082-487C-ABCA-B3AFC2043110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$8C5A0768-3EB0-4E92-AA1E-6672BE518A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa208ca1c1b5f845020323a67939b12917d164cf","datavalue":{"value":{"entity-type":"item","numeric-id":4200427,"id":"Q4200427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$4A2439BD-9C22-4F65-9764-1B199C61114F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fdda5ebb9b15dda1ccb4232e3fae8013f458c17","datavalue":{"value":{"entity-type":"item","numeric-id":4104164,"id":"Q4104164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$FDE1AF08-9977-467C-A2E3-496B551B57EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24997fe80d87e7f4beec73ce29f92f63db055468","datavalue":{"value":{"entity-type":"item","numeric-id":2560285,"id":"Q2560285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$44C001F9-F35D-42B0-828D-FE856A5FFA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec2770e1b1bced5acaf1a085e30e72a51ee32bf","datavalue":{"value":{"entity-type":"item","numeric-id":4149449,"id":"Q4149449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$3300272B-1548-479F-B673-E3DCD7322A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33068e17cddfb767a38346d57ddb9eff328ae80","datavalue":{"value":{"entity-type":"item","numeric-id":769773,"id":"Q769773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065778$D76CE4B8-9CE0-49DE-8703-68EC45B84160","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0d4f18837018270e621575cbe86a1d29dbd2c3","datavalue":{"value":{"entity-type":"item","numeric-id":3701678,"id":"Q3701678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a045bcb794d4c55044dd3c708f00f1b13a15de","datavalue":{"value":{"amount":"+0.8810735","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":"Q1065778$DCC5D522-937E-49F1-804E-16770CEE2E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b4cbf977cb7b460620071dd6e4ac9b700dc22f","datavalue":{"value":{"entity-type":"item","numeric-id":3079619,"id":"Q3079619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37b404d1ab967e137b7b504d5c4a80efc9e5b9a","datavalue":{"value":{"amount":"+0.85060275","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":"Q1065778$BE824600-504D-4F2E-AE5B-2AC37DB165F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad496726833e7aabeb4cb7d2984f3e5de14befd1","datavalue":{"value":{"entity-type":"item","numeric-id":5165537,"id":"Q5165537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8735a6e80262b6e81eea898c955f64af45ef15","datavalue":{"value":{"amount":"+0.8427333","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":"Q1065778$957ED79B-F7F2-418E-AADA-240BFDA15E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8be12868573b4110511a954435d0e3c15d08085","datavalue":{"value":{"entity-type":"item","numeric-id":3305413,"id":"Q3305413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4732525eb5b955287fa8e49c593dbe1250dd83b0","datavalue":{"value":{"amount":"+0.8391025","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":"Q1065778$0916C1C1-3A0F-4FF9-B0AB-2D5AA148F40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4886b0b9bc256b3236405e21960412e4fad91703","datavalue":{"value":{"entity-type":"item","numeric-id":1946003,"id":"Q1946003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c483f95b74e5e134da147c9020345d6f14caf062","datavalue":{"value":{"amount":"+0.8350413","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":"Q1065778$1ADDD87F-F24C-4EFC-8625-F899379AF36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db57f42b06505e1bf2b01b2f9a4f4441e5f0bab","datavalue":{"value":{"entity-type":"item","numeric-id":486948,"id":"Q486948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e3d96472b2a1ad429c13e95537f211914f0ebe","datavalue":{"value":{"amount":"+0.8348397","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":"Q1065778$BB01F3F4-58DE-412A-A248-5D0397348B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f732f321b3cdd7ede20103b2445fbcac9c9593","datavalue":{"value":{"entity-type":"item","numeric-id":363509,"id":"Q363509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9835489ea8e1cd5e30adf9dce025b39fac2fcb","datavalue":{"value":{"amount":"+0.83437955","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":"Q1065778$89DDA294-2FAF-474A-842C-0021F677D3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34470d715dd7276fb3f0e4c568dba34ea298cb14","datavalue":{"value":{"entity-type":"item","numeric-id":4005294,"id":"Q4005294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df089d8513dbe46623d57cb0ac4b6f696d26e741","datavalue":{"value":{"amount":"+0.8341952","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":"Q1065778$FB93C9C6-8BFC-4D23-A7A8-B3E2944EC2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e15ce6d9d76f5b559bf877116615ceddfc6e43e9","datavalue":{"value":{"entity-type":"item","numeric-id":2856496,"id":"Q2856496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6023fad55e6233309e6299806d830294a7f84752","datavalue":{"value":{"amount":"+0.83350694","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":"Q1065778$2946CE4E-A41C-4C5F-A7E3-F5525294FF86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1065778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1065778"}}}}}