{"entities":{"Q2080593":{"pageid":2091335,"ns":120,"title":"Item:Q2080593","lastrevid":54415247,"modified":"2026-01-26T19:02:44Z","type":"item","id":"Q2080593","labels":{"en":{"language":"en","value":"On Lakatos's decomposition of the notion of proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7598445"}},"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":"Q2080593$D8EE5715-E6E1-4425-B5B7-8054CDA9C26E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bbc78262592acdfa6881f54d4f58c20a7abe117","datavalue":{"value":{"text":"On Lakatos's decomposition of the notion of proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2080593$5849208D-522F-4CF5-9947-D994F567E9C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55f3b6f69b41d804074cc90d99e1b190de35ec57","datavalue":{"value":"1506.00021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2080593$8622DEA8-2948-4DA3-85F3-65EE7799C55F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c992d0958872f149848de1f15d1b9b8e39e6d277","datavalue":{"value":"10.1007/978-3-030-84706-7_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2080593$5F87F78D-C01A-4595-AF2D-F9A9DA72D736","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50ca18aef5f3a0b942f1184e70acb16defb6b036","datavalue":{"value":{"entity-type":"item","numeric-id":2080592,"id":"Q2080592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080593$A3DFB193-1E6D-4F63-AB94-014CBB642689","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a8ddb4758637c52dde26fc0c82275ba0d887869","datavalue":{"value":{"time":"+2022-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2080593$C3E1BF17-7D6C-43E1-B9C5-0C632E00CCEA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b10933fae42c87b153a9001959528eb6b7926ab7","datavalue":{"value":"In this paper the author first discusses the relationship between Popper's falsificationism with respect to science and Lakatos's fallibilism with respect to mathematics. He argues that the content of Popper's logical and epistemological papers of the late 1940s had considerable influence on Lakatos. Secondly the author turns to Lakatos' view on the development of mathematics in which the notion of concept-stretching plays a central role. The author concentrates on the consequences of Lakatos' move to stretch the concept of concept stretching. It leads Lakatos to the skeptical conclusion that no single language can model the growth of knowledge: ``If you want mathematics to be meaningful, you must resign of certainty. If you want certainty, get rid of meaning''.  For the entire collection see [Zbl 1483.00027].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2080593$7EBCB2CA-9EA0-4ACF-8FBC-A4F8C4A83760","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2080593$F5E22DCB-29B9-4607-A0FF-4053BF5689F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2080593$69800739-5587-42FB-A61F-B71AE98B1660","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"205847e5199cad26527358ed25d0abed2cf1a64b","datavalue":{"value":"7598445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2080593$D8B36D7D-7E01-40E1-9DB0-62972D1E274C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dcff96b0dbdb590d3861df2da1f96a32f07fb3","datavalue":{"value":"Imre Lakatos","type":"string"},"datatype":"string"},"type":"statement","id":"Q2080593$4D0D9A7B-C007-448D-947E-1565780856F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8a425abd0ecb612db47241f0ce794bf1ca1523","datavalue":{"value":"formal/informal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2080593$62FC20A0-52EF-4F27-8D3A-39D5DB34B5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc00e1cc2957a64c327c94ebe950bb94784ea55a","datavalue":{"value":"falsificationism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2080593$D087F4EA-0AA8-4FC0-A2B9-F8D9C31603E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9829eebd4ecc504df1b0d3eec33558b02311dc","datavalue":{"value":"fallibilism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2080593$03365D48-408A-47B5-B4E5-966E3828E55F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fea30621758d51a9df3385910ccf92347b74749e","datavalue":{"value":{"entity-type":"item","numeric-id":588895,"id":"Q588895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080593$73CF199D-E521-4AC0-A929-DA432810D7C1","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":"Q2080593$9A38799F-9547-4555-B2AA-82C437248D60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de09e2366e6faba0c1df47c8df337f3af59ba7e7","datavalue":{"value":"https://doi.org/10.1007/978-3-030-84706-7_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2080593$C2774FCD-A7CF-42D1-8379-1110D0555814","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a7bb4fd13c3c9899872409645a4eb36d10a6f02","datavalue":{"value":"W4248967647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2080593$C2F701BC-6113-46D6-8F3B-E1B700361371","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b8ea59330e1d646e9e64e8da1ae67f14b3c2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4608217,"id":"Q4608217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080593$3518B9ED-1964-4FB1-927B-2344CFA62E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7bd199a472b4ba0ffc305b99b3f2c097fd070c","datavalue":{"value":{"entity-type":"item","numeric-id":4001483,"id":"Q4001483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080593$C58B9C4F-ACC4-4B49-A468-3B9754585011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1601fe175610348e3928484e55d96aed12993ec","datavalue":{"value":{"entity-type":"item","numeric-id":4149431,"id":"Q4149431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080593$66906B55-A192-4FE6-B4B9-41728BB4DFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998cc90e6c69f6bc9a8e3f3d78823622846e7929","datavalue":{"value":{"entity-type":"item","numeric-id":4383771,"id":"Q4383771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080593$51781EA2-97A8-4D6C-AB6B-BDB01EE660CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f0e56b1173179ed7388cef6afa43c5d164eb8e","datavalue":{"value":{"entity-type":"item","numeric-id":4706125,"id":"Q4706125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2080593$5FC2BF08-E613-4E8D-85FB-3F62DACE99D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52a72c2056a5ea4fc4738cc18280b605100f5261","datavalue":{"value":{"entity-type":"item","numeric-id":3629234,"id":"Q3629234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e483b073c9ba652dee11cf7bcb89a2c2b045cb36","datavalue":{"value":{"amount":"+0.7876726388931274","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":"Q2080593$4171AEA0-8D6F-4BF4-A624-6A8973126EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32ac0d367d23fd63c1b811640a8b324347d81c8","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6845fb01e0a81e0afbb188377d34404cc6191ed5","datavalue":{"value":{"amount":"+0.7574023604393005","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":"Q2080593$02279227-5FDF-4775-B182-C0E9D40043E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8df6b06d846b6bca5db9bdf379a83223bbf0739","datavalue":{"value":{"entity-type":"item","numeric-id":2723582,"id":"Q2723582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a765a685fb2c3a6652b67704ac57b6aa76b881a","datavalue":{"value":{"amount":"+0.7571271061897278","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":"Q2080593$D61F0F71-1B1C-499D-B8A1-DF767BE30155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"892e858e580c42aba9ee5f1bc21e6ceaeea5a2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3586362,"id":"Q3586362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a765a685fb2c3a6652b67704ac57b6aa76b881a","datavalue":{"value":{"amount":"+0.7571271061897278","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":"Q2080593$2D7051E5-B407-4302-811E-6F9873EDF3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01a7395110f1b125257c79d9c0cc115ee2535713","datavalue":{"value":{"entity-type":"item","numeric-id":3081767,"id":"Q3081767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e6635a41b1e92f5e48849c8d3e10681aa2ceee","datavalue":{"value":{"amount":"+0.7495726346969604","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":"Q2080593$222F61D2-C614-4DE8-9F7C-768484DCEA67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2080593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2080593"}}}}}