I'm surprised to see, on HN of all places, so many people taking the AI bait so often. Seems like more than half of blog posts and articles posted here are AI generated, but people skip reading the content and just go straight to the comments to discuss the title out of context.
> "Grin like a Cheshire cat" was a common phrase in Carroll's day. Its origin is not known. The two leading theories are: (1) A sign painter in Cheshire (the county, by the way, where Carroll was born) painted grinning lions on the signboards of inns in the area (see Notes and Queries, No. 130, April 24, 1852, page 402); (2) Cheshire cheeses were at one time molded in the shape of a grinning cat (see Notes and Queries, No. 55, Nov. 16, 1850, page 412). "This has a peculiar Carrollian appeal," writes Dr. Phyllis Greenaere in her psychoanalytic study of Carroll, "as it provokes the fantasy that the cheesy cat may eat the rat that would eat the cheese." The Cheshire Cat is not in the original manuscript, Alice's Adventures Under Ground.
It continues with a full page on the topic, none of which are anything to do with math jokes.
As for the cat's smile, analytic philosophy substance/property stuff goes back to Leibniz if not Aristotle. Dodgeson basically predates much of Russel's career, but he could have been an influence on his idea of "bundles" and he definitely influenced Quine. He wrote a few textbooks if you want to dig into his research interests but IIRC it's more along the lines of Boole and DeMorgan, even if fictional fun is arguably anticipating the next wave. I linked the haddock's eyes elsewhere in thread.. good fun but also some rich implications. Since he's preoccupied with self-reference you could argue it anticipates Godel. https://en.wikipedia.org/wiki/Use%E2%80%93mention_distinctio...
Of course this could also be traditional literary analysis. It’s hard to tell.