{"entities":{"Q1103596":{"pageid":1114348,"ns":120,"title":"Item:Q1103596","lastrevid":67000467,"modified":"2026-04-12T14:15:11Z","type":"item","id":"Q1103596","labels":{"en":{"language":"en","value":"Wittgenstein versus Turing on the nature of Church's thesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053548"}},"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":"Q1103596$261A2AF9-3417-40CD-9F7E-853EF18E07B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06b00a588e78e4d2c0a958d98b58e0e7f5d7efa5","datavalue":{"value":{"text":"Wittgenstein versus Turing on the nature of Church's thesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103596$A8BC73B9-625D-44DC-A4B1-A393EC520D34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"527e4b1922829a050e87bdf12d9fb9d9043516d9","datavalue":{"value":"0646.01012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103596$7F7213BD-7D37-41CA-B7E6-16A87A2A9BA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8822ee36db29f22e0007a130f42dbe9abef3d164","datavalue":{"value":{"entity-type":"item","numeric-id":1103595,"id":"Q1103595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103596$FCFD31DE-001E-4D9C-A848-1A0E77C8665C","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":"Q1103596$B6323509-DD2B-4BF5-B541-F046D329AAEE","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":"Q1103596$DBCE0243-617D-4942-A1C5-501A49925C8B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f64d532fb608221f7d47ea374daf9f802e01cb38","datavalue":{"value":"The paper examines Wittgenstein's attack on the mechanist terms in which Turing had interpreted his computability results. One of the main Wittgenstein's objections was that the philosophical strand in Turing's paper ``On computable numbers, with an application to the Entscheidungsproblem'' [Proc. Lond. Math. Soc., II. Ser. 42, 230-265 (1936; Zbl 0016.09701) and 43, 544-546 (1937; Zbl 0018.19304)] misrepresents the mathematical notion of computation. The author gives an extensive description of relevant events in mathematics and philosophy during the 1930s and considers the foundations and interactions of Church's Thesis, Turing's Thesis and other fundamental trends in computability theory of that time, with particular analysis of Wittgenstein's philosophical viewpoint related to that subject.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103596$138B890A-1E11-4BBE-B212-7E45EF8683E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103596$D68A5210-CF36-46F5-887E-659218DDABE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103596$D63CC1E1-C8F4-4F82-AE02-43A4E66088E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86ca6325ae642d2f11f5902d5f485da13fa7ab05","datavalue":{"value":"4053548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103596$C45394F9-43FE-44B4-8003-F902C904D9AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f401dd9c1f566772595ae85ebc3ea4d1157a2c3d","datavalue":{"value":"computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103596$9E86594F-9FBF-4DDD-9FA5-86163E71F168","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":"Q1103596$27F113F4-099D-445B-B30F-8AAD71749101","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8443337484e8d93cf0278d444b3c8842bcc68f1b","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093637650","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103596$CED240CA-05CD-4FF2-A438-C24494AE518C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"227f59e27949c801a2220de506e9c5d1a2710566","datavalue":{"value":"W2021065331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103596$A6B368BD-FDCE-4CB0-99F9-5E6969C67161","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a319ca5e28fd3345368df4351aa0dcc51e710810","datavalue":{"value":"10.1305/NDJFL/1093637650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103596$7BFEA0C5-7F58-41A4-B016-2EC42ED6E903","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef03e054bc5f902aac73b67d4baf9fc92b25ec22","datavalue":{"value":{"entity-type":"item","numeric-id":4814424,"id":"Q4814424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c597cde48806b985f39ea228400d6b91187076","datavalue":{"value":{"amount":"+0.8057553768157959","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":"Q1103596$74CBF48C-0660-40E8-A02E-6C289B93FDC9","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":"78c34cd041ed8ae1aa4cc26f5062da8b046835de","datavalue":{"value":{"amount":"+0.8033528923988342","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":"Q1103596$3A6ED273-ECDA-426D-A86A-C430987EC679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba9e0ce52c328bbaafc9fb3faad3a6806c83febb","datavalue":{"value":{"entity-type":"item","numeric-id":5493743,"id":"Q5493743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e377304c7dde279a7634d882dec3ac78122355","datavalue":{"value":{"amount":"+0.8029019832611084","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":"Q1103596$6B9205D4-1B73-477C-A160-2C9A7B9B8FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77b8a41c20f0b3feb211f3cbe3f6ef0d3db25ca7","datavalue":{"value":{"entity-type":"item","numeric-id":4221237,"id":"Q4221237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27835fdbb251504dc7b53d15598cbcee48ce5fb4","datavalue":{"value":{"amount":"+0.794104278087616","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":"Q1103596$6CC415E0-86E0-4172-8F5C-15726DECC1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a12fd09cfafebff5118ba092bd103f6ae7305c","datavalue":{"value":{"entity-type":"item","numeric-id":5493744,"id":"Q5493744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b810fb5f65df4ff8c8d6faade3f19d1f24945fa7","datavalue":{"value":{"amount":"+0.7920932173728943","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":"Q1103596$8236FE9A-D275-4F63-9B33-5003BFC101E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Wittgenstein versus Turing on the nature of Church's thesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Wittgenstein_versus_Turing_on_the_nature_of_Church%27s_thesis"}}}}}