Theorem

From SMBC Wiki
(Redirected from 5107)
Jump to navigation Jump to search
theorem
Anyone NOT taking this too seriously will be docked 10 Internet Points.
Title text: Anyone NOT taking this too seriously will be docked 10 Internet Points.

Votey[edit]

154376681420181202after.png


Explanation[edit]

Ambox notice.png This explanation is either missing or incomplete.

Transcript[edit]

Ambox notice.png This transcript was generated by a bot: The text was scraped using AWS's Textract, which may have errors. Complete transcripts should also describe what happens in each panel.
[Describe panel here]
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
Caption: smbc-comics.com

Votey Transcript[edit]

Ambox notice.png This transcript was generated by a bot: The text was scraped using AWS's Textract, which may have errors. Complete transcripts should also describe what happens in each panel.
[Describe panel here]
It follows trivially that writing jokes for a living is a bullshit job.

Comment.png add a comment! ⋅ Comment.png add a topic (use sparingly)! ⋅ Icons-mini-action refresh blue.gif refresh comments!

Discussion

No comments yet!