Pythagorean Theorem is "digging hard" and "not interesting"? Mind explaining? The language that contains all Turing Machines that halt on all inputs is not dec

Pythagorean Theorem is "digging hard" and "not interesting"? Mind explaining? The language that contains all Turing Machines that halt on all inputs is not decidable. Or e^(iy) = sin(y) + i * cos(y) Are those uninteresting trivialities to you?