Suppose the set of "valuable" problems is V, where each problem can be considered by human beings, and there is a bijection between V and $\mathbf{R}$ (real number). Suppose the set of all A.I. softwares is S, where each software can solve exactly one problem. Each software can be represented as a long binary string (machine code). Which of the following statement are true?