The top documents tagged [diagonalization finite]