Remix.run Logo
N_Lens 8 hours ago

Good article.

Math is smaller than the smallest and bigger than the biggest.

lioeters 8 hours ago | parent [-]

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

contraposit 6 hours ago | parent [-]

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.

lioeters 5 hours ago | parent [-]

Even before I started the video, I had a feeling it was going to lead to a kind of "introspective" mathematics that can reason about its own reasoning. I was not disappointed, thank you.

Physics, Topology, Logic and Computation: A Rosetta Stone - https://arxiv.org/abs/0903.0340

contraposit 5 hours ago | parent [-]

[dead]