{"id":"https://openalex.org/W2021065331","doi":"https://doi.org/10.1305/ndjfl/1093637650","title":"Wittgenstein versus Turing on the nature of Church's thesis.","display_name":"Wittgenstein versus Turing on the nature of Church's thesis.","publication_year":1987,"publication_date":"1987-10-01","ids":{"openalex":"https://openalex.org/W2021065331","doi":"https://doi.org/10.1305/ndjfl/1093637650","mag":"2021065331"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093637650","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093637650","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052776468","display_name":"Stuart Shanker","orcid":null},"institutions":[{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]},{"id":"https://openalex.org/I4210105025","display_name":"University North","ror":"https://ror.org/01afbkc02","country_code":"HR","type":"education","lineage":["https://openalex.org/I4210105025"]},{"id":"https://openalex.org/I4210094877","display_name":"Atkins (United Kingdom)","ror":"https://ror.org/00qcr4910","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210094877"]}],"countries":["CA","GB","HR"],"is_corresponding":true,"raw_author_name":"S. G. Shanker","raw_affiliation_strings":["Department of Philosophy Atkinson College York University North York, Ontario M3J 1P3"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy Atkinson College York University North York, Ontario M3J 1P3","institution_ids":["https://openalex.org/I192455969","https://openalex.org/I4210094877","https://openalex.org/I4210105025"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5052776468"],"corresponding_institution_ids":["https://openalex.org/I192455969","https://openalex.org/I4210094877","https://openalex.org/I4210105025"],"apc_list":null,"apc_paid":null,"fwci":3.5633,"has_fulltext":false,"cited_by_count":44,"citation_normalized_percentile":{"value":0.91160722,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"28","issue":"4","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12558","display_name":"Wittgensteinian philosophy and applications","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12558","display_name":"Wittgensteinian philosophy and applications","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.6403905749320984},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.580237090587616},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39724472165107727},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.36710232496261597},{"id":"https://openalex.org/keywords/theology","display_name":"Theology","score":0.3387458920478821},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.276311457157135},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08955913782119751}],"concepts":[{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.6403905749320984},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.580237090587616},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39724472165107727},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.36710232496261597},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.3387458920478821},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.276311457157135},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08955913782119751}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093637650","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093637650","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1093637650","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093637650","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W116871404","https://openalex.org/W130018555","https://openalex.org/W1483568252","https://openalex.org/W1533138667","https://openalex.org/W1547001738","https://openalex.org/W1566235828","https://openalex.org/W1608719231","https://openalex.org/W1825555684","https://openalex.org/W1970654545","https://openalex.org/W1990474964","https://openalex.org/W2003103143","https://openalex.org/W2011772745","https://openalex.org/W2014540725","https://openalex.org/W2020036492","https://openalex.org/W2033651947","https://openalex.org/W2038960886","https://openalex.org/W2077128566","https://openalex.org/W2091579301","https://openalex.org/W2096391838","https://openalex.org/W2100132722","https://openalex.org/W2126160338","https://openalex.org/W2137317612","https://openalex.org/W2321190132","https://openalex.org/W2323474093","https://openalex.org/W2323777246","https://openalex.org/W2324755522","https://openalex.org/W2326515844","https://openalex.org/W2783802752","https://openalex.org/W2931387854","https://openalex.org/W2934072017","https://openalex.org/W3127908038","https://openalex.org/W4210679053","https://openalex.org/W4235156792","https://openalex.org/W4236482601","https://openalex.org/W4238954174","https://openalex.org/W4240676989","https://openalex.org/W4247819482","https://openalex.org/W4252494166","https://openalex.org/W4254202520","https://openalex.org/W4376583107","https://openalex.org/W4388432481"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2911598644"],"abstract_inverted_index":{"Turing's":[0,148,166,185],"machines":[1,274,284],"are":[2,285],"humans":[3,286],"who":[4,287],"calculate":[5],"9":[6],"The":[7],"title":[8,227],"of":[9,22,41,69,79,99,135,143,147,165,194,203,213,228,242,255,258,281,299,318],"this":[10,80,204,229],"paper":[11,81,230],"suggests":[12],"two":[13],"highly":[14],"contentious":[15],"claims:":[16],"first,":[17],"that":[18,28,36,64,103,118,156,178,199,225,237],"Wittgenstein":[19,179,197,238],"was":[20,105,117,180,239],"aware":[21,241],"the":[23,32,39,62,77,87,100,113,119,145,153,211,226,232,253,259,268,279,297,301,321,326],"developments":[24],"in":[25,50,90,108,128,208,261,276,296],"recursion":[26],"theory":[27],"took":[29],"place":[30],"during":[31],"1930s,":[33],"and":[34,152,264],"second,":[35],"he":[37,293],"disputed":[38],"version":[40],"Church's":[42],"Thesis":[43,121],"(hereafter":[44],"CT)":[45],"which":[46,91],"Turing":[47,92,104,273],"had":[48,93],"presented":[49],"On":[51,243],"Computable":[52,244],"Numbers":[53],"'":[54],"[36].It":[55],"will":[56],"be":[57,305],"best":[58],"to":[59,106,112,150,196,250,272,313],"concede":[60],"at":[61],"outset":[63],"both":[65,144],"themes":[66],"represent":[67],"something":[68],"a":[70,75,163,192],"critical":[71],"liberty;":[72],"or":[73],"rather,":[74],"corollary.For":[76],"subject":[78],"is":[82,122,127,206],"really":[83],"Wittgenstein's":[84,262],"attack":[85],"on":[86,183,210,278],"mechanist":[88],"terms":[89],"interpreted":[94],"his":[95,109,132],"computability":[96,186],"results.But":[97],"one":[98,289,309],"central":[101],"points":[102],"make":[107],"1947":[110],"'Lecture":[111],"London":[114],"Mathematical":[115],"Society'":[116],"Mechanist":[120],"not":[123],"just":[124],"licensed":[125],"but":[126],"fact":[129],"entailed":[130],"by":[131,252],"1936":[133],"development":[134],"CT":[136,151,161],"[39].Wittgenstein's":[137],"argument":[138,149],"thus":[139],"demands":[140],"careful":[141],"scrutiny":[142],"relation":[146],"cognitivist":[154],"implications":[155],"have":[157,222],"been":[158,191,223],"read":[159],"into":[160],"as":[162,307],"result":[164],"influence.Before":[167],"we":[168,173],"consider":[169],"these":[170],"matters,":[171],"however,":[172],"must":[174],"first":[175],"satisfy":[176],"ourselves":[177],"indeed":[181],"intent":[182],"repudiating":[184],"thesis.For":[187],"it":[188,220],"has":[189,324],"long":[190],"source":[193],"frustration":[195],"scholars":[198],"no":[200],"overt":[201],"mention":[202],"issue":[205],"found":[207],"Lectures":[209],"Foundations":[212],"Mathematics:":[214],"Cambridge":[215],"1939":[216],"[48].Indeed,":[217],"until":[218],"recently":[219],"might":[221,290],"thought":[224],"makes":[231],"still":[233],"further":[234],"unwarranted":[235],"assumption":[236],"even":[240,265],"Numbers'.Any":[245],"such":[246,306],"doubts":[247],"were":[248],"laid":[249],"rest":[251],"discovery":[254],"an":[256],"off-print":[257],"essay":[260],"Nachlass,":[263],"more":[266],"important,":[267],"following":[269],"mystifying":[270],"reference":[271],"occurs":[275],"Remarks":[277],"Philosophy":[280],"Psychology:Turing's":[282],"'Machines'.These":[283],"calculate.And":[288],"express":[291],"what":[292],"says":[294],"also":[295],"form":[298],"games.And":[300],"interesting":[302],"games":[303,319],"would":[304],"brought":[308],"via":[310],"certain":[311],"rules":[312],"nonsensical":[314],"instructions.I":[315],"am":[316],"thinking":[317],"like":[320],"\"racing":[322],"game\".One":[323],"received":[325]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}