anonym comments on The Least Convenient Possible World - Less Wrong

165 Post author: Yvain 14 March 2009 02:11AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (186)

You are viewing a single comment's thread. Show more comments above.

Comment author: Annoyance 14 March 2009 05:00:12PM 0 points [-]

"Would you say that axioms in math are meaningless?"

They distinguish one hypothetical world from another. Furthermore, some of them can be empirically tested. At present, Euclidean geometry seems to be false and Riemannian to be true, and the only difference is a single axiom.

Comment author: anonym 15 March 2009 12:16:00AM 4 points [-]

They distinguish one hypothetical world from another.

It's a subtle distinction, but I think it's more accurate and useful to say that the axioms define a mathematical universe, and that a mathematical universe cannot be true or false but only a better or poorer model of the physical universe.