I can’t list ten of anything if you put me on the spot.
Trailblazing Braille Taser
- 0 Posts
- 3 Comments
Joined 2 years ago
Cake day: August 16th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
Let us model the poop rule as a predicate keep that maps the set of real world objects to {true, false} and a function poopy that maps the set of real world objects to the set of real world objects with poop on them.
For all x, keep(poopy(x)) = keep(poopy(poopy(x))), thus we can say that poopy is idempotent under keep.
Further, poopy is injective because there exist distinct x and y such that keep(poopy(x)) ≠ keep(poopy(y)). The proof by example is that you would keep a poopy million dollar bill, but you would not keep a poopy poop.
Me: [unintelligible]
Announcer: Speak into the mic [you buffoon]
Me: AH! MIKE!
Me: MICHAEL JORDAN… MIKE TYSON… MICHAEL PHELPS?
Announcer: And that’s time! You were supposed to be naming baseball players, remember? Technically, you got two out of three, so I’m required to give you this ticket for a free hotdog.