> It is worth emphasizing that dogs wouldn't understand formal calculus even if they were smarter than humans!
Exactly! If a dog invented a dog superintelligence and it discovered calculus, the dogs would never understand that discovery. I think a superintelligence we build will discover things we cannot understand.
No, you totally misunderstood my point. Formal calculus is not a physical fact of the
universe, it is an abstract human tool that other species (including dogs) are not capable of using, just like they can't use hammers or drive cars. The problem is not a lack of intelligence, it's having the wrong body.
