{"entities":{"Q456969":{"pageid":458736,"ns":120,"title":"Item:Q456969","lastrevid":61977126,"modified":"2026-04-11T02:56:09Z","type":"item","id":"Q456969","labels":{"en":{"language":"en","value":"A machine that knows its own code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348343"}},"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":"Q456969$C7E5FB26-8A20-4630-91DE-B14D02052E16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5136b52c29928679b49058b93e48de88dd4ab884","datavalue":{"value":{"text":"A machine that knows its own code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q456969$55512864-AA65-4A38-B2C8-CBF2E8A32FDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fcf5d87f31aef44214e2fbb476d1eca4fcd0aa7","datavalue":{"value":"1307.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456969$10EE3316-FB8A-4998-81C3-124F10D34257","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fa9d9620d364bcd7eee2043b88ffd44dff64082","datavalue":{"value":{"entity-type":"item","numeric-id":318140,"id":"Q318140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456969$A7FF781F-B29D-4283-986B-9C363B7F3344","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456969$DF6DA17E-F961-433D-A50C-2B43EC8DEFD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q456969$0ACC8FAD-A134-45A8-A1F3-E3680C05A411","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7887863bce9932fd56f921ea09e9b7f8e6b2558a","datavalue":{"value":"https://arxiv.org/abs/1305.6080","type":"string"},"datatype":"url"},"type":"statement","id":"Q456969$E2879629-6F0F-4BDF-A7A7-D298582EFF24","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46ea07ec46fa49bb2b0286b8e76193616a03e893","datavalue":{"value":"A philosophical perspective on artificial intelligence naturally leads to the question whether it is possible to know that one is a certain machine. As known statements should be true, the interesting question is then whether a machine can know that it is a certain machine. With a suitable formalization of what it means for a machine to know something (which is possible, e.g., in Shapiro's `epistemic arithmetic'), this can be turned into a precise mathematical question that has been studied by various authors and answered in the negative. Roughly, one introduces a modal operator \\(K\\) for `knowing' and then asks whether \\(K(\\phi)\\) can be true for some \\(e\\), where \\(\\phi\\) is the statement that \\(K(\\psi)\\) holds for a certain statement \\(\\psi\\) iff \\(\\psi\\) is contained in the \\(e\\)th recursively enumerable set. An assumption common to the considerations so far is that the machine knows that what it knows is true. The paper contributes to this area of study by dropping this assumption. It turns out that in this setting, a machine can actually `know' its own code.   The paper is well written and mostly self-contained; only a basic knowledge of logic and recursion theory is required on the part of the reader.","type":"string"},"datatype":"string"},"type":"statement","id":"Q456969$B4125A25-4285-4F13-8C8E-83237017CC57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456969$9D9C3C2F-04C3-44EE-AA60-4B1726229667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456969$10AF2E12-0EE2-4F2F-A8C6-6E4402960750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456969$E7F65A2C-4CD9-4DCA-B804-4EC03AA8FDED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456969$5F6909D6-E204-4E89-9AA1-53F61A60869E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456969$E248CE19-06A1-478E-8F39-0D9B0905954B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8f691cc435bf8aafaffe09dba757b1adec176ed","datavalue":{"value":"6348343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456969$7C0DC7FA-BD98-43B8-B49E-E8A84A044477","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42851cd55732f95048984b753376b11ed64b09c8","datavalue":{"value":"knowing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q456969$A08BF625-DE38-4D28-B24F-F2173D0D923F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4aeb6be0c8b86daea3f857a0db7ddbcdd74c447","datavalue":{"value":"Reinhardt's strong mechanistic thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q456969$BC6668E5-2E4D-4BA4-8CCE-168C7F0719CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eeb020f664a10504cb4d874e8517c942b268ab2","datavalue":{"value":"Lucas-Penrose argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q456969$D762A2E5-D04A-45EB-BB0A-946330C30C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"374f3ca9d6b44235f4bdd1901824f9ef75ebb28c","datavalue":{"value":"Kleene's recursion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q456969$1726C50B-C048-4800-9702-0A1801DC9D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q456969$A7DC5068-92D0-47B9-A7AE-20ED33E34F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q456969$451C9C03-0824-4386-BD5E-45D9812482A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ea0e565f2e23172a509549943cea9b596903707","datavalue":{"value":"epistemic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q456969$63511FA2-1C61-4324-A777-33ABEF389E8A","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":"Q456969$CABEBE5D-3F4A-4A98-8F22-E6EEE0742FB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e24fe06201c2be8e1b7b8ae53cb84841c55bfa4","datavalue":{"value":"W2951208926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456969$EBB92D20-D81F-4373-972A-BECFDBB300C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc1b999977ab414cc1ba605d1d9b6ffcfed719d","datavalue":{"value":{"entity-type":"item","numeric-id":5935985,"id":"Q5935985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456969$CD55CAFB-6B9B-4E04-9EB9-67D5763198C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f2fe923d8f62c2dbe1c2e8e4eef8d9473c95ff","datavalue":{"value":{"entity-type":"item","numeric-id":1818592,"id":"Q1818592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456969$998E5B93-7ECA-44ED-BCC3-674499957038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9414faf3a299bc0651d94c6665c04d6b9c2a45e","datavalue":{"value":{"entity-type":"item","numeric-id":1591373,"id":"Q1591373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456969$53C03814-D005-4BDE-B566-9799A9AEC9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f10bfa911ef3e76170cb4585ff49881aab1b99aa","datavalue":{"value":{"entity-type":"item","numeric-id":3133550,"id":"Q3133550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456969$0884F67E-EAAB-49D2-85FD-BD65AD216EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc3b1fd3a0d689a418ba793f269c5245c73b759","datavalue":{"value":{"entity-type":"item","numeric-id":3424120,"id":"Q3424120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456969$72706B6A-B24D-4860-B0C7-B88812D44339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c338d1e5ca3b5e43f79b86f7417774ec97e6ffdc","datavalue":{"value":{"entity-type":"item","numeric-id":5275663,"id":"Q5275663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456969$B204E65D-B91E-46DE-9E53-A526291A48D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fd46ab013fa0df7a03d2db93b148b9403f6040","datavalue":{"value":{"entity-type":"item","numeric-id":3347874,"id":"Q3347874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456969$3BCE847B-3A0D-43EB-A4F4-D877D1C0DF31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e7eb12b9825c15f15b6f6198b752762a17b9f99","datavalue":{"value":"10.1007/S11225-013-9491-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456969$39D9003E-EEC8-44A4-B81F-A15C226FC2B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"280edb326cd6eb12775a6e4f7aecb6ad343b1d69","datavalue":{"value":{"entity-type":"item","numeric-id":2765286,"id":"Q2765286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87a3178155e723d40b44c1122aa1df82353f00e0","datavalue":{"value":{"amount":"+0.7486199736595154","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":"Q456969$3B275ADE-468E-457F-A32E-CEE29437CF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e849fac3ede43e2ea9309aead8da23e89d074279","datavalue":{"value":{"entity-type":"item","numeric-id":5221595,"id":"Q5221595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87a3178155e723d40b44c1122aa1df82353f00e0","datavalue":{"value":{"amount":"+0.7486199736595154","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":"Q456969$8C4DF97A-DA46-4571-91C4-03B5CF856670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea076e5a24619bdf6d644d352d781e11e9d1597f","datavalue":{"value":{"entity-type":"item","numeric-id":1591373,"id":"Q1591373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ba878351791318214a05b2398901d94235b67b","datavalue":{"value":{"amount":"+0.7367070317268372","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":"Q456969$2A2536F0-DFD9-4495-95BE-D7EA33B44DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010c0aa1f9776146c794dac1620cad9fa8ba1160","datavalue":{"value":{"entity-type":"item","numeric-id":1330015,"id":"Q1330015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acdb38f88fb5a9b4f13480aab955ba959fd0e817","datavalue":{"value":{"amount":"+0.6645912528038025","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":"Q456969$34FC50C9-317E-45E6-A84F-51B8E0546E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"399cfbb3f5842bf0640546f660e32675453c4209","datavalue":{"value":{"entity-type":"item","numeric-id":1896042,"id":"Q1896042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caed41e6fcd20dd37de2f81cabe131117fc87998","datavalue":{"value":{"amount":"+0.6604487895965576","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":"Q456969$9F3E6A91-44F5-44B0-8344-922750DB2B21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A machine that knows its own code","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_machine_that_knows_its_own_code"}}}}}