> In particular, we humans still hotly debate which math is the "right" math. Is the axiom of choice "true"? Does it make sense to say that it has a truth value?
I would love examples of this. Seems pretty cool to think about. I always assumed that “math” would be one of the constructs we could always reliably communicate with.
I would love examples of this. Seems pretty cool to think about. I always assumed that “math” would be one of the constructs we could always reliably communicate with.