{"entities":{"Q1567047":{"pageid":1577787,"ns":120,"title":"Item:Q1567047","lastrevid":70898139,"modified":"2026-04-13T18:03:12Z","type":"item","id":"Q1567047","labels":{"en":{"language":"en","value":"G\u00f6del's incompleteness theorems and computer science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1455250"}},"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":"Q1567047$E820AEC7-ECBC-4447-84CE-F1C41A36BCAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6c0e230a0050b29937624f79c756ebd36265e43","datavalue":{"value":{"text":"G\u00f6del's incompleteness theorems and computer science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1567047$1EC5AC47-43AD-42A3-A341-FA943E7617AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62f5243b65182b0771701b72074dc98ea1edf6ef","datavalue":{"value":"0949.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567047$DBA8291A-8AF5-4391-8BA2-19757C2781FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d4ef7483fc2f79aa57b7d4bf8764d67ad2fa361","datavalue":{"value":"10.1023/A:1009639629935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567047$523E1DA0-2485-423C-82FF-EB204585C115","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73b7c12287831deb20860a79625a376a1d2f442d","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567047$D5AB4513-220C-41C6-A2C1-ED30BCFEF086","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d056fa390317638b94cd33674f80c57ad98aec6b","datavalue":{"value":{"entity-type":"item","numeric-id":161821,"id":"Q161821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567047$F9F29519-A5DA-4C68-BA07-C5B7B7C0DC5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adb119921e441e297327ff60c1a7864930c815e","datavalue":{"value":{"time":"+2000-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1567047$1C32CB2A-2826-4893-8808-780D23193FB8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f08fc4cc9ac8cd81837dcde328cb93b875f2465","datavalue":{"value":"The author surveys some applications of G\u00f6del's incompleteness theorems to artificial intelligence, philosophy of mind and philosophy of mathematics. According to certain authors like \\textit{J. J. C. Smart} [Synthese 13, 105-110 (1961; Zbl 0104.24203)] and \\textit{Lucas} [Philosophy 36, 112-127 (1961)] and G\u00f6del himself, G\u00f6del's theorems show that mechanism fails, i.e., the doctrine that the human mind is a machine or may be modelled as a machine. These arguments, however, are shown to suffer from several problems.    G\u00f6del's theorems are also a challenge for the view that a single formal system can encompass our entire mathematical reasoning.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567047$B6CA25C4-85EC-40F4-B587-9F4FFAD09F60","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0a71a0b701b83e2fb6a5abddcef45416fab46202","datavalue":{"value":{"entity-type":"item","numeric-id":175245,"id":"Q175245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567047$FF2D8031-210D-4DFC-85A1-D9A946FBE006","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567047$962A50C0-B80D-4A52-A1E5-3E4C02ED8B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567047$E5EDC8E9-1B26-48F1-A5C3-DD8F231917DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567047$96B6604E-11FB-4F67-B579-0E7E4E4BD6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567047$2098A4CC-6BB6-4FB9-BF0A-CD959B0C6347","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e34c45cce30e99f4c5a142ca9c79c0047484d44d","datavalue":{"value":"1455250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567047$2A89EBFF-1AFB-466B-B4B4-C647BEDA00BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a966af23592156087b1c150d4af3a65966a84a54","datavalue":{"value":"G\u00f6del's incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567047$78E018C9-15B7-4E3A-AD8C-4816CA2C3493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567047$563AA9B1-0FAD-460B-9D90-06E68E3E8A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567047$57DF636C-8E0F-4D6E-9A24-244B557232EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ad10d47d3a897ba5640165b0d729f639e7b721","datavalue":{"value":"mind-body problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567047$CB8723F9-7B96-4112-9616-0E3156C5F410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eedd80a5b992662bbdbe95835f8450e037fd04a","datavalue":{"value":"philosophy of mind","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567047$D6A5E34D-DB55-4220-B802-938FF68F8C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e977db44bd54fd53e55c7cddc5eaab507bef6107","datavalue":{"value":"philosophy of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567047$9B101F72-E25F-4432-B5D2-9C1904913932","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":"Q1567047$DC92812E-11B0-4365-89C6-7FB4E432F51A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6643c41c9bfe3b74ef671a4b3030d63b4ededba1","datavalue":{"value":"https://doi.org/10.1023/a:1009639629935","type":"string"},"datatype":"url"},"type":"statement","id":"Q1567047$AD90F93B-E326-4BAC-918A-D2C0E283E061","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c62f2ebcc0aa3c31e4a143ad3c57b8732b0ef37","datavalue":{"value":"W194906421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567047$AC2D5BCC-7DD6-4259-8F9D-3A5B4BCA5663","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb804b92660ac27a44cb127dbfcd979814eabe6b","datavalue":{"value":{"entity-type":"item","numeric-id":5441383,"id":"Q5441383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21fbb8f885c9ce92c6d08973278f08911bd4f091","datavalue":{"value":{"amount":"+0.8419280648231506","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":"Q1567047$43543615-AA06-4BB9-856A-FF0A81F7C1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502397b25f6dc468287c7b0dea43b38b3b2cd79e","datavalue":{"value":{"entity-type":"item","numeric-id":4227855,"id":"Q4227855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4aa234bf011d215067580e5cf6806bec6a06227","datavalue":{"value":{"amount":"+0.8416247367858887","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":"Q1567047$49E21FB8-DBB4-4797-A727-938D177141EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12ce7d6da8a2f330068f428629c8b812c5c11efe","datavalue":{"value":{"entity-type":"item","numeric-id":4670590,"id":"Q4670590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed984f08181b751008c01aad72cd9faca4650ef5","datavalue":{"value":{"amount":"+0.8190373182296753","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":"Q1567047$E38E3EBC-DF8B-4931-BA35-93A038700E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e5c3efd623c90783ca0026dd2e36b1c2fc5c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1295425,"id":"Q1295425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d4f2123187e0bb4e28d00fdd55b4b977829963","datavalue":{"value":{"amount":"+0.8180516362190247","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":"Q1567047$924C8ECC-0E00-4B33-AC90-204F067B6453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8c0dd6dee148e7fd3b681e94758ceb859c3d485","datavalue":{"value":{"entity-type":"item","numeric-id":4861494,"id":"Q4861494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac687a1e6bbc2aeb64f83e1a98e25244d2d9e28","datavalue":{"value":{"amount":"+0.8130163550376892","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":"Q1567047$A629E9C0-1CDB-4F12-8AF5-FBB6F754EB41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"G\u00f6del's incompleteness theorems and computer science","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/G%C3%B6del%27s_incompleteness_theorems_and_computer_science"}}}}}