{"entities":{"Q1591373":{"pageid":1602113,"ns":120,"title":"Item:Q1591373","lastrevid":43232195,"modified":"2025-07-22T15:22:54Z","type":"item","id":"Q1591373","labels":{"en":{"language":"en","value":"Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1546874"}},"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":"Q1591373$C49E7928-FF76-4964-9D84-853C9976638E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0544c677106e95ce57f62ac4125afbd977257e11","datavalue":{"value":{"text":"Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1591373$EAB9987D-A55B-4E68-84E8-537AA071001A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86fd0b9b7afe290455465d7919ad12424e36d3af","datavalue":{"value":"0973.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591373$BEA01B19-3EF8-4A4B-A7D0-E43105E4E1DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d18b76f84f81b9b476b44640b399d771707351ce","datavalue":{"value":"10.1016/S0168-0072(99)00048-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591373$5A43FBAF-1892-4F76-86D9-BE744CAF093E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"821bc81eba82135fa316d0ab20f6acb853e34e11","datavalue":{"value":{"entity-type":"item","numeric-id":186022,"id":"Q186022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591373$E69B4D58-FA10-4FDC-BC6F-2B550B88475E","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":"Q1591373$AB751363-120C-472B-A9FB-55DB25A513C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fba7b4effb84a88b7fdd3dc13d46ebf2f476ceee","datavalue":{"value":{"time":"+2001-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1591373$1E90FC1D-DF89-4696-9084-43B99C075034","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a52bf1e0b2f78e644189da1aa9088d09ca09fd8b","datavalue":{"value":"William Reinhardt developed a modal theory of arithmetic called EA (Epistemic Arithmetic) in order to establish an axiomatic setting to carry out his analysis on the philosophical ramifications of G\u00f6del's incompleteness theorems. He showed in this context that one cannot expect a formalization of ``I am a Turing machine, and I know which one'' to be consistent with EA, and conjectured instead the consistency of its weaker version called SMT (Strong Mechanistic Thesis) which is a formalization of ``I know I am a Turing machine''. The main result of this paper, dedicated to his memory, is the affirmative answer to the conjecture. The author first shows how the intuitive notions of a knowing entity and a knowing machine are formalized in the language of EA, and then proves that EA and EA+SMT are indeed knowing machines by the method of ``stratification'' and ``collapsing'' of knowledge. The paper refers also to some closely related topics such as a general theory of knowledge, the theory of knowledge by means of Kripke semantics, and a relationship to Kleene's slash modified with modality by Shapiro.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591373$D7D98736-01A7-4B3B-820E-76672F9F6EC2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591373$FBC9699C-C09B-40A9-998B-34195532CB50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591373$1D6221A9-34E1-4D4F-AA37-EBF158A72D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591373$F8AB9870-54C6-4900-BE64-FDD735E273C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591373$039AD3A6-6961-4432-A791-A5619397E118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591373$4207CF1D-9F00-4922-AA4F-4F00D3682115","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18cb14bf94df6aa1ede2674cc3e973aa4c63212d","datavalue":{"value":"1546874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591373$4890DDE4-F9FB-4768-88A3-2C8ADE77BD9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ea0e565f2e23172a509549943cea9b596903707","datavalue":{"value":"epistemic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591373$7C7944A8-7415-41B6-A182-0B59CE58B4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591373$9E8C1BD6-7606-4245-BCFC-AA3F92D82BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6598b365a4aa6a39f6d055f2bc77787d425683a6","datavalue":{"value":"theory of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591373$C8E323DC-74BB-4E5E-BDDC-D75600E67B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591373$356754FC-F538-4C16-ADEA-C71DBA6DFDCD","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":"Q1591373$13F3F46B-DA64-47C1-B19F-067C111C74DF","rank":"normal"}],"P223":[{"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":"Q1591373$F1D6BA15-761D-4EDB-895F-C1981D99A400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52d232e3eae2c4bdffa4fd11360a8d16f50cd77a","datavalue":{"value":{"entity-type":"item","numeric-id":3737423,"id":"Q3737423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591373$2E67E213-2EA7-47AF-967E-5A90C717F096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7ea38f610625bcd545c72bc177a298f6e2eb43","datavalue":{"value":{"entity-type":"item","numeric-id":4109645,"id":"Q4109645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591373$CE6EF51A-768E-4091-8BC9-C2CBCD631E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40bf03b14ee12a3cdbc67fa7b1fe5ffcff272071","datavalue":{"value":{"entity-type":"item","numeric-id":3851084,"id":"Q3851084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591373$15BDC81B-3898-4AE3-A3A7-4049A6442F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d1be4473dd04d762364ae568b2c783c9dd04a1","datavalue":{"value":{"entity-type":"item","numeric-id":5726696,"id":"Q5726696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591373$546DCF52-9218-418E-BB2D-CF146AC6961C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"272591eca54a5f1942ad8a7efe53939e86511690","datavalue":{"value":{"entity-type":"item","numeric-id":4723728,"id":"Q4723728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591373$D589B31F-D462-452E-982E-854D9FD5EFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29983911082f3dc3814f288f5365d795978e3d77","datavalue":{"value":{"entity-type":"item","numeric-id":1147693,"id":"Q1147693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591373$FF37FA76-CB81-4CC1-B024-3E6DB4EFC138","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":"Q1591373$8F2EEDD4-76C4-4538-8E70-5ECB89CDF269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a7a6f8cd1040cba3aa4e1f28c926c68b639ebe","datavalue":{"value":{"entity-type":"item","numeric-id":1094407,"id":"Q1094407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591373$0BD54105-E160-4495-8FAB-CE1B098F9EE8","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":"Q1591373$EA053B2E-BC4D-4CF6-B528-0634A37D8F41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f04e28032e9cedde3e5d3e2e316937d682cbe7","datavalue":{"value":{"entity-type":"item","numeric-id":1191819,"id":"Q1191819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0493828f453395b8e85fbfa8becbbc915a56ce5e","datavalue":{"value":{"amount":"+0.81827915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1591373$8C548A3C-A6BA-4AEA-A93E-66A7C165C19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ef69eec0ffdfe9049750d093558168e6149362d","datavalue":{"value":{"entity-type":"item","numeric-id":1187223,"id":"Q1187223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be97bfde70ad1f13b8362702f1412ccd08496642","datavalue":{"value":{"amount":"+0.8141283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1591373$A6B8E919-906D-4381-9635-4777D78AA630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5833db1b4d5fc2303399e82e15ab10251ad89c","datavalue":{"value":{"entity-type":"item","numeric-id":5406671,"id":"Q5406671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5cafc6972a413d61934832ad10f832e2f13dc0","datavalue":{"value":{"amount":"+0.81024617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1591373$80351EAE-D905-4F60-9913-CE24B7D215D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7140a2ae246559fc814817943371da5d5e1056","datavalue":{"value":{"entity-type":"item","numeric-id":2323447,"id":"Q2323447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1525db8cd58ab779df5577130e979c3617d4c8eb","datavalue":{"value":{"amount":"+0.80204064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1591373$A8AF647E-EE15-43AE-9E2D-4FA3E0EF0CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b051fb931d12d7a9a287acefc95131fc37739c2e","datavalue":{"value":{"entity-type":"item","numeric-id":4859239,"id":"Q4859239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16759b462fab2b2680cbf77fd92e035618a56a15","datavalue":{"value":{"amount":"+0.8013828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1591373$138C267C-1405-43EE-AA5E-C10A3F9446B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c670d31a6d3c3b9d363f0f94314b290b9e83931c","datavalue":{"value":{"entity-type":"item","numeric-id":4736015,"id":"Q4736015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec8a3c24806c97d74cb73cab020c6fb48c23000","datavalue":{"value":{"amount":"+0.7998311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1591373$AE9EFD70-BF44-4B9F-95D7-19F071287707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c228181e6aba7faaafcc87dae30527252df7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":4473541,"id":"Q4473541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec8a3c24806c97d74cb73cab020c6fb48c23000","datavalue":{"value":{"amount":"+0.7998311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1591373$24379B62-F6DD-42F4-BFFD-E65C7D1C952C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1591373","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1591373"}}}}}