{"entities":{"Q704044":{"pageid":705893,"ns":120,"title":"Item:Q704044","lastrevid":63749991,"modified":"2026-04-11T15:17:21Z","type":"item","id":"Q704044","labels":{"en":{"language":"en","value":"Computer implication and the Curry paradox"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2127013"}},"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":"Q704044$8A0AC329-D5AB-4576-B94C-78C05A5732C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50b78025cbd2f844e1447d2220785eae74d99fea","datavalue":{"value":{"text":"Computer implication and the Curry paradox","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q704044$E11D860E-75B0-4A25-827C-9460F9EBA234","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0815ddac6e050cf2718528b89b0a7ed4e82b502","datavalue":{"value":"1064.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704044$D2C5E549-D018-4B66-996B-D6ADE8FD2A30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e367238ebf7bea536428dacd07c39f3e0df87a11","datavalue":{"value":"10.1023/B:LOGI.0000046077.72722.61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704044$D46AB46C-1134-4AB9-839E-F5A896DF5AA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a754f8321459a35dac94016a7d4a7c05640703c0","datavalue":{"value":{"entity-type":"item","numeric-id":704042,"id":"Q704042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704044$D49C5D65-97A2-4481-BFC5-EAF07B98C69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbbccabaf67c575ebb6b2634da56420ae4c40b07","datavalue":{"value":{"entity-type":"item","numeric-id":484991,"id":"Q484991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704044$177CACE7-A5A8-4D77-9ACA-9F23B2B4F385","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704044$1F1C6F10-0582-4A6E-98B9-5516C08C4535","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a664784a96d1c1d70ab3c494ee2dd054de5f80f","datavalue":{"value":{"time":"+2005-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q704044$A99FB3DD-6318-4413-AA9E-357681E9B9B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f388559206dff144fdc059fd07448c72a8e9377f","datavalue":{"value":"Turing's classical ``Halting Problem'' is an early example of a serious limitation on the capabilities of any general computer. In this note, the authors discuss a weaker computational limitation, viz., on the strength of computational (natural) inference and even theorem-proving. They defend the assertion that no sufficiently powerful inference program can successfully use an unrestricted form of modus ponens. Their argument parallels the very approach used in formulation of the classical Curry paradox. The source of their paradox seems to be the misuse of modus ponens, i.e., the unrestricted use of modus ponens. However, Myhill has already suggested that modus ponens is even the source of the classical Curry paradox itself [\\textit{J. Myhill}, ``Paradoxes'', Synthese 60, No. 1, 129--143 (1984; MR 86g:03008)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q704044$80F30FC0-66FA-4098-8719-2FB6954D5425","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ba7232f3f7ae68133198ecf25821b70a187e9eaa","datavalue":{"value":{"entity-type":"item","numeric-id":704043,"id":"Q704043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704044$3CBA1ED2-8858-49E6-81D1-A5449C36EFE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704044$7E8951FF-6E50-4AEC-B1A5-E2AB87249C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704044$821E0438-5D8C-45E4-8711-CAF118E74DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704044$D26298EE-AA69-4967-9B34-3B815065B01D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf20e327dbfd6631c849ea87378c3c2e4dd80b0b","datavalue":{"value":"2127013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704044$89D8ACEA-906F-4C23-BD19-D07ACB3212AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcd5bb285f2e0e9583606a45804b3a855066c821","datavalue":{"value":"Curry paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q704044$2AC86495-670B-49E3-A59A-B260303D939F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137dec25664b8356a91da61f742171eba0f1d1bf","datavalue":{"value":"natural inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q704044$7A319955-A880-4381-8B25-FE8C49356C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e94f2c99bffce274a5170e4ba54b389def82143","datavalue":{"value":"theorem-proving programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q704044$ACD5F0F1-8E76-465C-8504-212EE8039E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7588184bca4841d3de0c77f361e07285c4f45d52","datavalue":{"value":"modus ponens","type":"string"},"datatype":"string"},"type":"statement","id":"Q704044$7D29572E-F5AD-4DE6-A119-523DBC48125A","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":"Q704044$5F62E6F6-81C6-45BD-8E06-BE9B57A504A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1df9ae2b2cbeb405634340a350a65a9fe5dd6ab","datavalue":{"value":{"entity-type":"item","numeric-id":5834323,"id":"Q5834323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704044$7D54251E-8901-41A9-AA20-21A7E759FAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a980209e31b744dba7a4041d3f05d2ec8633ab","datavalue":{"value":{"entity-type":"item","numeric-id":5596200,"id":"Q5596200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704044$B3E1C5BF-AD5F-4635-941D-96F303B0E4D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36111ab5d39b4ec19e7903bac27a7b30f6365db","datavalue":{"value":{"entity-type":"item","numeric-id":877241,"id":"Q877241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604cc0112247abcac6b616e1cbed121b2f72cd31","datavalue":{"value":{"amount":"+0.7108980417251587","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":"Q704044$5D06E9C7-2489-4FED-AAC6-708F1F63DB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb84dd24c4977918a46d25d1ff70f6741c10d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3766888,"id":"Q3766888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a3d22b36389cd51eb77dc7d485dcce05ba51038","datavalue":{"value":{"amount":"+0.7049874663352966","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":"Q704044$7CDC1C8F-2D74-48DF-9C7D-30BB0B2C1C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671c1edd08fcd3cfece842b8db8da4e9af3c1fc5","datavalue":{"value":{"entity-type":"item","numeric-id":861519,"id":"Q861519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb565646c08e6927209dff955f824c2e34f12d9","datavalue":{"value":{"amount":"+0.7018021941184998","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":"Q704044$5B4A8F11-B69D-4CF8-8236-66A2AFE3024E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8b96a949b2e09c28b153ecac4b2cd96b0e2acd","datavalue":{"value":{"entity-type":"item","numeric-id":4846462,"id":"Q4846462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7781a9dc76f69f5658eda7a2ce8b840a0a9e4d8a","datavalue":{"value":{"amount":"+0.6966919302940369","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":"Q704044$2CBA0AED-E6DD-4529-B63F-CFCC8A321A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5995d61d49c1690acb4a7601b600864fa553ce","datavalue":{"value":{"entity-type":"item","numeric-id":4012972,"id":"Q4012972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7781a9dc76f69f5658eda7a2ce8b840a0a9e4d8a","datavalue":{"value":{"amount":"+0.6966919302940369","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":"Q704044$613BA02D-B6EA-475F-9130-BDD90500025D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer implication and the Curry paradox","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computer_implication_and_the_Curry_paradox"}}}}}