Assertion: real number | /r/HasProperty | only countably many algorithms
Facets:
value: countably
type: DEGREE
Source sentences:
text: Because there are only countably many algorithms, but an uncountable number of reals, almost all real numbers fail to be computable.