{"entities":{"Q2765288":{"pageid":2776027,"ns":120,"title":"Item:Q2765288","lastrevid":47728216,"modified":"2026-01-02T13:24:05Z","type":"item","id":"Q2765288","labels":{"en":{"language":"en","value":"G\u00f6del's unpublished papers on foundations of mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694611"}},"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":"Q2765288$C46E18D4-262D-4BB0-B497-66C4D05DBEC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37baad270cd6795502732444782265dbe70b28d9","datavalue":{"value":"0990.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765288$24CFCC93-F9E9-4E56-965C-744DD0DFD118","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05343dbffe17b2d34d1e2336dd4cb652c4d2598c","datavalue":{"value":{"time":"+2002-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2765288$D7F0EB42-D56C-4FC2-B115-62BCB9116BD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765288$89BD0D9B-F2A0-4AC1-B50A-980064D48D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765288$D18E54C7-CDCB-460C-B41F-30BD42F33B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765288$9473408A-21C1-4C33-A579-F66C6B6F5CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765288$6416CB8B-1A50-4069-B8AC-2C424F25C990","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"379a44fd81d5e6c1142bdebadd4ec0f63e6b8224","datavalue":{"value":"1694611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765288$1FA26E92-7F40-4543-882B-D2457BEBE452","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765288$65F38A62-2561-4720-AA26-E6B9035F9226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0de17444b1c92768fa80a5a075424b8a82e26503","datavalue":{"value":"cumulative set theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765288$624DE69C-651D-400E-92DE-07B93B031911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5795787683dc16a0e892761f65c085daecc3346","datavalue":{"value":"impredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765288$3F5D1E9D-8FCA-4867-BB75-32C939383EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765288$001CDCA7-EA99-45FB-B1B5-222EDC5FCB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7c24935dcad54bb8b35bd2297a2d654d149a5b","datavalue":{"value":"constructivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765288$794A7978-EC4F-470D-AE47-4BA5A741C8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765288$C2950561-7B19-43AC-9DB5-4DCD5C8A7D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e89efdb30faa376194c0240588dac41117f5794f","datavalue":{"value":"Platonism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765288$1D8FFFD1-070D-44E5-A9F4-D788C648E678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a893095a04be0c62195b5a7efcd32d00704462c","datavalue":{"value":"realism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765288$414D2801-8C2B-494D-9B24-ECA45FBA0279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d69ddcbe8420a481962365322fef33d2ff9a283","datavalue":{"value":"conceptual realism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765288$37B70565-9A1F-4E03-974C-11401F5E94E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765288$232617B9-E748-44D1-A642-631E68011D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190a18e4334c7b2d8fa3ab86c83d1ef4d5c919a0","datavalue":{"value":"Dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765288$A2161F5E-6B3C-4AEA-86C1-8D97D845F8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765288$256BC607-8C09-4789-B835-68118CDC68C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"760745bbc6b5c9a1a5cd89c9feef2726e8d06aec","datavalue":{"value":{"entity-type":"item","numeric-id":2500812,"id":"Q2500812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765288$0DBE4AFC-3931-41A1-BCCF-179F5F8EC320","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":"Q2765288$37D3092F-8324-4952-B1B7-A84621A27FEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a488879c106fca0c91fd47815757498a9442a1d8","datavalue":{"value":"https://doi.org/10.1093/philmat/9.1.87","type":"string"},"datatype":"url"},"type":"statement","id":"Q2765288$06512233-440E-449A-9A17-E2E628B879A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0292442d3730856c23df5d9c7633940b0bd0e150","datavalue":{"value":"W2162525172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765288$2094C9B2-A754-4779-9596-0DEBC08F9778","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19d8fa3266c1a2dda0fff9f0e20f1ffa1c689510","datavalue":{"value":"10.1093/PHILMAT/9.1.87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765288$EDBD8385-590A-447E-B256-E039ED41885D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9aecdbaf9a1925ed51a94d6ebb049f70b2926293","datavalue":{"value":{"text":"G\u00f6del's unpublished papers on foundations of mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2765288$9DB18631-59D6-4FFF-9934-439F05F50A66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"826c094a631331acfd27cd41d9426c10b165133a","datavalue":{"value":{"entity-type":"item","numeric-id":6551593,"id":"Q6551593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765288$9986B025-9C1A-43D8-B130-2C7411192A4C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a7b4a64c2a6211cdebf020345ab4e07684aa3ff","datavalue":{"value":"This is an extensive discussion of Vol. III of \\textit{K. G\u00f6del}'s ``Collected works'' containing unpublished essays and letters [Oxford UP, New York (1995; Zbl 0826.01038)]. The author chooses for his considerations a selection of topics concerned with the foundations and the philosophy of mathematics. Among the problems discussed are the ``Cumulative type theory'' (pp. 87-96) and ``Impredicativity'' (pp. 96-100). In section 3, G\u00f6del's Platonism is treated extensively (pp. 100-108) on the base of a distinction between a weaker sense of Platonism supporting the view that terms in mathematical propositions denote objects \\textit{sui generis}, and Platonism as mathematical realism (to which G\u00f6del seems to subscribe) according to which mathematical objects are outside space and time, independent of the human mind and not created. Section 4 is devoted to ``Extensions of finitism'' (pp. 109-112) discussing G\u00f6del's positions towards Hilbert's finitism, his negative attitude towards Brouwer's intuitionism and its formalization by Heyting, and G\u00f6del's requirements for constructive formal systems. G\u00f6del's so-called ``Dialectica-interpretation'' is the topic of section 5 (pp. 112-116). In the final section 6 on ``Modal logic/intuitionism'' (pp. 116-123), the author comes back to G\u00f6del's negative view of intuitionistic logic, which is interpreted as resting ``on an overestimation of the scope of his interpretation of classical logic in intuitionistic logic using De Morgan equivalents (and double negating formulas)'' (p. 116). The author discusses at length G\u00f6del's interpretation of intuitionistic propositional logic with the help of the necessity operator \\(\\mathcal B\\) meaning `it is provable that'.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765288$15C750F3-5622-4081-8E07-AAF502C828DF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fcd128e93a2aa08500ec4fffea2aa55eff2c136","datavalue":{"value":{"entity-type":"item","numeric-id":587369,"id":"Q587369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765288$65D771B8-ED18-4007-87F8-D4B1B20D06F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911e9a85943de1b8d2011d170f945abc4a7f5150","datavalue":{"value":{"entity-type":"item","numeric-id":4859908,"id":"Q4859908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1991448ca56e7e6988e918162ada6bca86a2472","datavalue":{"value":{"amount":"+0.8003973364830017","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":"Q2765288$D68EB649-CD5E-478D-8815-8FE7D9ABA413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba7942d3fdad38b7c94d6e8171f930c5a21f339","datavalue":{"value":{"entity-type":"item","numeric-id":4550583,"id":"Q4550583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727b5d73017f387f7fdd344cbcf81005f02f7b5c","datavalue":{"value":{"amount":"+0.7962729930877686","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":"Q2765288$D5DD5749-B77F-4261-A968-6FDDCBF10E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b283d2eb57c98bfef891e6a4cb0a72424980ed","datavalue":{"value":{"entity-type":"item","numeric-id":405726,"id":"Q405726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6182f48323947999ebd037b67c5bed5ebeff45d8","datavalue":{"value":{"amount":"+0.7940768003463745","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":"Q2765288$4ADE6C3B-28A2-4E67-A44D-F8DD30A41B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4549cc09f6a36a3e10d1aa718d49cd81d1e042","datavalue":{"value":{"entity-type":"item","numeric-id":5250219,"id":"Q5250219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b68eeff467b1b4c46e95fef82e44b828e524a4eb","datavalue":{"value":{"amount":"+0.7878803014755249","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":"Q2765288$D7F68635-57C8-4F03-91D6-451531E6231F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5086713a04db93090c4b0451e2269f3a205401fc","datavalue":{"value":{"entity-type":"item","numeric-id":3422401,"id":"Q3422401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf2807d2bc1d34be13434c2b43bc1cf31af6473","datavalue":{"value":{"amount":"+0.7824043035507202","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":"Q2765288$B961C4E3-A04B-40F0-97B8-D3BEB10EA92A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2765288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2765288"}}}}}