7
$\begingroup$

I wonder about a theorem which can be proven that this theorem is $neither\, provable$ nor $disprovable$ using any kind of mathematical knowledge.

Questions:

1- Is there any such theorem? or is it proposable?

2- If there exists such a theorem about a fact, how should we think about it? does it mean that this fact is independent of everything?

  • 0
    @Watson Thanks for the link. The question in the link is very interesting and it has been a long time since I asked this question. Like in Gödel's incompleteness theorems as suggested, there is a system of axioms and we can say that the statement is true only from this point of view. But Math is large and if from ZFC something is undecidable it is probably not the end of the world and from some other system of axioms, one can say something better. The question is that, could there be any question, for which we can never say even a single word, whatever mathematic we use.2016-08-29

4 Answers 4

17

This is a bit of a semantical issue.

Commonly the word theorem refers to a statement which is provable from a certain theory, for example "Zorn's lemma is a theorem of ZFC" is to say that we can prove Zorn's lemma is true from ZFC.

However sometimes the word "sticks" to a certain assertion (such as Zorn's lemma) and it then becomes a part of the name "Cantor's theorem"; "Hahn-Banach Theorem"; "Tychonoff's theorem"; and so on. For example, the Hahn-Banach theorem is not a theorem of ZF, but it is a theorem of ZFC.

Given a collection of axioms which is "nice" (in the sense that we can easily determine if an arbitrary statement is an axiom); as well strong enough to describe the natural numbers, then if this collection is consistent then there are statements which are true and it cannot prove nor disprove. This is The Incompleteness Theorem mentioned by others.

The Continuum Hypothesis is one example of this. There are models of ZFC in which the continuum hypothesis is true; other models of ZFC in which it is false. Similarly the axiom of choice cannot be proved from the axioms of ZF.

However, we are free to add to ZFC other axioms which are sufficient to prove that the continuum hypothesis is true; or we can add axioms which will prove the continuum hypothesis is false. Of course we cannot add both axioms, as that would generate an inconsistency in the system... and inconsistencies are bad.

For example from the axioms of ZFC+$\lozenge_{\omega_1}$ we can prove the continuum hypothesis is true. On the other hand from ZFC+PFA we can prove that the continuum hypothesis is false.

All in all when we say that $\varphi$ is independent from the theory $T$ it means that $T+\varphi$ is consistent (if $T$ was consistent to begin with, of course). In particular this means that $\varphi$ is not independent of the theory $T+\varphi$. This should answer your second question: no statement is independent from all theories.

  • 0
    https://en.wikipedia.org/wiki/Forcing_%28mathematics%29 is the name of the technique used on CH and AC2016-05-04
4

Mathematics is only theories based on set of axioms. From them, you can derive truth value of formula in your theory. It is well know that for any theory with arithmetics, there are unprovable formula (see Goedel).

What does it mean ? Just that your unprovable formula can be added to your set and you obtain a new theory. You can add the negation of the formula and you obtain another theory.

Both theory can be seen as valid (as long as the first one is). There is a well known example in geometry, where you can't prove that given a point and a line (disjoint from the point), there exists only one parallel to the line through the point.

If you add this axiom to the other axioms of geometry you obtain the euclidean geometry, but if you don't, you can obtain some hyperbolic geometry. Both are nice geometries with different domains of usefulness. So you can't say something is true independently of everything else, except for god, but it's not the point here ?

  • 0
    what's does god have to do with it?!2012-10-08
3

Yes, there are many such “theorems”. These include well-known conjectures such as Continuum Hypothesis, and also many more obscure ones, like Whitehead problem. One might also include axiom of choice among those (well, assuming ZF is not inconsistent).

You might want to take a look at the list at Wikipedia.

That said, your question has nothing to do with statistics or probability theory, really.

  • 2
    @SeyhmusGüngören: You have to take *some* assumptions to prove a theorem. Sure, you can take different axioms and using those, prove *any* theorem along with its negation (except perhaps the $x\neq x$ kind), like Gerry Myerson remarked in a comment to your question. But using the *commonly accepted* axioms, you *can't* prove those statements, and, as Gödel's theorems show, for any sensible and reasonably comprehensive axiom system, there *will* be undecidable statements.2012-08-18
1

To answer if something is proveable, you need to ask if a well-formed formula is provable from some theory (set of axiom). From the other answers, you can find the many example of these from set theory. However, there many examples of statements that you can not prove which most people are very familiar with.

For example, the commutativity axiom for groups is not proveable using the axioms of group theory. You would go about showing this unproveability by producing two models of the group axioms: one which satisfy the axiom of commutativity and one that does not. For example any commutative group (like $\mathbb{Z}$) and non-commutative group $S_3$.

This method of producing models is essentially how you prove even the independence results in set theory.