The Proof Is Trivial
theproofistrivial.com
The Proof Is Trivial
1–10 of 18 posts
Re: The Proof Is Trivial
#2be sure to reload the page a few times to get the right one :)
Re: The Proof Is Trivial
#3A lot more Reddit than HN to be honest, but thanks for the laughs in the office.
Re: The Proof Is Trivial
#4To make it perfect, insert a line saying: "Website by M. Bourbaki."
Re: The Proof Is Trivial
#5This 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.
Re: The Proof Is Trivial
#6Wow, 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.
Re: The Proof Is Trivial
#7I'm still waiting to get "The proof is trivial! Just biject it to an ordinal number whose elements are ordinal numbers!"
Re: The Proof Is Trivial
#8Wow, 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.
The script is trivial! Just view it as a concatenation of strings whose elements are pulled from a discrete set of terms.
Re: The Proof Is Trivial
#9Wow, 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.
The script is trivial! Just view it as a concatenation of strings whose elements are pulled from a discrete set of terms.
s/discrete/finite/
Although it definitely is discrete as well.
Re: The Proof Is Trivial
#10Makes 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".