The Proof Is Trivial

http://theproofistrivial.com/

by llambda • 14 years ago

116 17 14 years ago

theproofistrivial.com

ruxkor• 14 years ago

be sure to reload the page a few times to get the right one :)

canop_fr2• 14 years ago

That's a non converging Monte-Carlo optimization with a constant cost function

merijnv• 14 years ago

Isn't Monte-Carlo non-converging by definition? If the algorithm converged it'd be a Las Vegas algorithm...

binarysolo• 14 years ago

A lot more Reddit than HN to be honest, but thanks for the laughs in the office.

winestock• 14 years ago

To make it perfect, insert a line saying: "Website by M. Bourbaki."

RodgerTheGreat• 14 years ago

This would be even better if it was possible to annotate the randomly generated "proof" description with links to any actual proofs following that skeletal description.

jchonphoenix• 14 years ago

Wow, this got picked up on HN too.

My roommate wrote this last year as a joke for CMU students. It's a simple script that pulls from a pre selected discrete set.

Author is Alan Pierce btw.

ShardPhoenix• 14 years ago

The script is trivial! Just view it as a concatenation of strings whose elements are pulled from a discrete set of terms.

Danieru• 14 years ago

s/discrete/finite/

Although it definitely is discrete as well.

shrikant• 14 years ago

...like all books ever written? :)

sophacles• 14 years ago

Thanks him for me, this silliness is just what I needed tonight.

tprice7• 14 years ago

I'm still waiting to get "The proof is trivial! Just biject it to an ordinal number whose elements are ordinal numbers!"

mjcohenw• 14 years ago

Makes me think of an article I read many years ago (in, I think, Mathematics Magazine) titled "Confusion Rings" which parodied abstract algebra papers. About all I remember now is "heterocococomorphism".

Produce• 14 years ago

I'll give this one a try. (Hetero)(co-coco)(morphism) - Heterosexual chocolate relations.

DanWaterworth• 14 years ago

heterocococomorphism: A recursive pattern generalizing injection into mixed gender conga lines.

transphenomenal• 14 years ago

I had to reload this about 10 times before I realized that the phrases were just utter nonsense.

The Proof Is Trivial

Related Stories