Hacker News new | ask | show | jobs
by krastanov 3705 days ago
It is an axiom, it is not something that you believe in. You assume it and you prove stuff with it. You do not and you prove stuff without it. If you are really good, you show what theorems require it.

You can believe or not in some physical reality to math (I happen to), and then the axioms do become somewhat more than just logic statements, but that is different.

1 comments

> You can believe or not in some physical reality to math (I happen to)

I'm not so sure. Is there any evidence that the value of any physical quantity is an irrational number?

Math was originally inspired by physical reality, but I'm not sure it's so closely related that the concept of the Axiom of Choice being "true" even means anything.