The Proof Is Trivial(theproofistrivial.com)
theproofistrivial.com
The Proof Is Trivial
http://theproofistrivial.com/
8 comments
The script is trivial! Just view it as a concatenation of strings whose elements are pulled from a discrete set of terms.
Thanks him for me, this silliness is just what I needed tonight.
To make it perfect, insert a line saying: "Website by M. Bourbaki."
I'm still waiting to get "The proof is trivial! Just biject it to an ordinal number whose elements are ordinal numbers!"
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.
be sure to reload the page a few times to get the right one :)
That's a non converging Monte-Carlo optimization with a constant cost function
I had to reload this about 10 times before I realized that the phrases were just utter nonsense.
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".
I'll give this one a try. (Hetero)(co-coco)(morphism) - Heterosexual chocolate relations.
heterocococomorphism: A recursive pattern generalizing injection into mixed gender conga lines.
A lot more Reddit than HN to be honest, but thanks for the laughs in the office.
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.