3 ms·

“I genuinely don’t have an operational definition for what it means to use diagonalization” - Terry Tao