{"entities":{"Q1105577":{"pageid":1116326,"ns":120,"title":"Item:Q1105577","lastrevid":67001025,"modified":"2026-04-12T14:15:38Z","type":"item","id":"Q1105577","labels":{"en":{"language":"en","value":"Reflections on Church's thesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4059350"}},"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":"Q1105577$42AE6598-A7F0-4C76-B7DB-49949BACAB14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bdd6a60a6ea9c8cbfd396df4fc695ddc4663677","datavalue":{"value":{"text":"Reflections on Church's thesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105577$B8DEB371-13DD-446D-9B6C-25DEA4CE60C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfbaf32bf054467ebaec73f186f4d593f4764e39","datavalue":{"value":"0649.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105577$FF4E0E77-4FD9-4970-9F77-9D877FF13A3E","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":"Q1105577$C3C8045F-4981-46CC-850E-6CBA67E8240D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1105577$22675548-B698-450B-BFCF-35037BA70FBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"65c692202cf1749848133f170e7293d4d49967c5","datavalue":{"value":"The author reports and discusses some points from [\\textit{J. C. Webb}, Mechanism, mentalism and metamathematics. An essay on finitism. Dordrecht etc.: D. Reidel Publishing Company (1980; Zbl 0454.03001)]. He first presents an easy argument according to which, assuming the completeness of a system F such as G\u00f6del considered, one would obtain a contradiction to Church's thesis. He then reports that ``In fact, historically, beginning immediately after Curch's thesis became public, Kleene used Church's thesis to give proofs of G\u00f6del's incompleteness theorem.''    His second subject is the following: ``One sometimes encounters statements asserting that G\u00f6del's work laid the foundation for Church's and Turing's results, as for example in Webb [loc. cit., p. 16, lines 6--7]. It seems to me that the truth is that Church's approach through \\(\\lambda\\)-definability and Turing's through his machine concept had quite independent roots (motivations), and would have led them to their main results even if G\u00f6del's paper [\\textit{K. G\u00f6del}, ``\u00dcber formal unentscheidbare S\u00e4tze der \\textit{Principia Mathematica} und verwandter Systeme. I'', Monatsh. Math. 38, 173--198 (1931; Zbl 0002.00101)] had not already appeared.''    Kleene finally addresses an argument reporeted by Webb [loc. cit., p. 222]: ``G\u00f6del \\dots objects that Turing `completely disregards' that    (G) `Mind in its use, is not static, but constantly developing'.   \\dots G\u00f6del granted that    (F) The human computer is capable of only finitely many internal (mental) states.    holds `at each stage of the mind's development', but says that    (G)' `\\dots there is no reason why this number [of mental states] should not converge to infinity in the course of its development.'''    Kleene's point is: ``I reject that (G)' could have any bearing on what number-theoretic functions are effectively calculable. (Indeed, Webb so argues)''. This is elaborated in some detail.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105577$635B7572-61A5-4DDA-ABCB-B050A1DEDA09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105577$6AFD3785-4AF4-4909-9436-86E99F2B1A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105577$29EF1646-EC05-4D77-9C5D-CE5B5AD37D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105577$9DAEA819-7C01-45DF-B882-D6923EB46E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105577$8BB4CC31-69B3-4E3A-AECB-3DC3B3D1519C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"271f30282105415411010d590c4e26cd0220c668","datavalue":{"value":"4059350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105577$BD744700-6E30-4D38-885E-247BFBB6EBBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b86423b5686667f7394bb6da25ec5323abb4a73","datavalue":{"value":"Church's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105577$C693084D-E5FC-4512-8823-72A9AEDF721D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a88963e986b35e6f4bdb0fe1bd2452b88993d62","datavalue":{"value":"G\u00f6del's incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105577$299941EE-704A-4D2F-BCB2-DA96C64A2B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13f08b5f18719490a4aa0d9dac6fe37a1eb644cb","datavalue":{"value":"Turing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105577$3007C838-EE3A-4A61-8613-BCE5B3567D7A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bdc018b891b8556a7fdf66d138a7f3eb40fd760f","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105577$8B84FB82-01D1-4B80-8F36-06E06F133014","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":"Q1105577$08899223-473B-4DB3-9C5A-19031A4EA16F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b55c1d0a36220cec7cd3c34aab116f9427a5a41","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093637645","type":"string"},"datatype":"url"},"type":"statement","id":"Q1105577$ED3E9C82-F885-45FB-8550-E94E37EB8C55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf6f96b5a76f25271dd2691895c07cbda16baa50","datavalue":{"value":"W2013146192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105577$622F8E1A-17B7-4191-A9F5-00DFDAA9622B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed7cd782a33e6f9429311357e92d177531e9c958","datavalue":{"value":"10.1305/NDJFL/1093637645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105577$BDE0D3BC-8E82-42A9-A8FF-5ACB76B812A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7fdd3d6b9cc141f6d005556f1ba7c68d933a429","datavalue":{"value":{"entity-type":"item","numeric-id":6672169,"id":"Q6672169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105577$1C38D463-12F5-476B-BFDB-BD7177D1BE0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c4aaa181b0dd48f70b2cc2f4827365a924aea0b","datavalue":{"value":{"entity-type":"item","numeric-id":5493750,"id":"Q5493750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a565c16fa9bc7412573676fbcf89f328355dfb","datavalue":{"value":{"amount":"+0.8121058344841003","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":"Q1105577$894B7BA6-B22A-4C7A-83D3-95AC8376820A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ac4f29ea98beaa7bd70bb0a6022803524a91cb","datavalue":{"value":{"entity-type":"item","numeric-id":3617646,"id":"Q3617646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4497b5aaa8c27630d605e63b7e3c8ca133aeb860","datavalue":{"value":{"amount":"+0.7988812327384949","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":"Q1105577$42B9F0D6-1C75-42DF-A08C-2BFE0747F6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a9f45ba6e5d6eb693dacc365bac8561eb9e22f","datavalue":{"value":{"entity-type":"item","numeric-id":4359525,"id":"Q4359525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be3e45aee4da6a39981560734cef873fb31e225","datavalue":{"value":{"amount":"+0.774902880191803","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":"Q1105577$8420B92A-233B-4417-89E9-A0F933F58EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e9ac221a056215c7665625f6cc9bb1a57602c9","datavalue":{"value":{"entity-type":"item","numeric-id":3322067,"id":"Q3322067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc3539e99f17d636e84c7f8639f65124951e1d3","datavalue":{"value":{"amount":"+0.7718491554260254","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":"Q1105577$15691CA6-5965-4ECA-A81C-B86B618E843E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f34da88291ead885cbd192ae415e41354cf8f67f","datavalue":{"value":{"entity-type":"item","numeric-id":5697424,"id":"Q5697424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6be43294a322f838dafb3c24bbd2f563f3a9bed","datavalue":{"value":{"amount":"+0.7664446830749512","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":"Q1105577$E158F4E8-CFDE-4F78-A648-C0A159AC3FAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reflections on Church's thesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reflections_on_Church%27s_thesis"}}}}}