Author: TobyBartels Format: MarkdownItexSpecker sequences for non-computable numbers of interest in their own right.
<a href="https://ncatlab.org/nlab/revision/diff/Specker+sequence/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/Specker+sequence/4">v4</a>, <a href="https://ncatlab.org/nlab/show/Specker+sequence">current</a>
Specker sequences for non-computable numbers of interest in their own right.