19:31Diagonal Argument Cantor, Turing, Tarski and LawvereMathematical Coincidence10.8K views·4 years ago