You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

SolveIt comments on Open thread, Jan. 26 - Feb. 1, 2015 - Less Wrong Discussion

6 Post author: Gondolinian 26 January 2015 12:46AM

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

Comments (431)

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

Comment author: Lumifer 26 January 2015 05:01:34PM 5 points [-]

What's wrong with treating axioms as assumptions?

Comment author: SolveIt 26 January 2015 10:55:58PM 5 points [-]

Well, it's hard to articulate. There's of course nothing wrong with assumptions per se, since axioms indeed are assumptions, my peeve is with the baggage that comes with it. People say things like "what if the assumptions are wrong?", or "I don't think that axiom is clearly true", or "In the end you can't prove that your axioms are true".

These questions would be legitimate if the goal were physical truth, or a self-justifying absolute system of knowledge or whatever, but in the context of mathematics, we're not so interested in the content of the assumptions as we are in the structure we can get out of them.

In my experience, this kind of thing happens most often when philosophically inclined people talk about things like the Peano axioms, where it's possible to think we're discussing some ideal entity that exists independently of thought, and disappears when people are exposed to, say, the vector space axioms, or some set of axioms of set theory, where it becomes clear that axioms aren't descriptions but definitions.

Actually, you can ignore everything I've said above, I've figured out precisely what I have a problem with. It's the popular conception of axioms as descriptive rather than prescriptive. Which, I suppose OP was also talking about when they mentioned building blocks as opposed to assumptions.

Comment author: Lumifer 27 January 2015 01:37:40AM *  0 points [-]

People say things like "what if the assumptions are wrong?"

That's a valid question in a slightly different formulation: "what if we pick a different set of assumptions?"

"In the end you can't prove that your axioms are true"

But that, on the other hand, is pretty stupid.

It's the popular conception of axioms as descriptive rather than prescriptive.

Well, normally you want your axioms to be descriptive. If you're interested in reality, you would really prefer your assumptions/axioms to match reality in some useful way.

I'll grant that math is not particularly interested in reality and so tends to go off on exploratory expeditions where reality is seen as irrelevant. Usually it turns out to be true, but sometimes the mathematicians find a new (and useful) way of looking at reality and so the expedition does loop back to the real.

But that's a peculiarity of math. Outside of that (as well as some other things like philosophy and literary criticism :-D) I will argue that you do want axioms to be descriptive.