{"entities":{"Q2472612":{"pageid":2483355,"ns":120,"title":"Item:Q2472612","lastrevid":44155557,"modified":"2025-11-20T10:46:38Z","type":"item","id":"Q2472612","labels":{"en":{"language":"en","value":"Church's thesis and the conceptual analysis of computability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5238548"}},"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":"Q2472612$DB9B137B-A931-4726-BAFC-5308D5B86094","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2882c24c7cc0a5b1f17c25a33919b77293d36767","datavalue":{"value":{"text":"Church's thesis and the conceptual analysis of computability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2472612$CA4D02D4-FDCC-49FC-BE68-8AD2830C3EBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34add441f8d0861988a523d321439038f541d7ec","datavalue":{"value":"1139.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472612$828F27F9-2E5B-4C00-AADF-9C2933231218","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67ad95d76ae68fe1e284695bfddb60b9550ea917","datavalue":{"value":{"entity-type":"item","numeric-id":514090,"id":"Q514090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2472612$5C1FE617-BF31-429C-AFD0-C7357A2A44B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2472612$C6C1E807-D044-4A94-AD87-F0B94478DF76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"466ae4194d5d9f61f81aef55cc4204c3dadc143d","datavalue":{"value":{"time":"+2008-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2472612$3B9BDE7C-47A9-4D5B-9E03-C3AFDD22E04D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"199265ba0b1e41814d41d18117ddbb92112b9616","datavalue":{"value":"Denote a string of \\({n}\\) strokes by \\({\\underline{n}}\\). Let the semantics \\({d(\\underline{n})=m}\\) mean that \\({n}\\) strokes represent the number \\({m}\\). A Turing machine (TM) \\({M}\\) computes a string-theoretic function \\(\\varphi\\) if \\(\\varphi ({\\underline{n}})={\\underline{m}}\\) for some strings of strokes \\({\\underline{n}}\\) and \\({\\underline{m}}\\). TM \\({M}\\) computes a number-theoretic function \\(f(n)=m\\) relative to the semantics \\(d\\) just in case \\({M}\\) computes a string-theoretic function \\(\\varphi\\) such that \\(\\varphi({\\underline{n}})={\\underline{m}}\\) iff \\({f(d(\\underline{n}))}={f(d(\\underline{m}))}\\). A number-theoretic function \\({f}\\) is Turing-computable relative to the semantics \\(d\\) just in case some TM computes \\({f}\\) relative to \\({d}\\). The same TM computes different numerical functions relative to different correlations \\({d}\\) between strings and numbers. Church's thesis (the class of all algorithms coincides with the class of all partial recursive functions) is investigated with respect to different functions \\({d}\\) of representation of a natural number \\({n}\\) with the help of a string of \\({m}\\) strokes on the tape of a Turing machine.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472612$29BF1A73-0214-4AB8-ABB7-BFB8C61CC73B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472612$61414B63-D4B0-49A3-BC7B-6BD493207876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472612$B9C48F21-DBA9-474A-86E8-80D99A2DC41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472612$66A192BE-32D5-4A93-B47A-9115035EDCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472612$7375FA42-89BC-4508-9AAB-C1B27B85BF86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e089e0dbb595d022cf65440aa7b25f663d3cd5a","datavalue":{"value":"5238548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472612$B2CF3FFB-1194-40B8-89A2-3C198DFDE52E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472612$04CF6B94-15D8-4198-81D8-C79C278D154B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b2ed3c130c30bac7174fa9b54a06645cc1227f","datavalue":{"value":"computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472612$8934D989-7746-4145-BD79-22DEA342A670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472612$6D4BB6D2-2C04-4971-908A-CAE49C28E7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db646aff18ab774cc094e1c73e5cd3eadff42937","datavalue":{"value":"the results of computations on Turing machine with respect to the different representations of natural numbers by some strings of strokes on the tape of Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472612$7987CF4E-125B-4F8A-9896-BCE3BA644380","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":"Q2472612$798C9A15-A863-41A7-BF21-850ED2DDC37B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9312bffc7e2370efd6c60d3853228531c1d40169","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1179323267","type":"string"},"datatype":"url"},"type":"statement","id":"Q2472612$B5866973-A2F0-4828-889D-190437D2F7D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9974fab93494963cbda0eea573401b17de4ede33","datavalue":{"value":"W1963496350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472612$61021E99-C873-4E03-98BB-D9FC96B73BB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a16f33a1c4ac9997f6873cd1cb2d57b45155f83","datavalue":{"value":"10.1305/NDJFL/1179323267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472612$3126E69B-93A2-4715-BD08-539D0472E4D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66746d84264dcb7ab9b19fec03246935f8e69adf","datavalue":{"value":{"entity-type":"item","numeric-id":882835,"id":"Q882835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a85f27794ca4c54babd0a07e251bc6e8aa50636","datavalue":{"value":{"amount":"+0.9165021","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":"Q2472612$393119B0-24D4-45DC-BEA7-48AC23D9C76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f9b1bb16c43ae079c892292108c53b803631f3","datavalue":{"value":{"entity-type":"item","numeric-id":4934288,"id":"Q4934288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"091ff31d19990e4b9664a9938fa96f174b54818f","datavalue":{"value":{"amount":"+0.91404456","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":"Q2472612$6B3F5E5B-F696-4095-B3D2-F0F3B81B7532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5def555b8ab256ace8586d35b4ab176f68f256","datavalue":{"value":{"entity-type":"item","numeric-id":4600389,"id":"Q4600389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c44a4eea87ca3298f7688223e95dc244873998a","datavalue":{"value":{"amount":"+0.9110077","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":"Q2472612$B6CC412E-3010-433E-A558-432F1CDD3D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6f8c729a03da22f0ccc61e752861c19bc818f81","datavalue":{"value":{"entity-type":"item","numeric-id":5499645,"id":"Q5499645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3544c2b4926e6178347a808a81d37b38a41c4c5e","datavalue":{"value":{"amount":"+0.91008115","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":"Q2472612$E9C46C43-6702-417C-AEDF-4A8D49FED5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06092b1e747cdd88e440e4fa9c6b0f3f6bf60fe9","datavalue":{"value":{"entity-type":"item","numeric-id":5499644,"id":"Q5499644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa613ab079af126f2031e80d75ac29c77315592","datavalue":{"value":{"amount":"+0.9048601","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":"Q2472612$1F8F2B2D-5537-45FC-A737-FC1536C0E6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978c3b665028124d4be79bcf8426aab59213b1c3","datavalue":{"value":{"entity-type":"item","numeric-id":2844489,"id":"Q2844489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29cd3b0ef88cc762f46bc3b97c3df4e21acb5bcb","datavalue":{"value":{"amount":"+0.90156186","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":"Q2472612$EAB60BD3-2A86-4B65-A832-1A318FBFBEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ea00d5a58826073cb81890d1398566a50676f15","datavalue":{"value":{"entity-type":"item","numeric-id":4918400,"id":"Q4918400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb69a90167d399e454fb3655f59ceaf68daa603","datavalue":{"value":{"amount":"+0.9010278","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":"Q2472612$0F91A2D9-AAD1-4BE4-8E41-7FF7E9F6C048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4745afb07e21c0e1e58292c222e65c5f5145862","datavalue":{"value":{"entity-type":"item","numeric-id":3616433,"id":"Q3616433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a193fe411e4eac19b20f5968bd0ea5dff8aff4f9","datavalue":{"value":{"amount":"+0.90102345","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":"Q2472612$74AC35DA-5606-470F-A92D-6053498B4CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c96ce8594d52a5bb91fb848fee72a9c2e662b7","datavalue":{"value":{"entity-type":"item","numeric-id":5452180,"id":"Q5452180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"badae6983a9ed43574271b15ee6aff302d82d2f4","datavalue":{"value":{"amount":"+0.8936653","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":"Q2472612$9152F1B1-1C3A-49EE-9586-AB1C6A5AAC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa34ae793c1393b1d270b4d3d3e881a57773d46c","datavalue":{"value":{"entity-type":"item","numeric-id":5493746,"id":"Q5493746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b492ce8a31667bc5a56fd217ec38f6e4aafc3b","datavalue":{"value":{"amount":"+0.89088976","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":"Q2472612$5CE560A5-3E10-4EA6-AF6C-5774FB1006EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2472612","badges":[]}}}}}