|
|
(view preamble | get metadata)
Cross-references: even, element, lines, finite, number, calculate, FORTRAN, Cantor's diagonal argument, uncountable, cardinality, countable, computable real numbers, real numbers, recursive functions, rational numbers, sequence
There is 1 reference to this entry.
This is version 10 of computable sequence, born on 2004-09-28, modified 2008-06-17.
Object id is 6247, canonical name is ComputableSequence.
Accessed 1754 times total.
Classification:
| AMS MSC: | 03F60 (Mathematical logic and foundations :: Proof theory and constructive mathematics :: Constructive and recursive analysis) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
