{"entities":{"Q598296":{"pageid":600072,"ns":120,"title":"Item:Q598296","lastrevid":48307978,"modified":"2026-01-04T07:57:12Z","type":"item","id":"Q598296","labels":{"en":{"language":"en","value":"Decidability without mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083187"}},"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":"Q598296$D9EB0D7A-FD39-45C7-8A16-DFE03D187551","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"901804bef291d1831a24122eedff6d37de67bcfb","datavalue":{"value":{"text":"Decidability without mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598296$CFFC128D-4D42-4898-A29B-9F0CF0D216F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"156996dbe23dfde77c58da4b82b19fb0bb405738","datavalue":{"value":"1056.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598296$80C26B21-1B8C-4038-8634-A86848714D48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b22caa67b786f75dff988c26946162a4fefd648","datavalue":{"value":{"entity-type":"item","numeric-id":598295,"id":"Q598295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598296$55535797-765B-4D3E-B330-17C3BF09D86C","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":"Q598296$77DEC681-CEE3-491C-9860-087DAA24BFB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q598296$1B8E9196-83B4-499F-9E5D-5BEEB88ED260","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"257773d8e4ae1c052e1b41c7f23150ecb7860897","datavalue":{"value":"In the paper a new definition for computability (or decidability) is proposed. Namely, the definition is put on the ground of a theory of texts initiated by Alfred Tarski. The author proposes name {discernibility} for this version of computability. Discernibility means the possibility of checking whether or not a considered property or relation between texts holds. This way the proof of undecidability can be formulated in such a way that arithmetization of the syntax may be replaced by the use of concatenation in metalogic.  Discernibility is defined in two classes for properties and relations, (1) elementary discernibility (ED), which includes identity relation (also with symbols of the text), concatenation relation, and is closed under propositional calculus and quantifiers restricted to subtexts, and (2) {general discernibility} (GD), defined so that a relation \\(R\\) is in GD if and only if there exist \\(S_1,S_2\\in\\) ED such that \\(x\\in R\\iff \\exists y: (x\\dots y)\\in S_1\\) and \\(x\\in \\text{non}R\\iff \\exists y: (x\\dots y)\\in S_1\\).  Finally, the author conjectures that a relation is in GD if and only if it is representable in the elementary theory of texts (due to Tarski). It is claimed that this conjecture is already solved by the author, and will be published later.","type":"string"},"datatype":"string"},"type":"statement","id":"Q598296$1EA63DCA-1DF7-4552-A65B-DF9776BC45E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9dce5c88da99cb4b1021e2cac25a18f2fa317715","datavalue":{"value":{"entity-type":"item","numeric-id":287018,"id":"Q287018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598296$E008D8D3-A0E9-4E32-B2FE-FF1EDCF75E7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598296$F30A225E-3375-4012-87F7-1CCFE336A3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598296$FF27A218-D7E0-4AD1-BDF0-E37D2BBD051C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598296$6359BC4B-F357-4DF2-BAD2-D40FFD8E82BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9c44ed12d22ad306a3f7ee0aeec81d469b7c6af","datavalue":{"value":"2083187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598296$BBD2DA5B-A932-4280-8321-CEE5AEF0E306","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e74a1f83eff80b53d5c7270a9952d5e0bd73e5cc","datavalue":{"value":"elementary theory of texts","type":"string"},"datatype":"string"},"type":"statement","id":"Q598296$804367DA-2A42-42A5-8DDF-F7B25942FDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88063ce57740f66ff89bf29c150c4e8d013b19e9","datavalue":{"value":"recursiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q598296$D52FE053-9CBB-42D0-B3B9-59E0013BFED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q598296$A09CC51A-9A9A-4A20-82B9-1875D976F541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q598296$CA3DC9FD-E7FA-4A79-8C0A-C00FF342CFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459d7269a9afbd2453d6cdc14c392714df119506","datavalue":{"value":"concatenation","type":"string"},"datatype":"string"},"type":"statement","id":"Q598296$89BBA7D0-FB9F-42C3-8CA0-B5E619EC41A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b111c36d6d988a197089e1477f96c0e11350f4e4","datavalue":{"value":"representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q598296$9442DDDC-6426-4F3D-A202-9C77882C694C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1cb40513deb8cc795b8f538b1a46f53620a0112","datavalue":{"value":"name discernibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q598296$B0897856-2EE4-4CCF-8CD1-E4F56FC5592A","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":"Q598296$65A2AF49-85B3-460C-BF02-E44E005453EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b314a92d9545316593ad807794b1cc2c1079b9a4","datavalue":{"value":"https://doi.org/10.1016/j.apal.2003.11.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q598296$EDA994DA-DEA0-481E-A700-3219DFD977F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fea307c99162b83a4e1a59ec34a5b901e6d0779","datavalue":{"value":"W1972658324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598296$4C7D3DDF-E40A-47E8-A541-E435A721ECAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73caecd16f1f2415a13d18acb0e1ea6fcd08b2f2","datavalue":{"value":"10.1016/J.APAL.2003.11.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598296$61175C3A-FE51-47CF-80E7-564CCF03ABFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0de98b3b81a887308d990bc8764cad13ad6527e","datavalue":{"value":{"entity-type":"item","numeric-id":1780896,"id":"Q1780896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4506b376bab553f6ce481250e5aefe94129f930","datavalue":{"value":{"amount":"+0.8139560222625732","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":"Q598296$3FD88429-D6C4-4797-902D-91F48D7E6878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d851677702c637de38dcf5effaeccad196814663","datavalue":{"value":{"entity-type":"item","numeric-id":4282958,"id":"Q4282958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b68d10ab58eb6abcfe16959c78a2e82b4ecac01f","datavalue":{"value":{"amount":"+0.7998725175857544","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":"Q598296$34A65CD4-D004-4852-9C9A-5C4F5AE91A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4eb7983057091ffc64a13c9611ae33ff0609a1","datavalue":{"value":{"entity-type":"item","numeric-id":3601404,"id":"Q3601404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e892b815729b810fcaa22b9527f1b679d73597","datavalue":{"value":{"amount":"+0.7466225624084473","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":"Q598296$C36ABD5F-8D21-49C5-837F-EDB4BD47046B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaaff7d07a472637a539dad6fc10393c8da6f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":4923291,"id":"Q4923291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31bb172637f67aa3fd64913f2374e19696e9316f","datavalue":{"value":{"amount":"+0.7397552728652954","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":"Q598296$82EE6EC3-5B94-403D-A2BE-A1B04A6548ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af77c06a202964cd7fa03e326b9475fc5f64529","datavalue":{"value":{"entity-type":"item","numeric-id":3337447,"id":"Q3337447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c40ec87d5f731a957ccb1feb92732f56af969136","datavalue":{"value":{"amount":"+0.7255439758300781","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":"Q598296$18DD3EB7-E05B-46AB-A99A-B95A9623DCA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:598296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:598296"}}}}}