Identifying Nearly Minimal Gödel Numbers from Additional Information
Abstract
A new identification type close to the identification of minimal Gödel numbers is considered. The type is defined by allowing as input both the graph of the target function and an arbitrary upper bound of the minimal index of the target function in a Gödel numbering of all partial recursive functions. However, the result of the inference has to be bounded by a fixed function from the given bound. Results characterizing the dependence of this identification type from the underlying Gödel numbering are obtained. In particular, it is shown that for a wide class of Gödel numberings, the class of all recursive functions can be identified even for “small” bounding functions.
Cite
Text
Freivalds et al. "Identifying Nearly Minimal Gödel Numbers from Additional Information." International Conference on Algorithmic Learning Theory, 1994. doi:10.1007/3-540-58520-6_56Markdown
[Freivalds et al. "Identifying Nearly Minimal Gödel Numbers from Additional Information." International Conference on Algorithmic Learning Theory, 1994.](https://mlanthology.org/alt/1994/freivalds1994alt-identifying/) doi:10.1007/3-540-58520-6_56BibTeX
@inproceedings{freivalds1994alt-identifying,
title = {{Identifying Nearly Minimal Gödel Numbers from Additional Information}},
author = {Freivalds, Rusins and Botuscharov, Ognian and Wiehagen, Rolf},
booktitle = {International Conference on Algorithmic Learning Theory},
year = {1994},
pages = {91-99},
doi = {10.1007/3-540-58520-6_56},
url = {https://mlanthology.org/alt/1994/freivalds1994alt-identifying/}
}