{"id":"https://openalex.org/W2132161762","doi":"https://doi.org/10.2307/420992","title":"Computability and Recursion","display_name":"Computability and Recursion","publication_year":1996,"publication_date":"1996-09-01","ids":{"openalex":"https://openalex.org/W2132161762","doi":"https://doi.org/10.2307/420992","mag":"2132161762"},"language":"en","primary_location":{"id":"doi:10.2307/420992","is_oa":true,"landing_page_url":"https://doi.org/10.2307/420992","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/21DB3D692FCB1FFD2BE365C0B4A04FD6/S1079898600007836a.pdf/div-class-title-computability-and-recursion-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bulletin of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/21DB3D692FCB1FFD2BE365C0B4A04FD6/S1079898600007836a.pdf/div-class-title-computability-and-recursion-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023422267","display_name":"Robert I. Soare","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Robert I. Soare","raw_affiliation_strings":["Department of Mathematics, University of Chicago, Chicago, Illinois 60637-1546, USA E-mail:","Department of Mathematics, University of Chicago, Chicago, Illinois 60637-1546, USA E-mail: soare@math.uchicago.edu, http/www.cs.uchicago.edu~soare, Papers posted at, ftp:cs.uchicago.edu/ftp/pub/users/soare"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Chicago, Chicago, Illinois 60637-1546, USA E-mail:","institution_ids":["https://openalex.org/I40347166"]},{"raw_affiliation_string":"Department of Mathematics, University of Chicago, Chicago, Illinois 60637-1546, USA E-mail: soare@math.uchicago.edu, http/www.cs.uchicago.edu~soare, Papers posted at, ftp:cs.uchicago.edu/ftp/pub/users/soare","institution_ids":["https://openalex.org/I40347166"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5023422267"],"corresponding_institution_ids":["https://openalex.org/I40347166"],"apc_list":null,"apc_paid":null,"fwci":10.7257,"has_fulltext":false,"cited_by_count":272,"citation_normalized_percentile":{"value":0.98879373,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"2","issue":"3","first_page":"284","last_page":"321"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9811000227928162,"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/T11567","display_name":"semigroups and automata theory","score":0.9797000288963318,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.9150524139404297},{"id":"https://openalex.org/keywords/computability-theory","display_name":"Computability theory","score":0.8835086226463318},{"id":"https://openalex.org/keywords/computable-function","display_name":"Computable function","score":0.6587659120559692},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.6490157246589661},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.5957295894622803},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.535031259059906},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.49431943893432617},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.490328311920166},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.44471925497055054},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43515831232070923},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3610216975212097},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3097289204597473},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19764220714569092},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17425033450126648},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.07213044166564941}],"concepts":[{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.9150524139404297},{"id":"https://openalex.org/C111142201","wikidata":"https://www.wikidata.org/wiki/Q818930","display_name":"Computability theory","level":2,"score":0.8835086226463318},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.6587659120559692},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.6490157246589661},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.5957295894622803},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.535031259059906},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.49431943893432617},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.490328311920166},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.44471925497055054},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43515831232070923},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3610216975212097},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3097289204597473},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19764220714569092},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17425033450126648},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.07213044166564941},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.2307/420992","is_oa":true,"landing_page_url":"https://doi.org/10.2307/420992","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/21DB3D692FCB1FFD2BE365C0B4A04FD6/S1079898600007836a.pdf/div-class-title-computability-and-recursion-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bulletin of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.bsl/1182353451","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.bsl/1182353451","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.161.9229","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.9229","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.people.cs.uchicago.edu/~soare/History/compute.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.27.5821","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.5821","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.math.ucla.edu/~asl/bsl/0203/0203-002.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.31.8746","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.8746","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.math.ucla.edu/pub/asl/bsl/0203/0203-002.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.35.5803","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.5803","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.uchicago.edu/~soare/Publications/compute.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.46.5952","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.5952","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.uchicago.edu/~soare/papers/computability.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.79.6438","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.6438","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.people.cs.uchicago.edu/~soare/References/compute.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.2307/420992","is_oa":true,"landing_page_url":"https://doi.org/10.2307/420992","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/21DB3D692FCB1FFD2BE365C0B4A04FD6/S1079898600007836a.pdf/div-class-title-computability-and-recursion-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bulletin of Symbolic Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2132161762.pdf","grobid_xml":"https://content.openalex.org/works/W2132161762.grobid-xml"},"referenced_works_count":121,"referenced_works":["https://openalex.org/W9167880","https://openalex.org/W76743840","https://openalex.org/W85482913","https://openalex.org/W118368417","https://openalex.org/W140701301","https://openalex.org/W150149589","https://openalex.org/W174270456","https://openalex.org/W574857009","https://openalex.org/W623765668","https://openalex.org/W850599559","https://openalex.org/W1483568252","https://openalex.org/W1485161910","https://openalex.org/W1486610321","https://openalex.org/W1494994700","https://openalex.org/W1501224804","https://openalex.org/W1519565561","https://openalex.org/W1520909268","https://openalex.org/W1525064220","https://openalex.org/W1526907582","https://openalex.org/W1538838225","https://openalex.org/W1540715591","https://openalex.org/W1555412307","https://openalex.org/W1556737389","https://openalex.org/W1562318894","https://openalex.org/W1563213401","https://openalex.org/W1580999956","https://openalex.org/W1586454638","https://openalex.org/W1607953571","https://openalex.org/W1608476301","https://openalex.org/W1734944212","https://openalex.org/W1829518246","https://openalex.org/W1896538128","https://openalex.org/W1960494084","https://openalex.org/W1964062928","https://openalex.org/W1967629533","https://openalex.org/W1970654545","https://openalex.org/W1972347230","https://openalex.org/W1975810242","https://openalex.org/W1984492016","https://openalex.org/W1996932891","https://openalex.org/W1999479735","https://openalex.org/W2001771035","https://openalex.org/W2002942454","https://openalex.org/W2004459113","https://openalex.org/W2013146192","https://openalex.org/W2014540725","https://openalex.org/W2022731279","https://openalex.org/W2023778211","https://openalex.org/W2026831454","https://openalex.org/W2033831013","https://openalex.org/W2033914241","https://openalex.org/W2034109862","https://openalex.org/W2036869460","https://openalex.org/W2037469541","https://openalex.org/W2038960886","https://openalex.org/W2040094858","https://openalex.org/W2045033949","https://openalex.org/W2060878518","https://openalex.org/W2064811181","https://openalex.org/W2069629420","https://openalex.org/W2070646413","https://openalex.org/W2070909821","https://openalex.org/W2080280205","https://openalex.org/W2081040555","https://openalex.org/W2081416038","https://openalex.org/W2085869400","https://openalex.org/W2086624844","https://openalex.org/W2087443598","https://openalex.org/W2089259606","https://openalex.org/W2090461483","https://openalex.org/W2092796288","https://openalex.org/W2111935378","https://openalex.org/W2114804254","https://openalex.org/W2126160338","https://openalex.org/W2145482038","https://openalex.org/W2168058676","https://openalex.org/W2250471400","https://openalex.org/W2252885734","https://openalex.org/W2291705646","https://openalex.org/W2315610131","https://openalex.org/W2317985617","https://openalex.org/W2320296823","https://openalex.org/W2323777246","https://openalex.org/W2326418800","https://openalex.org/W2329928786","https://openalex.org/W2333519779","https://openalex.org/W2335137778","https://openalex.org/W2496864969","https://openalex.org/W2500837594","https://openalex.org/W2502412980","https://openalex.org/W2597893916","https://openalex.org/W2611024016","https://openalex.org/W2797656628","https://openalex.org/W2977904728","https://openalex.org/W3098205448","https://openalex.org/W3120173222","https://openalex.org/W3121089992","https://openalex.org/W3135291502","https://openalex.org/W3141205388","https://openalex.org/W4210783718","https://openalex.org/W4214827540","https://openalex.org/W4232277851","https://openalex.org/W4234903568","https://openalex.org/W4244319301","https://openalex.org/W4247319632","https://openalex.org/W4247585886","https://openalex.org/W4247810844","https://openalex.org/W4256369010","https://openalex.org/W4291166496","https://openalex.org/W4291439952","https://openalex.org/W4296119740","https://openalex.org/W4297847885","https://openalex.org/W4388314051","https://openalex.org/W4388314147","https://openalex.org/W4388314152","https://openalex.org/W4388314925","https://openalex.org/W4388436028","https://openalex.org/W6641835236","https://openalex.org/W6700461227","https://openalex.org/W6784514166","https://openalex.org/W6786000233"],"related_works":["https://openalex.org/W1555412307","https://openalex.org/W4247585886","https://openalex.org/W596942210","https://openalex.org/W4243200898","https://openalex.org/W4389946807","https://openalex.org/W4376312568","https://openalex.org/W2480451440","https://openalex.org/W3102609132","https://openalex.org/W1750180674","https://openalex.org/W2142519528"],"abstract_inverted_index":{"Abstract":[0],"We":[1,32],"consider":[2,33],"the":[3,14,69,73,105,109,119,126,153,164,172,175],"informal":[4],"concept":[5],"of":[6,13,72,75,92,111,129,174],"\u201ccomputability\u201d":[7,112],"or":[8,131,140,183],"\u201ceffective":[9],"calculability\u201d":[10],"and":[11,26,56,78,89,94,113,159,162],"two":[12],"formalisms":[15],"commonly":[16],"used":[17],"to":[18,81],"define":[19],"it,":[20],"\u201c(":[21,27],"Turing":[22,136],")":[23,29],"computability":[24,76,93],"\u201d":[25,182],"general":[28,41],"recursiveness":[30],"\u201d.":[31],"their":[34,49,60,65,141],"origin,":[35],"exact":[36],"technical":[37],"definition,":[38],"concepts,":[39],"history,":[40],"English":[42],"meanings,":[43],"how":[44,52,64],"they":[45,53],"became":[46],"fixed":[47],"in":[48,100,167],"present":[50],"roles,":[51],"were":[54],"first":[55],"are":[57],"now":[58],"used,":[59],"impact":[61],"on":[62],"nonspecialists,":[63],"use":[66,163],"will":[67],"affect":[68],"future":[70],"content":[71],"subject":[74,176],"theory,":[77],"its":[79],"connection":[80],"other":[82],"related":[83],"areas.":[84],"After":[85],"a":[86],"careful":[87],"historical":[88],"conceptual":[90],"analysis":[91],"recursion":[95],"we":[96,116,150],"make":[97],"several":[98],"recommendations":[99],"section":[101],"\u00a77":[102],"about":[103],"preserving":[104],"intensional":[106,154],"differences":[107],"between":[108,156],"concepts":[110],"\u201crecursion.\u201d":[114],"Specifically":[115],"recommend":[117],"that:":[118],"term":[120],"\u201crecursive\u201d":[121],"should":[122,143,151,177],"no":[123],"longer":[124],"carry":[125],"additional":[127],"meaning":[128],"\u201ccomputable\u201d":[130,146],"\u201cdecidable;\u201d":[132],"functions":[133],"defined":[134],"using":[135],"machines,":[137,139],"register":[138],"variants":[142],"be":[144,178],"called":[145],"rather":[147,186],"than":[148,187],"\u201crecursive;\u201d":[149],"distinguish":[152],"difference":[155],"Church's":[157],"Thesis":[158],"Turing's":[160],"Thesis,":[161],"latter":[165],"particularly":[166],"dealing":[168],"with":[169],"mechanistic":[170],"questions;":[171],"name":[173],"\u201c":[179],"Computability":[180,185],"Theory":[181],"simply":[184],"\u201cRecursive":[188],"Function":[189],"Theory.\u201d":[190]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":19},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":59},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":26},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":11},{"year":2014,"cited_by_count":14},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":5}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}