Mathematics' monuments and the mortals they honor: 1,370 theorems and conjectures named after human beings, joined to a person-level file of all 1,150 eponyms with birth and death dates, birthplaces, countries, citizenships, occupations, marriages and children. The most-honored list is a mathematician's Mount Rushmore: Paul Erdos carries 28 named results, Cauchy 20, Euler 16, Gauss 15, Kolmogorov 12, von Neumann 11, and Theorems_Named reconciles against the theorem file exactly, by test. The join explodes honestly: 418 theorems honor more than one person (Cauchy-Schwarz is two names for a reason), so Eponym_IDs holds semicolon-separated Person_IDs rather than flattening credit. Dates follow the house discipline: best-rank statements with time and precision paired, full ISO dates only where the graph knows the day, years only at year precision, which is why Pythagoras honestly carries NA rather than a fabricated birthday while his theorem still anchors the test suite (the graph knows his century; the dataset refuses to know more). The eponym birth centuries tell modern mathematics' story: 630 born in the 1900s, 364 in the 1800s, a thin golden thread back through Fermat (died 1665, his Last Theorem stated 1638) to antiquity. Stated_Year exists on only 43 theorems and the sparsity is disclosed rather than patched: mathematics datasets its own history poorly. Anchor checking by QID caught a guessed Bayes QID resolving to Lionel Bart, the Oliver! composer, before it could ship. Built with a 12-test acceptance suite including lossless join integrity in both directions.
2,520 rows across 2 joinable files, with 23 columns in total: Theorem, Theorem_ID, Type, Field, Stated_Year, Eponyms, Eponym_IDs, Theorem_URL, Person, Person_ID, Birth_Date, Birth_Year, Death_Date, Death_Year, Age_At_Death, Birth_Place, Birth_Country, Citizenship, Occupation, Number_of_Marriages, Number_of_Children, Theorems_Named, Person_URL.
It is built by programmatically scraping wikidata.org, last pulled on 2026-10-10. Datasets are versioned; older versions stay downloadable.
Yes. Every CodeSights dataset is completely free as a CSV download; a free account is all it takes. Anyone can preview the data without signing in.
Yes. The exact Python scraper that built it is viewable on the dataset page by any signed-in member, so every number is reproducible.
Theorems.Eponym_IDs holds semicolon-separated Person_IDs matching Eponyms.Person_ID; multi-eponym theorems list every honoree.
Automated scraping leaves room for error and the underlying sources change over time, so no version is guaranteed accurate or complete. If a number matters, verify it against the original source.