[TheRealNGenius]

I agree, I just skimmed it but the examples they used and their arguments were weak. It reads as if they haven't actually dug deep into the material they are presenting.

When they mentioned not being able to calculate double pendulum, my mind immediately jumped to concepts of computability. For instance, we know that the Halting Problem cannot be solved by a Turing machine. We (or aliens) can introduce an oracle, but that would have it's own equivalent halting problem. These are truths that have been proven.

This follows for any and all theorems. You start with a set of axioms, and then successively arrive at your proof through logical steps. Aliens might come up with new questions, new answers, etc. But that has no bearing on the validity of our mathematics.