this post was submitted on 13 Feb 2026
124 points (92.5% liked)
Programmer Humor
29911 readers
444 users here now
Welcome to Programmer Humor!
This is a place where you can post jokes, memes, humor, etc. related to programming!
For sharing awful code theres also Programming Horror.
Rules
- Keep content in english
- No advertisements
- Posts must be related to programming or programmer topics
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Lemma 1 mentions "definition of phi", but the phi is never defined. Wtf.
OP posted the two pages in the wrong order, so you (and I) saw page 2 before page 1.
oh I thought it's a joke that things are defined, or others are "immediate from" something else, while actually not. like how they love to teach this topic without explaining what is necessary