Category:Named Theorems/Dodgson

This category contains results named for Charles Lutwidge Dodgson.

English mathematician and logician, Anglican priest and author of children's books.

He is best known nowadays for his Alice's Adventures in Wonderland and Through the Looking-Glass, and What Alice Found There, not (on the surface) works of mathematics.

His actual mathematical works tended to be idiosyncratic, often focused on making mathematical concepts (in particular, logical syllogisms) accessible to children.

One of the first to treat logical elements with symbols, thus contributing to the birth of symbolic logic.

This includes results named for Lewis Carroll.