6 ms·
The Proof Is Trivial
- ruxkor 15y agobe sure to reload the page a few times to get the right one :)
- canop_fr 15y agoThat's a non converging Monte-Carlo optimization with a constant cost function
- binarysolo 15y agoA lot more Reddit than HN to be honest, but thanks for the laughs in the office.
- winestock 15y agoTo make it perfect, insert a line saying: "Website by M. Bourbaki."
- RodgerTheGreat 15y agoThis 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 15y agoWow, 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 15y agoThe script is trivial! Just view it as a concatenation of strings whose elements are pulled from a discrete set of terms.
- sophacles 15y agoThanks him for me, this silliness is just what I needed tonight.
- tprice7 15y agoI'm still waiting to get "The proof is trivial! Just biject it to an ordinal number whose elements are ordinal numbers!"
- mjcohenw 15y agoMakes 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 15y agoI'll give this one a try. (Hetero)(co-coco)(morphism) - Heterosexual chocolate relations.
- DanWaterworth 15y agoheterocococomorphism: A recursive pattern generalizing injection into mixed gender conga lines.
- transphenomenal 15y agoI had to reload this about 10 times before I realized that the phrases were just utter nonsense.