Loading [a11y]/accessibility-menu.js
On non-computable functions | Nokia Bell Labs Journals & Magazine | IEEE Xplore

On non-computable functions


Abstract:

The construction of non-computable functions used in this paper is based on the principle that a finite, non-empty set of non-negative integers has a largest element. Als...Show More

Abstract:

The construction of non-computable functions used in this paper is based on the principle that a finite, non-empty set of non-negative integers has a largest element. Also, this principle is used only for sets which are exceptionally well-defined by current standards. No enumeration of computable functions is used, and in this sense the diagonal process is not employed. Thus, it appears that an apparently self-evident principle, of constant use in every area of mathematics, yields non-constructive entities.
Published in: The Bell System Technical Journal ( Volume: 41, Issue: 3, May 1962)
Page(s): 877 - 884
Date of Publication: May 1962
Print ISSN: 0005-8580

Contact IEEE to Subscribe