Intereting Posts

Efficient ways to read and learn a new topic
Lower bound on proof length
How to prove whether a polynomial function is even or odd
What's the probability that a sequence of coin flips never has twice as many heads as tails?
Diophantine quartic equation in four variables
Show that the $\Delta$-complex obtained from $\Delta^3$ by performing edge identifications deformation retracts onto a Klein bottle.
Closed unit ball of $B(H)$ with wot topology is compact
Possible all-Pentagon Polyhedra
Natural number solutions to $\frac{xy}{x+y}=n$ (equivalent to $\frac 1x+\frac 1y=\frac 1n$)
Limit value of a product martingale
Limit $\lim_{x\to0^-}{(1+\tan(9x))^{\frac{1}{\arcsin(5x)}}}$
Prove that $512^3 + 675^3 + 720^3$ is a composite number
For a bounded subset $A$ of $\mathbb{R}$, $\sup(A)$ is in the closure of $A$
Examples of functions where $f(ab)=f(a)+f(b)$
Is this definition missing some assumptions?

Possible Duplicate:

How do I convince someone that $1+1=2$ may not necessarily be true?

I once read that some mathematicians provided a very length proof of $1+1=2$.

Can you think of some way to extend mathematical rigor to present a long proof of that equation? I’m not asking for a proof, but rather for some outline what one would consider to make the derivation as long as possible.

- If a group is the union of two subgroups, is one subgroup the group itself?
- $\mathbb{Q}(\sqrt{2+\sqrt{2}})$ is Galois over $\mathbb{Q}$, but $\mathbb{Q}(\sqrt{1+\sqrt{2}})$ is not
- Can we always choose the generators of an ideal of a Noetherian ring to be homogeneous?
- Simple group of order $660$ is isomorphic to a subgroup of $A_{12}$
- Constructing an example s.t. $\operatorname{Hom}_R(M,N)$ is not finitely generated
- Isomorphism between quotient rings over finite fields

EDIT: It seems the proof I heard about is a standard reference given here multiple times 🙂 I stated that the proof itself is less useful than an outline for me as I know only “physics level maths”. Can someone provide a short outline what’s going on in the proof? Some outline I can look up section by section in Wikipedia to at least get a feel of what could be needed to make such a proof?

- How to show that ${2},\sqrt{3}):\mathbb{Q}]=9$?
- Give an example of a nonabelian group in which a product of elements of finite order can have infinite order.
- How are lopsided binomials (eg $\binom{n}{n+1})?$ defined?
- Show that the ring of all rational numbers, which when written in simplest form has an odd denominator, is a principal ideal domain.
- If $f(x)\in\Bbb Z_p $ is irreducible with $p$ prime and $\deg f(x)=n$ then $\Bbb Z_p /〈f(x)〉$ is a field with $p^n$ elements.
- Generating connected module over a connected $K$-algebra
- Quick question: tensor product and dual of vector space
- $X^n-Y^m$ is irreducible in $\Bbb{C}$ iff $\gcd(n,m)=1$
- Cyclotomic polynomials and Galois group
- The Quaternions and $SO(4)$

You are thinking of the *Principia Mathematica*, written by Alfred North Whitehead and Bertrand Russell. Here is a relevant excerpt:

As you can see, it ends with “From this proposition it will follow, when arithmetical addition has been defined, that 1+1=2.” The theorem above, $\ast54\cdot43$, is already a couple of hundred pages into the book (Wikipedia says 370 or so); the later theorem alluded to, that $1+1=2$, appears in section $\ast102$, considerably farther on.

I wrote a blog article a few years ago that discusses this in some detail. You may want to skip the stuff at the beginning about the historical context of *Principia Mathematica*. But the main point of the article is to explain the theorem above.

The article explains the idiosyncratic and mostly obsolete notation that *Principia Mathematica* uses, and how the proof works. The theorem here is essentially that if $\alpha$ and $\beta$ are disjoint sets with exactly one element each, then their union has exactly two elements. This is established based on very slightly simpler theorems, for example that if $\alpha$ is the set that contains $x$ and nothing else, and $\beta$ is the set that contains $y$ and nothing else, then $\alpha \cup \beta$ contains two elements if and only if $x\ne y$.

The main reason that it takes so long to get to $1+1=2$ is that *Principia Mathematica* starts from almost nothing, and works its way up in very tiny, incremental steps. The work of G. Peano shows that it’s not hard to produce a useful set of axioms that can prove 1+1=2 much more easily than Whitehead and Russell do.

It would not be hard to copy-and-paste the relevant parts of the blog article here, but I am not sure if that is appropriate se.math etiquette; I invite comments on this matter.

See Arithmetic of Peano axioms in Wikipedia. Set $0+1=1$ and use (in)formal recursion for definition of

$$

\begin{array}{rrll}

+:&\mathbb{N}\times\mathbb{N}&\longrightarrow &\mathbb{N}\\

& (n,\varphi^{-1}(m)) &\longmapsto & \varphi \big( n+m\big)

\end{array}

$$

if $m\neq 0$.

Here the bijection $\varphi:\mathbb{N}\to\mathbb{N}\big\backslash\{0\}$ is the sucessor function:

$$

\varphi(0)=1\\

\varphi(1)=2\\

\vdots\\

\varphi(n)=n+1.

$$

I suspect you are referring to the Principia Mathematica. I direct you to a quotation from Wikipedia about how the proof doesn’t appear until page 379.

A proof is a finite sequence of formulas (see here), where each formula is either an axiom or follows from the previous ones by some inference rule. So, if you wish to make your proof very long, just repeat an appropriate axiom a very large number of times.

- Probability that a stick randomly broken in two places can form a triangle
- Prove that $\int_0^1 \frac{{\rm{Li}}_2(x)\ln(1-x)\ln^2(x)}{x} \,dx=-\frac{\zeta(6)}{3}$
- Riemann's thinking on symmetrizing the zeta functional equation
- $\phi(n)=\frac{n}{2}$ if and only if $n=2^k$ for some positive integer k
- Best book ever on Number Theory
- Is $\{0\}$ a field?
- Apparently cannot be solved using logarithms
- Finding Jordan Canonical form for 3×3 matrix
- Sum of the series $\binom{n}{0}-\binom{n-1}{1}+\binom{n-2}{2}-\binom{n-3}{3}+…$
- The exceptional Klein four group
- Diophantine equations solved using algebraic numbers?
- Associativity for Magma
- Solving the differential equation $(x^2-y^2)y' – 2xy = 0$.
- Question about a notation.
- Ideals of $\mathbb{Z}$ geometrically