Disappointing that there's no mention of infinities.

How do you teach a computer to think in symbolic terms about Cantor's concepts of infinity? There's no computational representation for irrational numbers, and barely for rational numbers. Even floating-point representations are a long-standing problems - and integers? Overflows are a problem, even just signed integers are a problem.

The pencil-and-paper mathematicians and their symbolic representations of infinities, will computers and AI ever come to grasps with that?

i.e. https://www.bbvaopenmind.com/en/science/mathematics/georg-ca...