On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings

The present paper surveys some results from the inductive inference of recursive functions, which are related to the characterization of inferrible function classes in terms of complexity theory, and in terms of recursive numberings. Some new results and open problems are also included.

Detalles Bibliográficos
Autor principal: Zeugmann, Thomas
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7309512/
http://dx.doi.org/10.1007/978-3-030-51466-2_11
_version_ 1783549222334758912
author Zeugmann, Thomas
author_facet Zeugmann, Thomas
author_sort Zeugmann, Thomas
collection PubMed
description The present paper surveys some results from the inductive inference of recursive functions, which are related to the characterization of inferrible function classes in terms of complexity theory, and in terms of recursive numberings. Some new results and open problems are also included.
format Online
Article
Text
id pubmed-7309512
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-73095122020-06-23 On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings Zeugmann, Thomas Beyond the Horizon of Computability Article The present paper surveys some results from the inductive inference of recursive functions, which are related to the characterization of inferrible function classes in terms of complexity theory, and in terms of recursive numberings. Some new results and open problems are also included. 2020-06-24 /pmc/articles/PMC7309512/ http://dx.doi.org/10.1007/978-3-030-51466-2_11 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Zeugmann, Thomas
On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings
title On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings
title_full On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings
title_fullStr On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings
title_full_unstemmed On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings
title_short On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings
title_sort on the interplay between inductive inference of recursive functions, complexity theory and recursive numberings
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7309512/
http://dx.doi.org/10.1007/978-3-030-51466-2_11
work_keys_str_mv AT zeugmannthomas ontheinterplaybetweeninductiveinferenceofrecursivefunctionscomplexitytheoryandrecursivenumberings

Ejemplares similares