8
$\begingroup$

We have an infinite amount of theorems $A_1, A_2 \ldots A_n$. Each one of the theorems says: "All of the following theorems are false.". Is there a single one of these theorems that is true?

$\endgroup$
  • 3
    $\begingroup$ Do you mean preceding when you say following? $\endgroup$ – Quintec Oct 6 '18 at 19:12
  • 4
    $\begingroup$ And do you mean propositions when you say theorems? (A theorem is a thing with a proof, which is necessarily true if your axioms are true and your rules of deduction never produce false conclusions from true premises.) $\endgroup$ – Gareth McCaughan Oct 6 '18 at 19:17
  • $\begingroup$ Hi, @ponikolo. It appears that your question has been put on hold — it currently remains unclear or hard to tell of what you are asking for other members of this site. (I have not downvoted — I respect the fact that you are a new contributor to this community.) Thus, I strongly recommend that you visit the Help Center (in particular, here). Be specific. If you ask a vague question, you may get a vague answer; but if you give us details and context, we can provide a useful answer :) $\endgroup$ – Mr Pie Oct 7 '18 at 7:05
  • $\begingroup$ Hello @user477343 I've edited my question, hopefully this makes more sense. $\endgroup$ – ponikoli Oct 7 '18 at 9:16
  • $\begingroup$ Hey, I think that this question makes perfect sense. I even upvoted it. Well tried when it is not on hold, i will try answering it. $\endgroup$ – Quark-epoch Oct 7 '18 at 10:55
8
$\begingroup$

There can not be more than one true statement. If both $A_i$ and $A_j$ are true ($i<j$), this makes $A_i$ false since there is now a statement after $A_i$ that is true.

There can not be exactly one true statement. If $A_i$ is true, that means $A_{i+1}$ and all remaining statements are false. But if all remaining statements are false, that would make $A_{i+1}$ true.

There can not be zero true statements. That would mean that $A_1$ and all following statements are false, but since all following statements are false that would make $A_1$ true.

So I don't think we can say anything about the statements that would be consistent logically.

$\endgroup$
2
$\begingroup$

Here's a different approach-

If we consider the theorems to be arranged in a loop pattern such that theorem $A_1$ is followed by theorem $A_2$ to $A_n$, theorem $A_2$ is followed by $A_3$ to $A_n$ then $A_1$, theorem $A_3$ is followed by $A_4$ to $A_n$ then $A_1$,$A_2$ and so on. There can in fact be exactly one true statement.
Let's say the true statement be $A_x$, since the theorems are in a loop it would make all other statements false, because all other statements have $A_x$ in the list of following statements, making them all false and thus maintaining its own truth.

$\endgroup$
1
$\begingroup$

The answer is

no; Let $i > 0$ be the smallest integer for which $A_i$ is true. That means $A_{i+1}$ is false, and there must be at least one $j \ge i+2$ for which $A_j$ is true. But this contradicts the fact that $A_i$ is true.

$\endgroup$
  • $\begingroup$ This would make A2 true as well, would't it? Since now all statements following A2 are false. $\endgroup$ – jafe Oct 7 '18 at 12:52
  • $\begingroup$ @jafe you're right, I messed things up quite a bit. $\endgroup$ – Glorfindel Oct 7 '18 at 12:59
  • 1
    $\begingroup$ And if all are false, that makes A1 true and the madness begins anew :) $\endgroup$ – jafe Oct 7 '18 at 13:03
0
$\begingroup$

Infinity hurts my brain, but...

Assume that all $A$ are false for $A_1 \ldots A_n$ as $n$ approaches infinity. This makes $A_1 \ldots A_n$ true for all $n$ as n approaches infinity. This is a contradiction. Therefore by induction, there must exist at least one $A_x$ in which $A_x$ is true. We don't know where, but it is out there in the infinite wild somewhere!

$\endgroup$
0
$\begingroup$

The answer:

Yes, there is exactly one that is true.

Proof:

Assume for the purpose of argument that the answer is no. That means that either all the statements are false or that more than one is true. If all the statements are false, then in particular all the statements following $A_1$ are false, making $A_1$ true, contradicting the assumption. So at least one statement is true. If two or more are true, the truth of the lowest numbered statement means the subsequent statements are false, contradicting the assumption that they are true. So there is only one true statement.

$\endgroup$
0
$\begingroup$

My answer is:

We cannot say for sure

Because:

What I mean is: we have to look at the end. The very last statement can be either true or false we dont know, since there's no statement after that.

Lets turn it around:

We pick an infinite amount of theorem saying the earlier one is wrong.
We don't know if the first one is true, because there is no statement like everyone loves bunnys or is Trump a foolish.
as Informatician I would say you have the value 'null' in a boolean. An undefined state, not true and not false.

$\endgroup$
0
$\begingroup$

I beg to differ with the accepted answer (note that I replace “theorem” by “statement” as theorems are statements that have been proven true):

There is exactly one statement that is true, and that is the last one. The last one is true because there are no following statements, and therefore any statement about the following statements is vacuously true. Since the last statement is true, all preceding ones must be false.

Now you might object that

there supposedly is no last statement, because there are infinitely many.

But that reasoning is false because

the statements are ordered, and therefore their sequence has to be described by ordinals. Since there exist infinite ordinals, there can be both an infinite number of statements and a last statement. And since the assumption that there is no last statement leads to a contradiction, there clearly must be one.

A further hint at this solution is found in the question as

the question explicitly states the statements as $A_1, A_2\ldots A_n$, without any dots after the $A_n$. Thus $A_n$ is clearly the last statement, where $n$ is an infinite ordinal, for example $\omega$, or $\omega+1$.

$\endgroup$
-1
$\begingroup$

Yes there exists such theorem as n goes to $\infty$

$A_\infty= True$, for any $A_n,\ n<\infty$.

So there is no contradiction as $A_x$ is true then $A_{x+1}$ is both true and false

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.