Comic #5010: theorem

View Original Comic

Description

Here's the transcription of the comic text:

A THEOREM:

LIST ALL MATH JOKES IN ORDER OF LENGTH.

ASSUME THERE IS A LARGEST MATH JOKE, ( L ).

CREATE A NEW MATH JOKE ( J ) BY APPENDING TO ( L ) THAT JOKE ABOUT THE PIRATE WHO HAS A WHEEL ON HIS CROTCH THAT IS “DRIVIN’ ME NUTS.”

( J ) IS NOW LARGER THAN ( L ), WHICH IS A CONTRADICTION.

THEREFORE THE SET OF MATH JOKES IS INFINITE.

NOW,

ASSUME A GOOD MATH JOKE, ( M ).

IF ( M ) IS A GOOD JOKE, THEN IT IS FUNNY.

IF A JOKE IS FUNNY THEN EVERYONE WILL KNOW IT.

IF EVERYONE KNOWS A JOKE, THE JOKE WILL NOT BE FUNNY.

IF A JOKE IS NOT FUNNY, THEN IT IS NOT A GOOD JOKE.

THEREFORE, IF ( M ) IS A GOOD JOKE, ( M ) IS NOT A GOOD JOKE.

BY CONTRADICTION, THERE ARE NO GOOD MATH JOKES.

THEREFORE:

THERE ARE INFINITELY MANY MATH JOKES AND NONE OF THEM ARE GOOD.

QED

Source: smbc-comics.com