我知道那個理論:所有的學問是比無限猴子更高階的無窮大。
Every computer program is a string.
So, the number of programs is at most the number of strings.
From Cantor's Theorem, we know that there are more sets of strings than strings.
There are at least as many problems as there are sets of strings.