Skip to main content
added 1 character in body
Source Link

This is a personal opinion rather than an answer (in fact another personal opinion of mine is that this kind of question cannot have a meaningful objective answer).

Compare this situation with Euclidean geometry. It is not quite correct to ask whether one should beievebelieve in the fifth postulate or not. This is because with the current state of knowledge there is no problem at all to deal with all possible versions of it. And in fact, already situations when the status of the fifth postulate varies from point to point are very well understood.

In set theory also, already state of knowledge is ripe to study if not all, then at least significant amount of possibilities which can arise from various combinations of large cardinal (and several other important) axioms. And in fact it is perfectly meaningful to consider and study mathematical structures which allow for variability of the status of these axioms similarly to the variation of curvature on a geometric surface.

I believe that in such circumstances the question of belief becomes obsolete. It is true that in physics one may believe that the universe is positively or negatively curved, or flat. But this is because we are placed inside this universe. In case of mathematics, we are not placed inside any particular model of set theory, hence we are not forced to choose. Certainly some models are distinguished among the rest by some special properties, like flat geometry is distinguished among the rest of geometries, but that's all one can say I think.

This is a personal opinion rather than an answer (in fact another personal opinion of mine is that this kind of question cannot have a meaningful objective answer).

Compare this situation with Euclidean geometry. It is not quite correct to ask whether one should beieve in the fifth postulate or not. This is because with the current state of knowledge there is no problem at all to deal with all possible versions of it. And in fact, already situations when the status of the fifth postulate varies from point to point are very well understood.

In set theory also, already state of knowledge is ripe to study if not all, then at least significant amount of possibilities which can arise from various combinations of large cardinal (and several other important) axioms. And in fact it is perfectly meaningful to consider and study mathematical structures which allow for variability of the status of these axioms similarly to the variation of curvature on a geometric surface.

I believe that in such circumstances the question of belief becomes obsolete. It is true that in physics one may believe that the universe is positively or negatively curved, or flat. But this is because we are placed inside this universe. In case of mathematics, we are not placed inside any particular model of set theory, hence we are not forced to choose. Certainly some models are distinguished among the rest by some special properties, like flat geometry is distinguished among the rest of geometries, but that's all one can say I think.

This is a personal opinion rather than an answer (in fact another personal opinion of mine is that this kind of question cannot have a meaningful objective answer).

Compare this situation with Euclidean geometry. It is not quite correct to ask whether one should believe in the fifth postulate or not. This is because with the current state of knowledge there is no problem at all to deal with all possible versions of it. And in fact, already situations when the status of the fifth postulate varies from point to point are very well understood.

In set theory also, already state of knowledge is ripe to study if not all, then at least significant amount of possibilities which can arise from various combinations of large cardinal (and several other important) axioms. And in fact it is perfectly meaningful to consider and study mathematical structures which allow for variability of the status of these axioms similarly to the variation of curvature on a geometric surface.

I believe that in such circumstances the question of belief becomes obsolete. It is true that in physics one may believe that the universe is positively or negatively curved, or flat. But this is because we are placed inside this universe. In case of mathematics, we are not placed inside any particular model of set theory, hence we are not forced to choose. Certainly some models are distinguished among the rest by some special properties, like flat geometry is distinguished among the rest of geometries, but that's all one can say I think.

This is a personal opinion rather than an answer (in fact another personal opinion of mine is that this kind of question cannot have a meaningful objective answer).

Compare this situation with Euclidean geometry. It is not quite correct to ask whether one should beieve in the fifth postulate or not. This is because with the current state of knowledge there is no problem at all to deal with all possible versions of it. And in fact, already situations when the status of the fifth postulate varies from point to point are very well understood.

In set theory also, already state of knowledge is ripe to study if not all, then at least significant amount of possibilities which can arise from various combinations of large cardinal (and several other important) axioms. And in fact it is perfectly meaningful to consider and study mathematical structures which allow for variability of the status of these axioms similarly to the variation of curvature on a geometric surface.

I believe that in such circumstances the question of belief becomes obsolete. It is true that in physics one may believe that the universe is positively or negatively curved, or flat. But this is because we are placed inside this universe. In case of mathematics, we are not placed inside any particular model of set theory, hence we are not forced to choose. Certainly some models are distinguished among the rest by some special properties, like flat geometry is distinguished among the rest of geometries, but that's all one can say I think.