Real Numbers: from Computable to Random
Real Numbers: from Computable to Random
Author(s): Cristian S. CaludeSubject(s): Philosophy
Published by: Studia Universitatis Babes-Bolyai
Summary/Abstract: A real is computable if it is the limit of a computable, increasing, computably converging sequence of rationals. Omitting the restriction that the sequence converges computably we arrive at the notion of computably enumerable (c.e.) real, that is, the limit of a computable, increasing, converging sequence of rationals.
Journal: Studia Universitatis Babes-Bolyai - Philosophia
- Issue Year: 46/2001
- Issue No: 1-2
- Page Range: 3-24
- Page Count: 22
- Language: English