{"entities":{"Q1187232":{"pageid":1197981,"ns":120,"title":"Item:Q1187232","lastrevid":46253164,"modified":"2025-12-24T10:06:20Z","type":"item","id":"Q1187232","labels":{"en":{"language":"en","value":"Dummett's intuitionism is not strict finitism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 38993"}},"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":"Q1187232$D7109157-AE29-4EF9-9F2D-49EB884A5A03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc894d538e0929449782273f85660b9a0d8bf2cd","datavalue":{"value":{"text":"Dummett's intuitionism is not strict finitism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187232$6349D5D2-E97D-456A-8004-BFB643ACC9B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d17629a80242139604c00ae3bcb9aca97435116","datavalue":{"value":"0820.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187232$42F5B376-9B79-4E93-879B-789917B7E4B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d5b5c8e99d3d0a83c24f4db7b86ba02a6568fbe","datavalue":{"value":"10.1007/BF00500035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187232$A6E7347D-2A65-4289-98DE-026E07D9D844","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd8fc3589e9ab8bcfbed19b1f434259c6208f0b5","datavalue":{"value":{"entity-type":"item","numeric-id":1187231,"id":"Q1187231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187232$DCEAA958-5471-4F10-92DC-40C2AD6DD68F","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":"Q1187232$64F8C8F2-CC0F-414C-B2E6-359AB5F60CFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187232$D75804E0-EDB8-4148-A874-7E66CEF3FE56","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd10ac72970d4af28c2c5d6e921fad7780a9e2ff","datavalue":{"value":"Michael Dummett has argued against the use of classical logic in mathematical proofs and the concomitant realist philosophy of mathematics, insisting that mathematical statements should admit some kind of ``test of comprehension''. It has been said that a similar argument might be brought forward against the intuitionistic position itself by a so-called finitist mathematician. The author explains why he thinks that such an argument would not be valid. Dummett's own answer to the finitist objection does not satisfy him. He claims that the finitist position is inconsistent, and that (Dummett's) intuitionistic position is sound.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187232$3993E9F0-26C6-4511-8FEE-BD7BEF1281CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187232$5819C427-D11F-4923-A06B-21FE7F9163E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187232$485B60E7-C9B3-40EE-B09A-AAEE234FEFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187232$602CFF3F-1B86-4332-BFF8-8EB7E2FE52ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"824455a72183445f5eea9e4baeacdd7a49aa5aa9","datavalue":{"value":"38993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187232$6091C3B1-1114-413B-98E0-6A25A87CE9BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187232$2682C5BD-382D-4EA9-BA3C-E0FAB5AF652A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36210dc2eab2a57ab803d30bcaad72bde789b395","datavalue":{"value":"strict finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187232$051C669F-C05F-44A1-BB45-0D00303FA332","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":"Q1187232$6D8BEC03-5DBD-48AE-A79C-DE374ACB38AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed76fb826674154100cb639fa6d84dadf53cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":3340832,"id":"Q3340832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187232$E05A8F9B-A864-4841-B57D-6D59DC142994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187232$FA9DA640-45B3-40C4-A406-2B87F5D35156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fbeb49e8c19a726daf387d22e07dbb9acfa9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1111535,"id":"Q1111535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187232$4D0A7CC2-466E-4687-96FE-239F286F0822","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec65d38081e1cc0f00db2b33111207b70074c813","datavalue":{"value":{"entity-type":"item","numeric-id":3178042,"id":"Q3178042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f088c66fba2fc971d670bf9d184cdcd2f32917ad","datavalue":{"value":{"amount":"+0.8118770718574524","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":"Q1187232$DA46E3F4-5944-45EF-9B06-8E74F34C7CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d82499273d0bd2d3fc3d1dec53fb441da907b2","datavalue":{"value":{"entity-type":"item","numeric-id":2707481,"id":"Q2707481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3f18a23aeab225c021c9103dd4a8e5edb2d7e5","datavalue":{"value":{"amount":"+0.7753351330757141","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":"Q1187232$198288D5-17C8-4002-B10C-E9C76DA62954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222510b8c9d33a2d3ad1071e98c719308727dd6c","datavalue":{"value":{"entity-type":"item","numeric-id":3342527,"id":"Q3342527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258927bb6f70917b1064a3e4145336d4f8c066b8","datavalue":{"value":{"amount":"+0.762860894203186","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":"Q1187232$2E986494-43E3-4FDD-958D-CBCADD54C858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856d2bb1bc7d0257e19fbe04db7359db19792639","datavalue":{"value":{"entity-type":"item","numeric-id":1111535,"id":"Q1111535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94d64b0058e72c9d8284b6dfa58f336d87395c9","datavalue":{"value":{"amount":"+0.7623304128646851","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":"Q1187232$CDBADA6E-03CD-497C-9FF5-EEFBFE2571D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e7ca53ba1ffab75cd882823b5af878db8a91f6","datavalue":{"value":{"entity-type":"item","numeric-id":2707483,"id":"Q2707483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59f3051b0bddc232c9b17ad8d1990b269efad6e","datavalue":{"value":{"amount":"+0.7517389059066772","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":"Q1187232$7CB087AC-E22B-4674-A8B5-8305A9873839","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1187232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1187232"}}}}}