17
votes
8answers
4k views

Is Lewis Carroll's reasoning correct?

A bag contains 2 counters, as to which nothing is known except that each is either black or white. Ascertain their colours without taking them out of the bag. Carroll's solution: One is black, and ...
0
votes
2answers
97 views

Why is this proof wrong?

I am taking a course on logical equations and I found this exercise while reading about proofs and how to prove a given sentence and what kind of mistakes usually occur when you are trying to prove ...
0
votes
5answers
116 views

point out the mistakes $1=2$? [closed]

Q:prove $1=2$ ? method1:- let us consider $x=1$ then $x=x^2$ $x-1 =(x^2)-1$ $x-1=(x-1)(x+1)$ $1=x+1$ finally $1=2$ i have little confusion here, is the mistake is considering $x=1$ or else ...
5
votes
3answers
392 views

Gödel's Paradox — Every set of formulas is consistent

I am sure I have made a gross misunderstanding of Gödel's completeness theorems, as to me, it seems to follow that all sets of formulas are consistent. Let $\Gamma$ be a set of formulas. If ...
1
vote
2answers
148 views

Paradox - What is wrong with this proof that proves a false assertion?

Theorem: Let $a_{n}=a_{n-1}+1, a_1=1$. For any $n$, in order to compute $a_n$, it is necessary to compute $a_i$ for each $i=1,\dots,n-1$, which takes $\Theta(n)$ time. Proof: This is vacuously true ...
15
votes
3answers
921 views

Proof that $\mathbb N $ is finite

Obviously this is a false proof. It relies on Berry's paradox. Assume that $\mathbb{N}$ is infinite. Since there are only finitely many words in the English language, there are only finitely many ...
4
votes
7answers
2k views

How to explain what is wrong in this?

My friend showed this to me and I instantly know that this is wrong. However, I cannot explain why this is wrong to my friend. Question. Prove $\displaystyle \frac{100-100}{100-100} = 2.$ ...
11
votes
7answers
1k views

“Proof” that ZFC is inconsistent using Turing machines

I came across the following "proof" for the inconsistency of ZFC and can't find the flaw in it (if there is one...): Construct a Turing machine A which sequentially runs on all proofs in ZFC and ...