Theorem
(Redirected from 5107)
Jump to navigation
Jump to search
theorem |
Title text: Anyone NOT taking this too seriously will be docked 10 Internet Points. |
Votey[edit]
Explanation[edit]
This explanation is either missing or incomplete. |
Transcript[edit]
This transcript was generated by a bot: The text was scraped using AWS's Textract, which may have errors. Complete transcripts describe what happens in each panel — here are some good examples to get you started (1) (2). |
- [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]
This transcript was generated by a bot: The text was scraped using AWS's Textract, which may have errors. Complete transcripts describe what happens in each panel — here are some good examples to get you started (1) (2). |
- [Describe panel here]
- It follows trivially that writing jokes for a living is a bullshit job.
add a comment! ⋅ add a topic (use sparingly)! ⋅ refresh comments!
Discussion
No comments yet!