If I understand it right, the proof shows the difference between a finite matrix of recursively enumerable operators and infinite matrix of non-recursive operat

If I understand it right, the proof shows the difference between a finite matrix of recursively enumerable operators and infinite matrix of non-recursive operators, is that about correct?