{"entities":{"Q2701936":{"pageid":2712681,"ns":120,"title":"Item:Q2701936","lastrevid":44647080,"modified":"2025-11-24T17:14:47Z","type":"item","id":"Q2701936","labels":{"en":{"language":"en","value":"Proving Church's thesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1574304"}},"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":"Q2701936$C1CCDFCD-0021-425D-9E70-6EEC92B0ED29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eab4114ede6be976de676769bd5f531c4dc5d0c6","datavalue":{"value":"0977.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701936$0F1BDD9D-4966-42B9-94A5-A57239694EB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34651950881a1dd3634d32d5ca5c5882feabf7d8","datavalue":{"value":{"entity-type":"item","numeric-id":2701935,"id":"Q2701935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701936$E73EC8CA-96DF-4B19-8D8D-FD18CF1DB8B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d99679be6596c8cc4e11d1bbb5f9466f6a2a85c4","datavalue":{"value":{"time":"+2002-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2701936$7BE287EB-90BA-487B-9424-98A92FB7A507","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701936$C5974E12-3086-4064-993F-F6A7926A3C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701936$01F97275-D670-40AE-87F8-1B46E2131C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701936$45F3FDE1-4AAB-457C-ABD2-35494B1D700F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701936$1CA85D35-8375-4F2C-A12A-92D771E5A2AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"916943dad3719dfffdc3af6f6aa5709b43ceb284","datavalue":{"value":"1574304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701936$5D3E032E-CB3C-4CDB-81E8-97CB73008B94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701936$DC5A7A89-EBC0-4F15-8A45-20C60D93C96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fb185c337462873c00586864cb6ccebae19fe","datavalue":{"value":"recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701936$9D91D5CD-19B2-41AF-A270-46D000B6701D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d54d17020f967e81370c34b6c5eef43bbb63f1b","datavalue":{"value":"effectively computable function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701936$9C040DFA-AAD1-408C-B469-1891F0CC3198","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":"Q2701936$ED96BC23-15F4-4BE0-83C5-263045FE0696","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dc43d7e75ba5ff78c885b515fe4432ca63bbcec","datavalue":{"value":"https://doi.org/10.1093/philmat/8.3.244","type":"string"},"datatype":"url"},"type":"statement","id":"Q2701936$773884C2-1A90-4880-AACF-B4CAFCB9F2AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e01c630ea31c324bd470307597dfa07ac79a04f2","datavalue":{"value":"W1973773618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701936$4C44F12C-44B5-4041-8072-E6A9ED7D69C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"883d1bbe9153a52cce3c2db874c21f607d8009d1","datavalue":{"value":"10.1093/PHILMAT/8.3.244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701936$BACA8DB7-11EA-4F6E-BDF5-E2996B6DD0F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e1ba6905e5bddc7d42bc32f1ea04b62f99ffc3","datavalue":{"value":{"entity-type":"item","numeric-id":5493752,"id":"Q5493752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36662599fab90ce978bea15fdab251942440b1d","datavalue":{"value":{"amount":"+0.828579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2701936$C44C8C44-4E11-4F2E-AA3F-A3F3F74782FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c06593637b8e4354deb42340fd98c586d2c01ba","datavalue":{"value":{"entity-type":"item","numeric-id":5493753,"id":"Q5493753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"283276289caa2862991fbc88e33dcb7f93009ac1","datavalue":{"value":{"amount":"+0.820482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2701936$BC3291AE-D813-4C8E-9D31-485A798AF437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"781960e16a395373f5246d7ca998b55276bc5503","datavalue":{"value":{"entity-type":"item","numeric-id":5271417,"id":"Q5271417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6adc38c165103ddc4d6e9d73b6ff878342f91b4","datavalue":{"value":{"amount":"+0.82045466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2701936$A09D38A0-6A05-4F67-AD8B-D7AE2BA68AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc8a1f53ae6d1705f3c644bca48c7fa8b334122","datavalue":{"value":{"entity-type":"item","numeric-id":4648476,"id":"Q4648476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c699f95f194fe949628dcfd7df343ae985d5573","datavalue":{"value":{"amount":"+0.8129376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2701936$BBC004D1-F6EC-4202-AB07-5E112CF133ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d77edf2267a50f2a58e5326b3d81248a4df4db3d","datavalue":{"value":{"entity-type":"item","numeric-id":3705436,"id":"Q3705436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb029e09f18652bfc61d61b2cd8bf34c6fe86f5","datavalue":{"value":{"amount":"+0.8101311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2701936$5E35228A-D872-447D-9260-B02D5651CD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52a122a8a40ae582ff324a740978723273033468","datavalue":{"value":{"entity-type":"item","numeric-id":5425364,"id":"Q5425364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1e661a80ecdf4155d4791eab9d097e7bd84c7a","datavalue":{"value":{"amount":"+0.80368835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2701936$A9B6C9C4-DB52-47EE-8223-BEA4CC213C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a81dbefdbfa031e465e65b141d02edb0e2f7cd","datavalue":{"value":{"entity-type":"item","numeric-id":4626061,"id":"Q4626061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42295824cfa2c6432c111a94dddf15489bcd04b3","datavalue":{"value":{"amount":"+0.80185103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2701936$97EF3609-C70E-4B6E-AC69-C0E3D2FCC6B8","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":"3cd0b78de3ec0d0e43075890af7ca3fa7b443083","datavalue":{"value":{"amount":"+0.7895403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2701936$7EDEF172-7682-4DBA-B403-87B04A3A55B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e79a4e684a19c9563a72e375b486723eed61ee2","datavalue":{"value":{"entity-type":"item","numeric-id":5207922,"id":"Q5207922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769aa210682bb24431d69b6c24f8953109f9882e","datavalue":{"value":{"amount":"+0.78753257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2701936$93356C79-4C03-4463-8FAD-D5DFC3153842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da43237916870a0a26de2f2c261d9ce81ed5dff8","datavalue":{"value":{"entity-type":"item","numeric-id":2117809,"id":"Q2117809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f4e29a41b9677345e6b7776b1cfe6748c1d65e","datavalue":{"value":{"amount":"+0.7857996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2701936$EC5A8256-7E36-4D3A-ABDE-A1C99607918D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07d86281e6771dc80d967eb03aba529b40808f90","datavalue":{"value":{"text":"Proving Church's thesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2701936$DE1654B6-D8F2-4E5F-9C28-FC36350DBEF1","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":"Q2701936$8BC70341-E9D4-489A-BA4E-F6CCBF53DEF2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3aef8b6378d85c8b6aa737db2d4207ffaab29801","datavalue":{"value":"The author argues against the traditional view that a proof of Church's Thesis (CT) is impossible. He repeats and supports the argument that CT has been proved in one direction (namely, that every recursive function is effectively computable), and he agrees (for example, with Shoenfield) that a proof in the other direction is conceivable (for example, by using suitable axioms for the notion of effectively computable function). He rejects recent arguments for the unprovability of CT by \\textit{J. Folina} [ibid. 6, 302-323 (1998; Zbl 0916.03007)]. Her restriction to proofs in ZFC or some other standard axiom system stacks the deck against the provability of CT. The author points out that the notion of effectively computable function is not vague and can legitimately occur in mathematical proofs, although it does not occur in the standard axiom systems. This paper also contains an outline of an argument in favor of CT given by Saul Kripke (at a Logic Colloquium in Berlin in 1998), which seems to depend on the assumption that a function which can be shown to be computable within a first-order language must be recursive. Precise details of this argument are not given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701936$49CBC1F8-E6AA-4C4E-9F9C-FCB03FC64CF1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26f302fffad60805a47395a27a6584ad8a15a6e0","datavalue":{"value":{"entity-type":"item","numeric-id":587231,"id":"Q587231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701936$9B25C01D-4DEA-4B98-A798-5F4D8FE5F552","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2701936","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2701936"}}}}}