Theory of Recursive Functions and Effective Computability

Name: Work Video:
Duration: 3 min 30 s
Description: Central concerns of the book are related theories of recursively enumerable sets, of degree of un-solvability and turing degrees in particular. A second group of topics has to do with generalizations of recursion theory. The third topics group mentioned is subrecursive computability and subrecursive hierarchies
Jr. Hartley Rogers
{'id': 'https://openalex.org/W2117832390', 'doi': None, 'title': 'Theory of Recursive Functions and Effective Computability', 'display_name': 'Theory of Recursive Functions and Effective Computability', 'publication_year': 1987, 'publication_date': '1987-04-22', 'ids': {'openalex': 'https://openalex.org/W2117832390', 'mag': '2117832390'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'http://ci.nii.ac.jp/ncid/BA00610854', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'book', 'type_crossref': 'book', 'indexed_in': [], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5010354448', 'display_name': 'Jr. Hartley Rogers', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I63966007', 'display_name': 'Massachusetts Institute of Technology', 'ror': 'https://ror.org/042nb2s44', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I63966007']}], 'countries': ['US'], 'is_corresponding': True, 'raw_author_name': 'Jr. Hartley Rogers', 'raw_affiliation_strings': ['[Massachusetts Inst. of Technol., Cambridge]'], 'affiliations': [{'raw_affiliation_string': '[Massachusetts Inst. of Technol., Cambridge]', 'institution_ids': ['https://openalex.org/I63966007']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': ['https://openalex.org/A5010354448'], 'corresponding_institution_ids': ['https://openalex.org/I63966007'], 'apc_list': None, 'apc_paid': None, 'fwci': 17.418, 'has_fulltext': False, 'cited_by_count': 1886, 'citation_normalized_percentile': {'value': 0.993174, 'is_in_top_1_percent': True, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 99, 'max': 100}, 'biblio': {'volume': None, 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T12002', 'display_name': 'Computability, Logic, AI Algorithms', 'score': 0.9849, '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.9849, '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-theory', 'display_name': 'Computability theory', 'score': 0.9417302}, {'id': 'https://openalex.org/keywords/turing', 'display_name': 'Turing', 'score': 0.7064466}, {'id': 'https://openalex.org/keywords/degree', 'display_name': 'Degree (music)', 'score': 0.4225691}], 'concepts': [{'id': 'https://openalex.org/C111142201', 'wikidata': 'https://www.wikidata.org/wiki/Q818930', 'display_name': 'Computability theory', 'level': 2, 'score': 0.9417302}, {'id': 'https://openalex.org/C152062344', 'wikidata': 'https://www.wikidata.org/wiki/Q818888', 'display_name': 'Computability', 'level': 2, 'score': 0.8103012}, {'id': 'https://openalex.org/C9870796', 'wikidata': 'https://www.wikidata.org/wiki/Q490481', 'display_name': 'Turing', 'level': 2, 'score': 0.7064466}, {'id': 'https://openalex.org/C168773036', 'wikidata': 'https://www.wikidata.org/wiki/Q264164', 'display_name': 'Recursion (computer science)', 'level': 2, 'score': 0.6990121}, {'id': 'https://openalex.org/C203702658', 'wikidata': 'https://www.wikidata.org/wiki/Q1073063', 'display_name': 'Recursively enumerable language', 'level': 2, 'score': 0.5675961}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.5158388}, {'id': 'https://openalex.org/C2781311116', 'wikidata': 'https://www.wikidata.org/wiki/Q83306', 'display_name': 'Group (periodic table)', 'level': 2, 'score': 0.44342908}, {'id': 'https://openalex.org/C2775997480', 'wikidata': 'https://www.wikidata.org/wiki/Q586277', 'display_name': 'Degree (music)', 'level': 2, 'score': 0.4225691}, {'id': 'https://openalex.org/C29248071', 'wikidata': 'https://www.wikidata.org/wiki/Q163310', 'display_name': 'Turing machine', 'level': 3, 'score': 0.42075858}, {'id': 'https://openalex.org/C118615104', 'wikidata': 'https://www.wikidata.org/wiki/Q121416', 'display_name': 'Discrete mathematics', 'level': 1, 'score': 0.3773715}, {'id': 'https://openalex.org/C136119220', 'wikidata': 'https://www.wikidata.org/wiki/Q1000660', 'display_name': 'Algebra over a field', 'level': 2, 'score': 0.35858685}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.34935322}, {'id': 'https://openalex.org/C202444582', 'wikidata': 'https://www.wikidata.org/wiki/Q837863', 'display_name': 'Pure mathematics', 'level': 1, 'score': 0.24894246}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.15248707}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.0706757}, {'id': 'https://openalex.org/C185592680', 'wikidata': 'https://www.wikidata.org/wiki/Q2329', 'display_name': 'Chemistry', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C121332964', 'wikidata': 'https://www.wikidata.org/wiki/Q413', 'display_name': 'Physics', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C178790620', 'wikidata': 'https://www.wikidata.org/wiki/Q11351', 'display_name': 'Organic chemistry', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C24890656', 'wikidata': 'https://www.wikidata.org/wiki/Q82811', 'display_name': 'Acoustics', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C45374587', 'wikidata': 'https://www.wikidata.org/wiki/Q12525525', 'display_name': 'Computation', 'level': 2, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'http://ci.nii.ac.jp/ncid/BA00610854', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 0, 'referenced_works': [], 'related_works': ['https://openalex.org/W623765668', 'https://openalex.org/W2797656628', 'https://openalex.org/W2126160338', 'https://openalex.org/W2089442854', 'https://openalex.org/W2061079066', 'https://openalex.org/W2056414301', 'https://openalex.org/W2045033949', 'https://openalex.org/W2041249678', 'https://openalex.org/W2019001600', 'https://openalex.org/W2018722248', 'https://openalex.org/W2002089154', 'https://openalex.org/W1993931385', 'https://openalex.org/W1969005071', 'https://openalex.org/W1963780006', 'https://openalex.org/W1785196451', 'https://openalex.org/W166170480', 'https://openalex.org/W1638203394', 'https://openalex.org/W1632759684', 'https://openalex.org/W1579083493', 'https://openalex.org/W1483568252'], 'abstract_inverted_index': {'Central': [0], 'concerns': [1], 'of': [2, 8, 12, 14, 24, 31], 'the': [3], 'book': [4], 'are': [5], 'related': [6], 'theories': [7], 'recursively': [9], 'enumerable': [10], 'sets,': [11], 'degree': [13], 'un-solvability': [15], 'and': [16, 42], 'turing': [17], 'degrees': [18], 'in': [19], 'particular.': [20], 'A': [21], 'second': [22], 'group': [23, 37], 'topics': [25, 36], 'has': [26], 'to': [27], 'do': [28], 'with': [29], 'generalizations': [30], 'recursion': [32], 'theory.': [33], 'The': [34], 'third': [35], 'mentioned': [38], 'is': [39], 'subrecursive': [40, 43], 'computability': [41], 'hierarchies': [44]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2117832390', 'counts_by_year': [{'year': 2024, 'cited_by_count': 12}, {'year': 2023, 'cited_by_count': 31}, {'year': 2022, 'cited_by_count': 35}, {'year': 2021, 'cited_by_count': 30}, {'year': 2020, 'cited_by_count': 34}, {'year': 2019, 'cited_by_count': 32}, {'year': 2018, 'cited_by_count': 24}, {'year': 2017, 'cited_by_count': 29}, {'year': 2016, 'cited_by_count': 44}, {'year': 2015, 'cited_by_count': 49}, {'year': 2014, 'cited_by_count': 67}, {'year': 2013, 'cited_by_count': 56}, {'year': 2012, 'cited_by_count': 67}], 'updated_date': '2024-12-24T02:58:48.138258', 'created_date': '2016-06-24'}
Publication Information

Basic Information

Access and Citation

AI Researcher Chatbot

Primary Location

Authors

Topics

Keywords

Related Works
