Assertion: integer sequence | /r/HasProperty | computable
Facets:
Source sentences:
text: The set of all integer sequences is uncountable (with cardinality equal to that of the continuum), and so not all integer sequences are computable.