{"entities":{"Q2765286":{"pageid":2776025,"ns":120,"title":"Item:Q2765286","lastrevid":83219495,"modified":"2026-05-07T06:41:19Z","type":"item","id":"Q2765286","labels":{"en":{"language":"en","value":"On Turing machines knowing their own G\u00f6del-sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694609"}},"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":"Q2765286$5C89B065-2557-46C4-9FC0-6678862AD4B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54e1d65db4d4ed9f7eb97e95a8e1760bc8f6f99c","datavalue":{"value":"0995.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765286$164C75AA-68FC-4950-B738-A16C46D30238","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27254c1d2f89d1ba738a7f8c09db866c62eee8c2","datavalue":{"value":{"entity-type":"item","numeric-id":246764,"id":"Q246764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765286$67387B11-6DA2-4C2B-A27F-532A54F58823","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c887bb0fb36275dc17f979b8c357cde52c81ed3c","datavalue":{"value":{"time":"+2002-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2765286$D6F9EC99-420A-4154-900B-53B5F6328D2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765286$5F57823E-3740-482A-8D1D-3A1CF4F54471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765286$A616D1E7-9CAA-46D2-9582-3741911F5039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765286$8AB5AB77-A5F5-4A11-B32D-2FFA4DAE9472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765286$A9ACD07B-0A0D-4FB3-BA6D-98291D02BF5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f333270c7ecce8ceb78aac59b76827013ca6b8c","datavalue":{"value":"1694609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765286$03EA9279-421F-49DC-BEA8-A764248AD333","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765286$606CD5B6-5DDA-40A8-A533-980DA450A764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16eebfc2c2c4a60a10da1be168aba8a0516dbe23","datavalue":{"value":"G\u00f6del sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765286$9D238823-9030-43E1-96E0-DD15C5E55D7C","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":"Q2765286$169A79FD-D4D2-4505-9F29-2CA9820B0B93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66f5a06f1e5e708501a60d384f0a690ec74ed9f4","datavalue":{"value":"https://doi.org/10.1093/philmat/9.1.72","type":"string"},"datatype":"url"},"type":"statement","id":"Q2765286$792A8BE6-F10C-4616-BA99-37935BBBF701","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"877bc1def2f274f243946e8d152fa86c289fe7ed","datavalue":{"value":"W2012895811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765286$DDE4F170-9A43-4B41-824E-9A357E2F926C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17efe584fc800a66413be0b87602421e16f06dd7","datavalue":{"value":"10.1093/PHILMAT/9.1.72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765286$AB2D08E5-A63D-4694-95CB-327B5813C65A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"818f89dbb69504d182cec96cf2ba5d3db643d411","datavalue":{"value":{"text":"On Turing machines knowing their own G\u00f6del-sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2765286$27B99164-2478-4159-815B-FF4F25636DBB","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":"Q2765286$E3ACC831-15D6-43E5-B95C-2B0399776D07","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"380f587a0dd7bb5006cf7d666cb6405e548092aa","datavalue":{"value":"In the paper under review, the paper ``Can a Turing machine know that the G\u00f6del sentence is true?'' [J. Philos. 96, 525-532 (1999)] by \\textit{S. McCall} is discussed. In the latter, McCall argued that human minds transcend Turing machines. In his argumentation a particular true but unprovable sentence of arithmetic and the fact of its irrefutability were used. In the present paper it is shown that metamathematical oversights in McCall's discussion render his philosophical argument for the transcendentalist conclusion invalid.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765286$8070E9B4-53D7-4668-B470-B147B3A374A0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765286$52583099-743D-445F-B03E-9D9A3B291EF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3824c0947f609a090c9ff74fbfecc5481413df1b","datavalue":{"value":{"entity-type":"item","numeric-id":4981739,"id":"Q4981739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fd03f99364af228904ea7d0931ff59e3c2a5c8","datavalue":{"value":{"amount":"+0.7950719594955444","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":"Q2765286$207BE848-51EB-48D1-97C1-F0ACBEF1111B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601697b159a320d27b24db0262d12096242c0fa7","datavalue":{"value":{"entity-type":"item","numeric-id":885688,"id":"Q885688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53da1379d2e71eb8bd0496b64081275bfa53a0d","datavalue":{"value":{"amount":"+0.7628246545791626","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":"Q2765286$8503455E-D390-4721-B228-267E2AE9B901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"566a6d16b94c536b791862e91b0d364c8dff55e7","datavalue":{"value":{"entity-type":"item","numeric-id":5493757,"id":"Q5493757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7427ae1f170901e427b8955d3f5c5a41693914","datavalue":{"value":{"amount":"+0.7551416158676147","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":"Q2765286$D7F7C750-3117-461D-A7F5-83A16A08A511","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":"e9c23504251543b682eee51316eb1305cda81a98","datavalue":{"value":{"amount":"+0.7548494338989258","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":"Q2765286$D7A4E521-F33A-4D41-A8BF-926039B42932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c4aaa181b0dd48f70b2cc2f4827365a924aea0b","datavalue":{"value":{"entity-type":"item","numeric-id":5493750,"id":"Q5493750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b4417258cfae743c3fb5c4a5fb8bc9d38d6cad","datavalue":{"value":{"amount":"+0.7546511888504028","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":"Q2765286$6AFF1B94-AF65-451E-9B6E-3CCDBE647120","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Turing machines knowing their own G\u00f6del-sentences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Turing_machines_knowing_their_own_G%C3%B6del-sentences"}}}}}