Landmark computer science proof cascades through physics and math
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?