我知道那个理论：所有的学问是比无限猴子更高阶的无穷大。
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.
