## How to prove it

Proof by example:

The author gives only the case n=2 and suggests that it contains most
of the ideas of the general proof.

Proof by intimidation:

"Trivial"

Proof by vigorous handwaving:

Works well in a classroom or seminar setting.

Proof by cumbersome notation:

Best done with access to at least four alphabets and special symbols.

Proof by exhaustion:

An issue or two of a journal devoted to your proof is useful.

Proof by omission:

"The reader may easily supply the details."

"The other 253 cases are analogous."

"..."

Proof by obfuscation:

A long plotless sequence of true and/or meaningless syntactically
related statements.

Proof by wishful citation:

The author cites the negation, converse, or generalization of a theorem
from the literature to support his claim.

Proof by funding:

How could three different government agencies be wrong?

Proof by eminent authority:

"I saw Karp in the elevator and he said it was probably NP-complete."

Proof by personal communication:

"Eight-dimensional coloured cycle stripping is NP-complete (Karp, personal
communication)."

Proof by reduction to the wrong problem:

"To see that infinite-dimensional coloured cycle stripping is
decidable, we reduce it to the halting problem."

Proof by reference to inaccessible literature:

The author cites a simple corollary of a theorem to be found in a
privately circulated memoir of the Slovenian Philological Society, 1883.

Proof by importance:

A large body of useful consequences all follow from the proposition in question.

Proof by accumulation of evidence:

Long and diligent search has not revealed a counterexample.

Proof by cosmology:

The negation of the proposition is unimaginable or meaningless. Popular
for proofs of the existence of God.

Proof by mutual reference:

In reference A, Theorem 5 is said to follow from Theorem 3 in reference
B, which is shown to follow from Corollary 6.2 in reference C, which is
an easy consequence of Theorem 5 in reference A.

Proof by metaproof:

A method is given to construct the desired proof. The correctness of
the method is proved by any of these techniques.

Proof by picture:

A more convincing form of proof by example. Combines well with proof by
omission.

Proof by vehement assertion:

It is useful to have some kind of authority relation to the audience.

Proof by ghost reference:

Nothing even remotely resembling the cited theorem appears in the
reference given.

Proof by forward reference:

Reference is usually to a forthcoming paper by the author.

Proof by semantic shift:

Some of the standard but inconvenient definitions are changed for the
statement of the result.

Proof by appeal to intuition:

Cloud-shaped drawings frequently help here.

*Dana Angluin, SIGACT News, Winter-Spring 1983, Volume 15 #1 (Source courtesy of Dietrich Neuman)*

## Linus Torvalds facts

Linus Torvalds once found a segmentation fault in the universe.

Linus Torvalds can run kill -9 and kill Chuck Norris.

Linus Torvalds doesn’t die, he simply returns zero.

Linus Torvalds first written program had artificial intelligence.

Linus can divide by zero.

Linus Torvalds runs Linux on his wristwatch and toster.

Linus Torvalds doesn’t receive error messages.

There is no theory of probability, just a list of events that Linus Torvalds allows to occur.

Linus Torvalds does not sleep. He hacks.

Linus surfs the web using nothing but netcat.

**Linus Torvalds can play 3D games in his head by interpreting the source code in real-time.**

Linus made the red pill.

Linus Torvalds didn’t learn from the University of Helsinki, the University of Helsinki learned from Linus Torvalds.

Linus Torvalds once developed a programming language so good that it makes python look like punch cards.

Linus Torvalds doesn’t need to boot.

Linus is real, unless declared Integer.

Linus doesn’t push the flush toilet button. He simply says “make clean”.

Linus Torvalds has no dependencies.

Linus Torvalds takes one look at your desktop and knows which porn sites you visited. In the last ten years.

Linus Torvalds sleeps with nunchucks.

Linus can enrich himself simply by chowning your bank account. He does not do this because there is no challenge in it.

There are no man pages for Linus Torvalds, only god pages.

Linus Torvalds can do an infinite loop in five seconds… in his head.

Linus Torvalds doesn’t wear glasses anymore not because he had laser eye surgery, but because he finally got his xorg.conf properly configured in his head.

Linus Torvalds can use a nice level lower than -20.

Linus Torvalds doesn’t need to mount his drives.

Linus Torvalds doesn’t debug. His programs are always perfect.

Linus Torvalds can install Linux on a dead badger.

Linus Torvalds doesn’t need backups. He just uploads his files and lets the world mirror them.

Linus Torvalds is taking over the world. Microsoft is just a diversion so that no one would suspect a mild mannered Finnish programmer.

Linus Torvalds already has Linux 3.0. He is just keeping it to himself to build suspense.

Linus Torvalds didn’t design Linux to run on the 386. Intel designed the 386 to run Linux.

People pray to Jesus, but Jesus prays to Linus Torvalds.

Linus need not worry about Microsoft patent crap, he simply do `sudo mv /tmp/ms /dev/null`.

Linus Torvalds is more powerful than root.

If you could read Linus Torvald’s mind, you’d find that his stream of conciousness is entirely in binary.

Linus scared A and B away, so they had to make C.

**Linus only has 2 buttons on his keyboard ‘1′ and ‘0′**

Linus’s kernel never panics.

Linus does not use the GCC, he _writes_ binaries.