×

On non-computable functions. (English) Zbl 1497.68176

Summary: 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.

MSC:

68Q04 Classical models of computation (Turing machines, etc.)
03D10 Turing machines and related notions
PDFBibTeX XMLCite
Full Text: DOI