{"id":"https://openalex.org/W1485161910","doi":"https://doi.org/10.2307/2268280","title":"Computability and \u03bb-definability","display_name":"Computability and \u03bb-definability","publication_year":1937,"publication_date":"1937-12-01","ids":{"openalex":"https://openalex.org/W1485161910","doi":"https://doi.org/10.2307/2268280","mag":"1485161910"},"language":"en","primary_location":{"id":"doi:10.2307/2268280","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2268280","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"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":"Journal of Symbolic 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/A5066565862","display_name":"Alan Turing","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"A. M. Turing","raw_affiliation_strings":["Princeton University"],"affiliations":[{"raw_affiliation_string":"Princeton University","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5066565862"],"corresponding_institution_ids":["https://openalex.org/I20089843"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":249,"citation_normalized_percentile":{"value":0.05822785,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"2","issue":"4","first_page":"153","last_page":"163"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9991999864578247,"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.9991999864578247,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9764999747276306,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9681000113487244,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/computable-function","display_name":"Computable function","score":0.9067468643188477},{"id":"https://openalex.org/keywords/computable-analysis","display_name":"Computable analysis","score":0.7746837735176086},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.7354363203048706},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.631858766078949},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6229854226112366},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5354709029197693},{"id":"https://openalex.org/keywords/computability-theory","display_name":"Computability theory","score":0.49192333221435547},{"id":"https://openalex.org/keywords/computable-number","display_name":"Computable number","score":0.4856392443180084},{"id":"https://openalex.org/keywords/primitive-recursive-function","display_name":"Primitive recursive function","score":0.4687659442424774},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46536970138549805},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4178406596183777},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.33933037519454956},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3201259970664978}],"concepts":[{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.9067468643188477},{"id":"https://openalex.org/C27318111","wikidata":"https://www.wikidata.org/wiki/Q5157264","display_name":"Computable analysis","level":3,"score":0.7746837735176086},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.7354363203048706},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.631858766078949},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6229854226112366},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5354709029197693},{"id":"https://openalex.org/C111142201","wikidata":"https://www.wikidata.org/wiki/Q818930","display_name":"Computability theory","level":2,"score":0.49192333221435547},{"id":"https://openalex.org/C156382255","wikidata":"https://www.wikidata.org/wiki/Q818895","display_name":"Computable number","level":4,"score":0.4856392443180084},{"id":"https://openalex.org/C9986523","wikidata":"https://www.wikidata.org/wiki/Q1570472","display_name":"Primitive recursive function","level":2,"score":0.4687659442424774},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46536970138549805},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4178406596183777},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33933037519454956},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3201259970664978},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2307/2268280","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2268280","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"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":"Journal of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1964062928","https://openalex.org/W2023778211","https://openalex.org/W2080280205","https://openalex.org/W2086727636","https://openalex.org/W2126160338","https://openalex.org/W2323777246","https://openalex.org/W6678934100"],"related_works":["https://openalex.org/W4206289504","https://openalex.org/W4206028083","https://openalex.org/W4225581716","https://openalex.org/W3135273464","https://openalex.org/W2095713767","https://openalex.org/W3090554654","https://openalex.org/W3184399009","https://openalex.org/W1485161910","https://openalex.org/W2082471120","https://openalex.org/W4247585886"],"abstract_inverted_index":{"Several":[0],"definitions":[1],"have":[2,157],"been":[3],"given":[4,191],"to":[5,11,22,34,58,99,102,202],"express":[6],"an":[7,144],"exact":[8],"meaning":[9],"corresponding":[10],"the":[12,30,37,42,47,53,104,113,158,171,200,223,226,228],"intuitive":[13],"idea":[14],"of":[15,24,29,50,88,115,161,170,173,181,219],"\u2018effective":[16],"calculability\u2019":[17],"as":[18,91],"applied":[19],"for":[20],"instance":[21],"functions":[23,39,49,56,221],"positive":[25],"integers.":[26],"The":[27,209],"purpose":[28],"present":[31],"paper":[32],"is":[33,67,73,80,84,110,124,130,134,153,183],"show":[35],"that":[36,69,76,106,118,126,148,211],"computable":[38,74,78,111,187,220],"introduced":[40],"by":[41,64,185],"author":[43],"are":[44,139,231],"identical":[45],"with":[46,143,163],"\u03bb-definable":[48,71,108,128,154],"Church":[51],"and":[52,60,62,75,95,165,175,206],"general":[54,81,150],"recursive":[55,151],"due":[57],"Herbrand":[59],"G\u00f6del":[61],"developed":[63],"Kleene.":[65],"It":[66],"shown":[68],"every":[70,77,107,119,127,149],"function":[72,79,109,123,129,152,188],"recursive.":[82],"There":[83],"a":[85,116,167,186,194],"modified":[86],"form":[87,114],"\u03bb-definability,":[89],"known":[90],"\u03bb-":[92,120,131,176],"K":[93,121,132,177],"-definability,":[94],"it":[96],"turns":[97],"out":[98],"be":[100,190],"natural":[101],"put":[103],"proof":[105,117,147,169,210],"in":[112,141,193,233],"-definable":[122,133],"computable;":[125],"trivial.":[135],"If":[136],"these":[137],"results":[138],"taken":[140],"conjunction":[142],"already":[145],"available":[146],"we":[155],"shall":[156],"required":[159],"equivalence":[160,172],"computability":[162,212],"\u03bb-definability":[164,174],"incidentally":[166],"new":[168],"-definability.":[178],"A":[179],"definition":[180],"what":[182],"meant":[184],"cannot":[189],"satisfactorily":[192],"short":[195],"space.":[196],"I":[197],"therefore":[198],"refer":[199],"reader":[201],"Computable":[203],"pp.":[204],"230\u2013235":[205],"p.":[207],"254.":[208],"implies":[213],"recursiveness":[214],"requires":[215],"no":[216],"more":[217],"knowledge":[218],"than":[222],"ideas":[224],"underlying":[225],"definition:":[227],"technical":[229],"details":[230],"recalled":[232],"\u00a75.":[234]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":12},{"year":2024,"cited_by_count":16},{"year":2023,"cited_by_count":14},{"year":2022,"cited_by_count":11},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":10},{"year":2012,"cited_by_count":13}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}