{"entities":{"Q1295425":{"pageid":1306175,"ns":120,"title":"Item:Q1295425","lastrevid":68393412,"modified":"2026-04-12T23:24:50Z","type":"item","id":"Q1295425","labels":{"en":{"language":"en","value":"A note on applicability of the incompleteness theorem to human mind"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308100"}},"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":"Q1295425$FED9849B-93D1-4740-B2CE-989064980408","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"447d9be10e265b9b2fefd294687f5f721583c287","datavalue":{"value":{"text":"A note on applicability of the incompleteness theorem to human mind","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295425$695340E6-1312-484C-990D-7BA85D081800","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05bc3319c3f164ac2a3467e23814cbbbd6b22b17","datavalue":{"value":"0923.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295425$24E3CAB9-99B6-40C6-95D2-74219A03CA82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c01266cb0b47250ae549089214b5a5f3b6ed499","datavalue":{"value":"10.1016/S0168-0072(98)00044-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295425$EC42E759-A391-461D-972D-3CB0985FCE50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295425$E148BD51-B692-4875-800A-A3F637335848","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295425$C94CAE2D-6251-4273-9777-7CD27D0AE4A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17b50c483751cd86cb210b1ff9c02447be3fef6e","datavalue":{"value":{"time":"+1999-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295425$9CB4CDDD-12AD-4749-9945-4730F7FB78A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e74b6ecbc48a2305613753ad0c557ec524f2a7a6","datavalue":{"value":"The author reviews Lucas' argument on an application of incompleteness theorems to show that machines can never think (of course, there are numerous counterarguments, too) and Penrose's neoclassical extension of Lucas' thesis (with its numerous countercounter arguments). Recall that many logicians hold that G\u00f6del's theorems are not relevant to the question of the realization of intelligent machines, anymore than mathematics is relevant to the physical world! He states that in mathematics, people make ``a lot of mistakes'', but these are correctable, in principle. The author's basic approach is to present relations between reflection principles (in the sense of G. Kreisel and A. Levy) and consistency.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295425$986FF9D7-B55D-4545-B34A-823D76BD747B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295425$0D4F7C33-537D-4ECE-BAF4-9F8DC2FCC86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295425$ED7C939D-3018-4F50-B9A8-E836D0EC61A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fe3ba9a00bc35e120617522689c1ad5c320685d","datavalue":{"value":"1308100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295425$4C1134E0-DB06-40C5-9743-69BB79E6FAAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295425$DE3B9718-9F53-4B7D-A146-715D1EBFD7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93eaea67056607902c866e2bd68e24ae6ea2262a","datavalue":{"value":"ordinal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295425$3A4BB562-EE1D-42A0-A4F3-59A694319B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a9d95fce86f5e5dcaaed96d7563d743f02d0d5","datavalue":{"value":"transfinite recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295425$2DD0329B-4D1A-449E-ABB0-A695BC18E73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3d29f490bb3085d4245d6adbd4890431f9d11c","datavalue":{"value":"incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295425$BDA1F644-9ECA-42E8-9E18-605964ED1F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"727b3ec56d58074193f7435cd3ea8556f355ea4a","datavalue":{"value":"reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295425$7D4DE001-243E-4E32-A950-9A06C3D5B478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295425$1560ECC9-E2A3-40B9-A5A9-6306B6C5BAFD","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":"Q1295425$7922D911-E590-43BF-8137-67404712E1D0","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":"Q1295425$F907ECCB-FA2A-44FB-91E3-6ACB15851B8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a53d59efa144ed7cc8d7f6a5488bdec8059d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5727661,"id":"Q5727661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295425$FAEAA9F6-E39A-44D0-AA39-D1762942FB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55cb26be29174b1de9acca41e4f1d834db6623c","datavalue":{"value":{"entity-type":"item","numeric-id":4893132,"id":"Q4893132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295425$92CFA12D-4A79-4E1E-B607-E70BEA23B5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1a301cd93c8014a1841e85fdb1644154a042ba","datavalue":{"value":{"entity-type":"item","numeric-id":5611757,"id":"Q5611757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295425$BFAD648B-6014-42ED-948D-3DA259153570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b578970135ac014954b0ceee779e821faa38e4","datavalue":{"value":{"entity-type":"item","numeric-id":4792066,"id":"Q4792066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295425$790FB9D8-CEDE-47C5-A740-F71B19CE2E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492c87567f6dc4126c57966fd5903e66ca640c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5513756,"id":"Q5513756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295425$D6879B20-254A-4CF0-8363-425172074118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295425$E96AB0CF-984C-45F3-B6BD-9496B54067E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8639d0d468142b848ff69368da9d08597efee7","datavalue":{"value":{"entity-type":"item","numeric-id":4211927,"id":"Q4211927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295425$F15E045B-25BA-46EE-AEA7-557511261094","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba276371ea434c19d6b3866085ec7483baef4ba6","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(98)00044-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295425$8C30B7E5-432B-4CB0-8E72-957A87923B0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83e2252d72c379f3198867fb522b7fa1d8763699","datavalue":{"value":"W2080448143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295425$5CCEE382-3F6B-4128-9A9E-6A2ECF8E152A","rank":"normal"}],"P1643":[{"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":"72d8f722cc67c06d736ccdf437fe985a4de892ca","datavalue":{"value":{"amount":"+0.8361285328865051","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":"Q1295425$D05A245E-8C01-4567-8CE7-F82DFB5625DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7d02af9cd091550cc818e7299a9f01ad0a27b0","datavalue":{"value":{"entity-type":"item","numeric-id":1567047,"id":"Q1567047"},"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":"Q1295425$EED53291-C1D8-4633-A707-C5597611AE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ebd21866082b11375d685d4d8766ea66e48c61f","datavalue":{"value":{"entity-type":"item","numeric-id":5445165,"id":"Q5445165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ddc39322e8057218cbd6f8f9e1f030983b2635","datavalue":{"value":{"amount":"+0.8148994445800781","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":"Q1295425$C78B5063-28E7-41DA-87F7-ABB897A4CE34","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":"96223f7dc6fa49c55417a216b2db1028bcd564f8","datavalue":{"value":{"amount":"+0.8115373849868774","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":"Q1295425$38C5121A-67A1-42BB-B6C0-76688A87786C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on applicability of the incompleteness theorem to human mind","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_applicability_of_the_incompleteness_theorem_to_human_mind"}}}}}