alt Hacker NewsIt's also deep, it goes all the way to the bottom.
> The world of mathematics is both broad and deep, and we need birds and frogs working together to explore it. -- Freeman Dyson
It's also deep, it goes all the way to the bottom.
> The world of mathematics is both broad and deep, and we need birds and frogs working together to explore it. -- Freeman Dyson
Weird Things Happen When Math Gets Too Expressive
https://www.youtube.com/watch?v=EVwQsvof7Hw
Peano arithmetic is sufficiently expressive enough to be equivalent to any possible future theory of mathematics.