Alien robot math: Turing, Cantor, Gödel, all diagonalizations debunked in one video