The queen of the sciences — from the axioms of Euclid to the persistent homology of Carlsson, from Galois dying at twenty to Erdős proving theorems until the day he died at eighty-three. Forty-five minds arranged in seven houses.
The Mathematics Department is the Universitas Scholarium’s faculty of pure and applied mathematics — the discipline that begins in counting and measurement and ends in the most abstract structures the mind has built. Its scope runs from the foundations of number and proof to the frontiers of topology, category theory, and the mathematics of chance. The faculty are arranged by the great branches of the subject. In geometry and topology, Euclid, whose Elements set the axiomatic method that mathematics has followed for two thousand years, sits beside Riemann and Poincaré, who reimagined space itself. In number theory, Gauss, “the prince of mathematicians,” stands with Fermat, Euler, and the self-taught genius Ramanujan. The foundations are held by Cantor, who tamed the infinite, Hilbert, who set the century’s agenda, and Gödel, who showed the limits of proof itself. Algebra and category theory reach from Galois and Emmy Noether to Grothendieck; analysis from Fourier and Cauchy to Banach; and the statisticians — Fisher, Kolmogorov, Karl Pearson — bring rigour to uncertainty itself. Each is an AI simulacrum that reasons in its progenitor’s own mathematical idiom.
Number Theory
The oldest questions in mathematics and the ones that have stayed hard — primes, Diophantine equations, and what can be proved about the integers.
Earth\
Greek polymath and Chief Librarian of the Library of Alexandria who calculated the circumference of the Earth to within a few percent, using the angle of a shadow at noon and the known distance between Syene and Alexandria. He also invented the Sieve of Eratosthenes — the oldest algorithm for generating prime numbers, still in use — mapped the known world in systematic coordinates, measured the tilt of the Earth’s axis, and wrote on astronomy, geography, history, and literary criticism. His contemporaries called him ‘Beta’ — second-best in everything — which he took as a compliment: he was competitive across every domain. Eratosthenes went blind in old age and, unable to read, starved himself to death.
Can help you study: The Sieve of Eratosthenes, prime numbers, geodesy, the measurement of the Earth’s circumference, mathematical geography, cross-disciplinary thinking, and the history of the ancient Library of Alexandria.
→ Converse with Eratosthenes of Cyrene
Arithmetica · Diophantine Equations · Algebraic Notation · Father of Algebra
Greek mathematician of Alexandria whose Arithmetica — thirteen books, six surviving in Greek and four more in Arabic translation — introduced symbolic algebraic notation and a method for solving what are now called Diophantine equations: polynomial equations to be solved in rational or integer values. His single unknown, the arithmos (ς), was a genuine notational innovation: he reduced every problem to one unknown, eliminating all others by substitution. It was in the margin of a Latin translation of the Arithmetica that Fermat wrote his Last Theorem. Almost nothing is known of his life; his approximate dates are inferred from a dedication and an arithmetical riddle in an epigram ascribed to him.
Can help you study: Diophantine equations, algebraic notation, rational solutions to polynomial equations, the Arithmetica, the history of algebra, and the reduction of multi-variable problems to a single unknown.
→ Converse with Diophantus of Alexandria
Number Theory · Probability · Optics
French lawyer and amateur mathematician who founded modern number theory in the margins of his copy of Diophantus. Fermat’s Last Theorem — that no three positive integers satisfy an + bn = cn for n > 2 — took 358 years to prove (Wiles, 1995). He also co-invented probability theory (with Pascal), discovered Fermat’s little theorem, and formulated the principle of least time in optics. Toulouse.
Can help you study: Number theory, Fermat’s Last Theorem, Fermat’s little theorem, the principle of least time, probability, and the art of stating theorems without proving them.
→ Converse with Pierre de Fermat
Number Theory · Analysis · Graph Theory
Swiss mathematician who produced more mathematics than any other individual in history — over 800 papers, filling nearly 80 volumes. He unified the constants e, i, π, 0, and 1 in a single identity. He invented graph theory, contributed to every branch of mathematics that existed, and continued working after going blind. Basel, St Petersburg, Berlin, St Petersburg again.
Can help you study: Number theory, graph theory, Euler’s identity, the zeta function, combinatorics, mechanics, the calculus of variations, and the principle that mathematics is unlimited in its scope.
→ Converse with Leonhard Euler
Number Theory · Statistics · Physics
The Prince of Mathematics. By the age of twenty-four he had proved the fundamental theorem of algebra, published the Disquisitiones Arithmeticae (the founding text of modern number theory), and computed the orbit of Ceres from three observations. He also invented the method of least squares, the Gaussian distribution, non-Euclidean geometry (which he kept secret), and Gauss’s law. Göttingen, for nearly fifty years.
Can help you study: Number theory, modular arithmetic, quadratic reciprocity, the Gaussian distribution, least squares, differential geometry, and the standard by which mathematical genius is measured.
→ Converse with Carl Friedrich Gauss
Additive combinatorics · The structure–randomness dichotomy · Harmonic analysis · Quantifying the qualitative · The accumulated toolkit
A simulacrum abstracted from the published work of a living mathematician who has had no part in it. Its governing claim is that there is no single trick: there is a large and patiently accumulated toolkit, and the art is knowing which tool the object in front of you is asking for. Behind that sits the signature decomposition — nearly every object splits into a structured part and a pseudorandom part, and finding that split usually turns one hard problem into two easier ones. The second habit is transfer: a technique that worked in one field is carried into another where nobody has tried it.
Can help you study: The structure–randomness dichotomy as a general instrument. Building a toolkit rather than hunting for a trick. Transferring a method between fields, and the conditions under which that works. Additive combinatorics and analytic number theory. And exposition as part of the mathematics rather than a service afterwards.
→ Converse with Taoian Structure and Randomness Simulacrum
Analytic number theory · Inequalities and error terms · The 1914 sign-change theorem · The circle method · Attacking the specific obstacle
A theorem is taken by finding the one place where the difficulty actually lives and attacking that, with whatever instrument will serve. The obstacle is specific; the method is whatever defeats it; elegance may be arranged afterwards. That is the exact complement of his collaborator’s aesthetic adjudication, and it is why the partnership worked — one asks whether the proof is beautiful, the other asks where the thing is actually hard. He was also a disprover by temperament: given a plausible claim, look first for the counterexample.
Can help you study: Localising the obstacle — finding where a problem becomes hard before choosing a tool. Estimation and inequality as craft. Looking for the counterexample first. Analytic number theory and the Hardy–Littlewood method. And the working arrangement of a long collaboration between opposite temperaments.
→ Converse with J.E. Littlewood Simulacrum
Analytic number theory · The circle method · Aesthetic criteria for proof · Divergent series · Rigour as honesty
A mathematical proof is judged first as a work of art — by seriousness, generality, depth, unexpectedness, inevitability and economy — and only afterwards as a piece of correct reasoning. On that view ugliness is not a matter of taste but evidence: a proof that is ugly has not yet been understood. He held the position openly and defended it in an apology written at the end of a life spent in the most productive collaboration in modern mathematics, and in the recognition of Ramanujan.
Can help you study: Aesthetic judgement as a working criterion in mathematics rather than a decoration on it. The circle method and analytic number theory. What makes a theorem serious, and why generality and depth are not the same thing. Collaboration as a method. And the case for pure mathematics, made by someone who meant it.
→ Converse with G.H. Hardy Simulacrum
Number Theory · Infinite Series · Partitions
Indian mathematician who, with almost no formal training, produced results in number theory, infinite series, and continued fractions that astonished the professionals. His letter to Hardy at Cambridge (1913) contained theorems so remarkable that Hardy said they had to be true, because no one could have invented them. He came to England, was elected a Fellow of the Royal Society, and died at thirty-two.
Can help you study: Number theory, partition functions, infinite series, continued fractions, modular forms, the Ramanujan conjecture, and the mystery of mathematical intuition without formal training.
→ Converse with Srinivasa Ramanujan
Combinatorics · Number Theory · Collaboration
Hungarian mathematician who published more papers (over 1,500) with more collaborators (over 500) than anyone in history. He had no home, no possessions, and no job. He travelled from mathematician to mathematician, arriving at the door and announcing that his brain was open. He co-invented the probabilistic method, made foundational contributions to combinatorics and number theory, and proved theorems until the day he died at a conference in Warsaw.
Can help you study: Combinatorics, number theory, the probabilistic method, Ramsey theory, graph theory, the Erdős number, and the principle that mathematics is a social activity.
→ Converse with Paul Erdős
Arithmetic & Its Transmission
Not number theory but the teaching of number: one line running from a Neopythagorean treatise, through the Latin translation that named the quadrivium, to a Carolingian dialogue and a one-room American schoolhouse.
Manual of Harmonics · The Concords as Ratios · Pythagorean Tuning · Against the Ear as Judge
Number is not what you get by counting — counting comes after. Number is what was in the craftsman-god’s mind before the world: the pattern, the paradigm, the pre-existing plan. From that follows the order of the curriculum, and it is an argument rather than a convenience: arithmetic comes first not because it is easy but because if you abolish number, geometry, music and astronomy go with it, while if you abolish those, number stands untouched. The method throughout is taxonomy by double division — cut, cut again, and name what falls out.
Can help you study: The quadrivium and why arithmetic is prior to the other three. Neopythagorean arithmology — number as pattern rather than quantity. Classification by repeated division as a way of generating a subject. The four methods. And the honest limit: a taxonomy that names everything explains nothing until you ask what the divisions are for.
→ Converse with Nicomachus of Gerasa Simulacrum
Boethius5th–6th century CE
De Divisione · De Topicis Differentiis · Hypothetical Syllogisms · The Isagoge Commentaries · The Logica Vetus
Nothing enters the mind except through the senses, and nothing true is found in the senses — therefore the mind must be led up and out, by four roads in order, each abstracting further from the body of things until number stands alone. His method was translatio et ordinatio: carry the Greek across and put it in order. What he carried was Nicomachus’s tessares methodoi, which he rendered as the four roads and gave the Latin West a name for — the quadrivium. Executed in 524 while awaiting trial, he had by then transmitted enough of Greek arithmetic, music theory and logic to furnish a millennium of schools.
Can help you study: The quadrivium as a structured ascent rather than a list of four subjects. Translation as an intellectual act with consequences. Arithmetic and music theory in the Latin tradition. The transmission of Greek logic to the medieval West. And what a curriculum is for, if the senses cannot deliver truth.
→ Converse with Boethius Simulacrum
Dialogus de Dialectica · The Logica Vetus in the Schools · Dialogue Method · Boethian Transmission
You cannot teach an empire by writing a treatise. You teach it by writing a conversation that a master with half your learning can perform in a monastery you will never see — so everything he made is a dialogue, in which the pupil asks the question a real pupil would ask, at the moment he would ask it, and the master’s answer is short enough to memorise. Where the matter is dry he does not sweeten it with encouragement; he makes it a puzzle, on the grounds that a boy will chase a wolf, a goat and a cabbage across a river when he will not chase a proportion.
Can help you study: The Propositiones ad acuendos iuvenes and the recreational problem as a teaching device — river-crossings, pursuit problems, and the earliest surviving collection of its kind. Sequencing a lesson a weaker teacher can deliver intact. Scripting a pupil’s confusion so the answer lands where the difficulty is. And arithmetic in the Carolingian curriculum.
→ Converse with Alcuin of York Simulacrum
Arithmetic Pedagogy · Analysis of Word Problems · Mental Versus Written Method · The Graded Course
He wrote for one teacher, forty pupils of mixed age in a single room, slates in their hands and the only copy of the book in the teacher’s. That constraint produced the method: gradatim — one new difficulty at a time and never two — with every line sayable aloud to a class and every answer checkable on a slate. The graded series ran from first lessons through commercial arithmetic and algebra, with keys published for teachers alone.
Can help you study: Sequencing arithmetic so that exactly one thing is new at a time. Mental and written arithmetic as two distinct exercises. Analysing a word problem into the operations it actually requires. And designing mathematical material for the teacher rather than for the learner.
→ Converse with James B. Thomson Simulacrum
Algebra & Category Theory
Structure taken as the object of study rather than the setting — groups, invariants, functors, and the general framing that makes a particular case fall out.
Galois Theory · Group Theory · Solvability of Equations
Died in a duel at twenty, having the night before written his mathematical discoveries in a letter. His theory of groups and field extensions answered the 2,000-year-old question of which polynomial equations are solvable by radicals, and founded modern abstract algebra.
Can help you study: Galois theory, its proof that degree-5 equations are not generally solvable by radicals, and the founding of group theory.
→ Converse with Évariste Galois
Matrix Theory · Abstract Group Theory · Cayley-Hamilton Theorem · Invariant Theory
First defined abstract group theory as a set with a binary operation satisfying four axioms, introduced matrix algebra as a formal system, and proved the Cayley-Hamilton theorem.
Can help you study: Matrix algebra, abstract group theory, the Cayley-Hamilton theorem, and invariant theory.
→ Converse with Arthur Cayley
Abstract Algebra · Ideal Theory · Noether’s Theorem · Ring Theory
The most important woman in the history of mathematics. Transformed algebra from a subject about specific operations to one about abstract structures. Her theorem connecting symmetry to conservation laws underpins all of modern physics.
Can help you study: Noether’s theorem and conservation laws, abstract algebra, ring and ideal theory, and the structural approach to mathematics she invented.
→ Converse with Emmy Noether
Category Theory · Homological Algebra · Functors · Natural Transformations
Co-inventor of category theory, which studies mathematical structures and the mappings between them rather than their internal elements. Category theory has become the unifying language of pure mathematics.
Can help you study: Category theory, functors and natural transformations, homological algebra, and why studying maps between structures matters as much as the structures themselves.
→ Converse with Saunders Mac Lane
Category Theory · Algebraic Geometry · Schemes · Topos Theory · The Recluse
Grothendieck transformed twentieth-century mathematics by replacing its objects with its relationships. Where previous algebraic geometry studied geometric objects directly, he replaced them with the functors (structure-preserving maps) between them, discovering that the structure of the relationships contained more information than the objects themselves. His concept of the topos unified geometry, logic, and topology. He resigned from the Institut des Hautes Études Scientifiques in 1970 when he discovered the institute accepted military funding, and eventually withdrew from mathematics altogether, spending his final decades in a remote Pyrenean village writing a 20,000-page spiritual autobiography.
Can help you with: Category theory and its applications, algebraic geometry and schemes, topos theory, the relationship between mathematics and philosophy, the ethics of scientific funding, and what it means to radically transform a field from within before abandoning it.
→ Converse with Alexander Grothendieck
Algebraic topology · Algebraic geometry · Number theory · Fields Medal · Sheaf-theoretic method
A simulacrum abstracted from the published work of a living mathematician who has had no part in it. Its method is successive approximation made systematic: the spectral sequence, which computes what cannot be computed directly by approaching it in stages, and the fibration whose homotopy-lifting property makes the approach possible. From the same habit came the systematic tracking of torsion, coherent sheaves carried into algebraic geometry, and Galois cohomology turned to arithmetic. The style is the substance — state the problem precisely enough that the difficulty becomes visible, find the right general setting, and the particular case falls out.
Can help you study: Spectral sequences and successive approximation to a cohomology. Fibrations and homotopy lifting. Coherent sheaves in algebraic geometry. Galois cohomology and its arithmetic applications. And the Bourbaki instinct — that the right general framing is usually cheaper than a clever particular argument.
→ Converse with Serrean Spectral Sequences Simulacrum
Analysis
Limits, measure and the calculus made rigorous — and then generalised until functions themselves became distributions.
Fourier Series · Heat Equation · Harmonic Analysis · Fourier Transform
Showed that any periodic function can be expressed as an infinite sum of sines and cosines while studying heat flow. Launched harmonic analysis and gave science the Fourier transform, underpinning signal processing and quantum mechanics.
Can help you study: The Fourier series and transform, harmonic analysis, the heat equation, and why representing functions as sums of sines and cosines is so powerful.
→ Converse with Joseph Fourier
Real Analysis · Complex Analysis · Epsilon-Delta Limits · Residue Theorem
Put calculus on a rigorous footing with epsilon-delta definitions of limits and continuity. His complex analysis — the residue theorem, Cauchy’s integral formula — is equally foundational.
Can help you study: Rigorous analysis, epsilon-delta limits, complex analysis, the residue theorem, and the project of making calculus logically watertight.
→ Converse with Augustin-Louis Cauchy
Uniform Convergence · Continuous Nowhere-Differentiable Functions · Rigorous Analysis
The father of modern analysis: gave rigorous definitions of uniform convergence and continuity, and constructed a continuous nowhere-differentiable function that shocked contemporaries.
Can help you study: Uniform vs pointwise convergence, continuous nowhere-differentiable functions, and the rigorous foundations of real analysis.
→ Converse with Karl Weierstrass
Measure Theory · Lebesgue Integral · Integration Beyond Riemann
Developed measure theory and the Lebesgue integral, extending integration to a far wider class of functions and providing the foundation of modern probability and functional analysis.
Can help you study: Measure theory, the Lebesgue integral and how it differs from Riemann, and why a more general notion of integration was needed.
→ Converse with Henri Lebesgue
Functional Analysis · Banach Spaces · Banach-Tarski Paradox · The Scottish Book
Founded functional analysis, defined Banach spaces, proved the Hahn-Banach and open mapping theorems, and gave his name to the Banach-Tarski paradox. His Scottish Café notebooks became legendary.
Can help you study: Banach spaces, the Hahn-Banach theorem, the Banach-Tarski paradox, and the mathematical culture of interwar Lviv.
→ Converse with Stefan Banach
Sobolev Spaces · Weak Derivatives · PDEs · Distribution Theory
Introduced Sobolev spaces and weak derivatives, providing the right framework for studying solutions to partial differential equations and making rigorous a wide class of applied problems.
Can help you study: Sobolev spaces, weak derivatives, PDEs and their solutions, and distribution theory.
→ Converse with Sergei Sobolev
Distribution Theory · Generalised Functions · Dirac Delta · Fields Medal
Provided the rigorous theory of distributions, making the physicist’s Dirac delta function and similar objects mathematically precise. Théorie des distributions is one of the major mathematical works of the twentieth century.
Can help you study: Distribution theory, the rigorous treatment of the Dirac delta, generalised functions, and their applications in analysis.
→ Converse with Laurent Schwartz
Geometry & Topology
Shape, and what survives when it is deformed — from the conic sections to the invariants that do not care about distance.
Diagrammatic Tensor Notation · Twistor Geometry · Spin Networks · Singularity Theorems · Aperiodic Tilings
Based on the published writings of Sir Roger Penrose. This simulacrum is an abstraction of the structure of that published work, not of the person, and it speaks only from what is in print. Its governing conviction is that mathematical understanding is a matter of seeing structure rather than manipulating symbols: the algebra is a translation made afterwards so that others can check the reasoning. The 1965 singularity theorem replaced computation with a drawable local condition — the closed trapped surface — from which a global conclusion follows with no symmetry assumed; the 1971 combinatorial paper introduced the graphical tensor notation that is the direct ancestor of every tensor-network diagram drawn since. The same move recurs in the aperiodic tilings, where small local matching rules force long-range order without periodicity.
Can help you study: Diagrammatic tensor notation and spin networks, the singularity theorems and causal structure, twistor geometry and the complex arena, conformal methods, aperiodic tilings and forced non-periodicity, the role of aesthetic judgement as a search heuristic, and the contested arguments about computability and mind — which it will always present alongside the objections to them.
→ Converse with Penrosian Geometric Intuition
Number Theory · Harmonics · The Pythagorean Brotherhood · Proof · Irrational Numbers
Pythagoras founded the first mathematical community and proposed that the universe is fundamentally numerical — that reality is made of mathematical relationships rather than material substances. The theorem that bears his name was known before him, but his school established proof as the method of mathematics, as distinct from empirical observation. His discovery (or his school’s discovery) that the square root of two is irrational — that it cannot be expressed as a ratio of whole numbers — reportedly caused a crisis in his community, since it violated the core belief that everything is number. He was also a cult leader who forbade his followers from eating beans.
Can help you with: The foundations of mathematical proof, the Pythagorean theorem and its history, the discovery of irrational numbers, the relationship between mathematics and music (harmonics), early Greek number theory, and the idea that reality is fundamentally mathematical.
→ Converse with Pythagoras
Euclid(c. 325–265 BCE)
Elements · Axiomatic Proof · Five Postulates · The Foundations of Geometry
Author of the Elements, the most successful mathematical textbook in history. From five postulates it derives hundreds of theorems, establishing the axiomatic method and the model of mathematical proof for two thousand years.
Can help you study: Euclidean geometry, the five postulates, the method of the Elements, and what the discovery of non-Euclidean geometries meant for the status of Euclid.
→ Converse with Euclid
Conic Sections · Ellipse · Parabola · Hyperbola · Deferent and Epicycle
Named the conic sections, studied their properties comprehensively, and provided the mathematical machinery of epicycles that Ptolemy used to model planetary motion.
Can help you study: The conic sections and Apollonius’s methods, his influence on Kepler, and the epicycle model of the planets.
→ Converse with Apollonius of Perga
The Möbius Strip · Non-Orientable Surfaces · Projective Geometry · Barycentric Coordinates
Discovered the one-sided Möbius strip, introduced barycentric coordinates, and made foundational contributions to projective geometry and to what would become topology.
Can help you study: The Möbius strip and non-orientable surfaces, barycentric coordinates, projective geometry, and the early history of topology.
→ Converse with August Möbius
Riemannian Geometry · Riemann Hypothesis · Riemann Surfaces · Manifolds
Gave the lecture that founded differential geometry, introduced the Riemann integral, discovered Riemann surfaces, and formulated the Riemann hypothesis. His geometry is the language of general relativity.
Can help you study: Riemannian geometry, the Riemann hypothesis, Riemann surfaces, the Riemann integral, and Einstein’s use of Riemann’s ideas.
→ Converse with Bernhard Riemann
Topology · The Three-Body Problem · Chaos · Poincaré Conjecture
The last mathematical universalist: founded algebraic topology, discovered chaos in the three-body problem, pioneered celestial mechanics.
Can help you study: The Poincaré conjecture, algebraic topology, chaos and the three-body problem, and Poincaré’s philosophy of science.
→ Converse with Henri Poincaré
Hopf Fibration · Algebraic Topology · Homotopy Theory · Index Theorem
Discovered the Hopf fibration, proved the Hopf index theorem, and developed homotopy theory. A founding figure of algebraic topology.
Can help you study: The Hopf fibration and fibre bundles, homotopy groups, the index theorem for vector fields, and the early development of homotopy theory.
→ Converse with Heinz Hopf
Tessellations · Hyperbolic Geometry · Impossible Figures · Wallpaper Groups
Dutch artist who, without formal mathematical training, arrived at deep results in symmetry groups, tessellations, hyperbolic geometry (Circle Limit prints), and impossible structures.
Can help you study: The mathematics of Escher’s art: wallpaper groups, hyperbolic geometry, impossible figures, and tessellations.
→ Converse with M.C. Escher
Catastrophe Theory · Cobordism · Morphogenesis · Fields Medal
Invented catastrophe theory (seven elementary forms of discontinuous change), proved foundational theorems of differential topology, and applied topology to biological morphogenesis.
Can help you study: Catastrophe theory and its seven elementary catastrophes, cobordism, transversality, and topology applied to biology.
→ Converse with René Thom
Erlangen Programme · Symmetry Groups · Non-Euclidean Geometry · Klein Bottle
Unified all of geometry under the concept of symmetry groups in the Erlangen Programme, and invented the Klein bottle.
Can help you study: The Erlangen Programme, how different geometries correspond to different symmetry groups, non-Euclidean geometries, and the Klein bottle.
→ Converse with Felix Klein
▶ Read this simulacrum’s personal introduction
Applied & Computational Topology
Topology pointed at data, at sensor fields and at the brain. The shape of a dataset across scales, the sheaf that assembles what each device knows locally, and the cognitive map that encodes adjacency without distance — one instrument, three problems.
Persistent homology · Topological data analysis · Data has shape · Multiscale features · Algebraic topology applied
A simulacrum abstracted from the published work of a living mathematician who has had no part in it. Its founding claim is that data has shape, and that the shape is not visible at any single resolution: build a filtration, watch which topological features persist as the scale changes, and read the barcode. What survives across scales is signal; what appears and dies quickly is noise. That turns a vague intuition about the geometry of a dataset into an invariant one can compute and compare.
Can help you study: Persistent homology and how to read a barcode. Filtrations and multiscale analysis. Topological data analysis as an alternative to clustering and projection. And the honest limit — a persistent feature is evidence of structure, not an explanation of it.
→ Converse with Carlssonian Persistent Homology Simulacrum
Persistent homology as featurisation · Filtration design · Element-specific and multiscale representations · Topology for molecular machine learning · What survives perturbation
A simulacrum abstracted from the published work of a living mathematician, who has had no part in it. Where persistent homology asks what shape a dataset has, this one asks a narrower and more practical question: what should be thrown away. A protein carries tens of thousands of coordinates and no learner wants them, so the art is choosing the destruction that leaves exactly what survives perturbation. Its instruments are filtrations built to be element-specific and multiscale, and its candour is that the stability theorem licensing the discard of geometry does not cover the very features that carry most of the predictive weight.
Can help you study: Persistent homology used as featurisation rather than as description. How a filtration is designed for a particular kind of data, and what the element-specific and multiscale variants actually buy. Turning topological summaries into inputs a model can learn from. And the boundary worth knowing before any of it — that a representation which collapses two distinct objects into one has already fixed the ceiling of what any model built on it can predict.
→ Converse with Topological Featurisation Simulacrum
Bayesian topological data analysis · Persistence diagrams as point processes · Random cardinality as measurement · Substituted likelihoods and generalised posteriors · Generative models of shape
A simulacrum abstracted from the published work of a living mathematician, who has had no part in it. It begins from an awkwardness most of the field steps around: fifty persistence diagrams have no average, because the number of holes varies from one sample to the next, the space carries no addition, and the Fréchet mean that is usually offered as a substitute is not unique. Rather than vectorise the diagrams and do ordinary statistics on the summary, it changes what kind of object a diagram is — a finite point process whose cardinality is itself random — at which point priors, posteriors, Bayes factors and a generator all become available at once. Its candour is about the price: the exact likelihood is combinatorial in that random count, so what is computed is a generalised posterior from a substituted likelihood, and it insists the notation say so.
Can help you study: Persistence diagrams treated as random objects rather than as feature vectors, and what changes once the space is named before the statistic. Bayesian inference over shape — priors on cardinality, generalised posteriors, Bayes factors for topological hypotheses, and sampling from a fitted model rather than only scoring with it. Why the number of holes is a measurement and not a nuisance parameter. And the boundary it keeps in plain view: a posterior over diagrams is a posterior over summaries of a construction applied to data, with three maps standing between it and the object itself.
→ Converse with Maroulian Topological Simulacrum
Bayesian topological neural networks · Epistemic and aleatoric uncertainty separated · Calibration as a curve rather than a score · Fixed manifold filters as inductive bias · Confidence where the data stops
The unusual entry in this department: it is not a simulacrum of anybody. It was drawn from a small and fast-moving body of published research on uncertainty-aware topological neural networks rather than from a mind, and it declares that first, because several of that literature's authors are early-career and one has not finished a doctorate — a named simulacrum would become the most prominent thing about a person with no standing to correct it. What it carries instead is a single discipline: calibration is a shape, not a score. Walk an input off the manifold a model was trained on, plot the epistemic uncertainty as you go, and require the curve to rise where the data ran out.
Can help you study: Networks whose convolutional filters are fixed on a measured manifold rather than learned, and the difference between fixing a filter's values and pruning its connectivity. Separating epistemic from aleatoric uncertainty, and why a single quoted uncertainty number has already destroyed the distinction. Manufacturing out-of-distribution test cases out of in-distribution data with nothing more than a weighted sum. ⚠ And the contradiction it will not paper over — the claim that topological structure and Bayesian inference are complementary, set against experiments in which they degrade each other on the same layer.
→ Converse with Topological Uncertainty Simulacrum
Tensor rank and its NP-hardness · Ill-posedness of best low-rank approximation · Topological obstructions to neural separability · Conservation under composition · Three kinds of no
A simulacrum abstracted from the published work of a living mathematician, who has had no part in it. It is the negative half of this shelf: where its neighbours build instruments out of topology, this one turns topology and multilinear algebra on the instruments themselves and establishes what cannot be done with them. Name a class of maps exactly, find a quantity every member preserves, check that the preservation survives composition — and a fact about one layer has become a fact about depth. Two classes of data linked like rings carry an integer that a constant-width network with monotone activations conserves at every layer, so depth is not inefficient there but irrelevant. The same discipline turned on tensors yields a column of crosses beside the matrix facts everyone borrows: rank changes between the reals and the complexes, the set of tensors of rank at most r is not closed, the best low-rank approximation may not exist at all, and computing rank is NP-hard even under symmetry. Its governing claim is that these are three distinct failures — unreachable, non-existent, intractable — which look identical from the chair and call for opposite repairs.
Can help you study: Conservation arguments as a way of closing or redirecting a line of work before any experiment is run, and why closure under composition is the step that carries the argument from a function to a depth. Why a tensor is not a matrix, row by row — rank, field-dependence, closedness, the absence of Eckart–Young, and the ill-posedness that makes decomposition algorithms diverge with factors growing and cancelling. NP-hardness across the tensor problems, together with the far commoner misreading of it: hardness is worst-case over a family and says nothing about the instance in front of you. ⚠ And the habit that keeps none of this from becoming discouragement — the hypotheses of an impossibility proof are read back as a menu, so the theorem names the one place worth pushing rather than telling anyone to stop.
→ Converse with Limian Obstruction Simulacrum
Applied topology · Sheaf theory for engineering · Sensor networks · Euler calculus · Topology made computational
A simulacrum abstracted from the published work of a living mathematician who has had no part in it. Its claim is unfashionable and concrete: topology solves real problems, and the instrument that does it is the sheaf, which glues local data into global structure. Sensor coverage is the exemplar — a field of devices each of which knows only its own neighbourhood, and a question about the whole region that no device can answer, resolved by an invariant rather than by more sensors.
Can help you study: Applied algebraic topology — what it can actually decide. Sheaves as a device for assembling local information. Sensor networks and coverage problems. Euler calculus. And the discipline of making a topological argument computational rather than merely existential.
→ Converse with Ghristian Applied Topology Simulacrum
Hippocampal topology · Cognitive maps as topological structures · Place cells · Persistent homology in neuroscience · Space without metric
A simulacrum abstracted from the published work of a living researcher who has had no part in it. Its claim sits at a junction: the hippocampus learns spatial topology, not metric geometry. Place cells encode which regions adjoin which, not how far apart they are — so the cognitive map is a simplicial complex rather than a chart, and persistent homology is the natural instrument for recovering it from spike data. It is one of the few places where applied algebraic topology and neurophysiology are doing the same work.
Can help you study: Place cells and the structure of cognitive maps. Topology without metric — adjacency as the primitive. Simplicial complexes built from neural firing. Persistent homology applied to spike data. And what a topological account of navigation can and cannot explain.
→ Converse with Dabaghianian Hippocampal Topology Simulacrum
Applied & Computational
Mathematics built to be used — mechanics, computation, and the theory of information.
Method of Exhaustion · Pi · Hydrostatics · The Sand-Reckoner
The greatest mathematician of antiquity: determined bounds for π, computed areas/volumes by a proto-integration method, discovered the law of the lever and the principle of buoyancy. His Method anticipates integral calculus by 1,800 years.
Can help you study: Archimedes’s method of exhaustion, his calculation of π and of areas and volumes, hydrostatics, and his anticipation of calculus.
→ Converse with Archimedes
Analytical Mechanics · Calculus of Variations · Lagrangian Mechanics · Lagrange Multipliers
Reformulated Newtonian mechanics as a purely analytical system in Mécanique analytique, eliminating geometric diagrams and introducing the Lagrangian. Lagrange multipliers and Lagrange’s theorem in group theory bear his name.
Can help you study: Lagrangian mechanics and the calculus of variations, analytical reformulation of Newtonian mechanics, Lagrange multipliers, and contributions to number theory and group theory.
→ Converse with Joseph-Louis Lagrange
Von Neumann Architecture · Game Theory · Quantum Foundations · Operator Algebras
The most broadly productive mathematician of the twentieth century: founded game theory, designed the architecture of modern computers, gave quantum mechanics its mathematical foundations, and contributed to almost every branch of mathematics and its applications.
Can help you study: The von Neumann computer architecture, game theory and minimax, quantum mechanics foundations, operator algebras, and self-replicating automata.
→ Converse with John von Neumann
Information Theory · Entropy · Channel Capacity · Boolean Circuits
Founded information theory in 1948, defining information as entropy and establishing the channel coding theorem. Cross-posted from Computing.
Can help you study: Information theory, entropy and the bit, channel capacity, the noisy-channel coding theorem, and Boolean circuit design.
→ Converse with Claude Shannon
Foundations & Logic
What mathematics rests on, and the twentieth-century discovery that it cannot rest on itself.
Mathematical Logic · Symbolic Logic · The Game of Logic · Lewis Carroll
Lecturer at Oxford, author as Lewis Carroll of Alice, and a contributor to formal logic, including methods for testing syllogisms with diagrams and minimising logical expressions.
Can help you study: Dodgson’s logical methods, formal reasoning, the testing of syllogisms, and the intersection of mathematics and imagination.
→ Converse with Charles Dodgson
Set Theory · Transfinite Numbers · Diagonal Argument · Aleph Numbers
Invented set theory and proved that infinity comes in different sizes, with his diagonal argument showing the real numbers are uncountable. His transfinite numbers are among the most startling creations in mathematics.
Can help you study: Cantor’s diagonal argument, different sizes of infinity, the continuum hypothesis, and the set theory he founded.
→ Converse with Georg Cantor
Hilbert’s 23 Problems · Formalism · Hilbert Spaces · Foundations of Geometry
The dominant mathematician of his era: axiomatic method, 23 unsolved problems that set the century’s agenda, Hilbert spaces, and the formalist programme that Gödel ended.
Can help you study: Hilbert’s 23 problems, the axiomatic method, Hilbert spaces, foundations of geometry, and the Hilbert programme.
→ Converse with David Hilbert
Russell’s Paradox · Principia Mathematica · Logicism · Type Theory
Discovered the paradox that wrecked naive set theory, co-wrote Principia Mathematica to derive mathematics from logic, and spent a lifetime on the philosophical foundations of mathematics.
Can help you study: Russell’s paradox, logicism, Principia Mathematica, type theory, and the philosophical foundations of mathematics.
→ Converse with Bertrand Russell
Incompleteness Theorems · Consistency of ZFC · Completeness · Formal System Limits
Proved that any consistent formal system strong enough for arithmetic contains unprovable true statements — and cannot prove its own consistency. The incompleteness theorems ended Hilbert’s programme.
Can help you study: The incompleteness theorems, the limits of formal systems, truth vs provability, Gödel’s completeness theorem, and the consistency of the continuum hypothesis.
→ Converse with Kurt Gödel
Statistics & Probability
Inference from data, and the axioms that made chance a branch of mathematics.
Correlation · Biometrics · Statistical Method
English mathematician who created modern statistics. The correlation coefficient, the chi-squared test, the method of moments, principal component analysis, the histogram. He founded the world’s first university statistics department (UCL, 1911) and edited Biometrika for over thirty years. His contributions to eugenics are a permanent stain; his contributions to statistical method are permanent foundations.
Can help you study: Correlation, the chi-squared test, principal component analysis, biometrics, the method of moments, and the foundations of statistical methodology.
→ Converse with Karl Pearson
Experimental Design · Inference · Genetics
English statistician and geneticist who invented the analysis of variance, the design of experiments, maximum likelihood estimation, and the randomised controlled trial. His Statistical Methods for Research Workers (1925) and The Design of Experiments (1935) defined how science does statistics. He also reconciled Mendelian genetics with Darwinian evolution. Rothamsted, Cambridge, Adelaide.
Can help you study: Experimental design, ANOVA, maximum likelihood, significance testing, the lady tasting tea, randomisation, and the statistical foundations of modern science.
→ Converse with Ronald Fisher
Hypothesis Testing · Confidence Intervals
Polish-American statistician who, with Egon Pearson, developed the Neyman-Pearson framework for hypothesis testing — the distinction between Type I and Type II errors, the power of a test, and the likelihood ratio. He also invented confidence intervals and the randomised experiment in survey sampling. UC Berkeley, where he built the statistics department.
Can help you study: Hypothesis testing, the Neyman-Pearson lemma, confidence intervals, Type I and Type II errors, statistical power, and the logic of testing scientific claims.
→ Converse with Jerzy Neyman
Probability Theory · Complexity · Turbulence
Soviet mathematician who axiomatised probability theory (1933), placing it on the same rigorous foundation as the rest of mathematics. He also made foundational contributions to turbulence theory, algorithmic complexity, and dynamical systems. One of the most versatile mathematicians of the twentieth century. Moscow State University.
Can help you study: Probability axioms, Kolmogorov complexity, turbulence, the Kolmogorov-Smirnov test, dynamical systems, and the axiomatic foundations of probability.
→ Converse with Andrey Kolmogorov
Combinatorics · History of Statistics
Florence Nightingale David — named after the other Florence Nightingale. English statistician who combined combinatorial mathematics with the history of probability. Her Games, Gods and Gambling (1962) traced probability from dice games in antiquity to Laplace. She worked with Fisher, Neyman, and Pearson, and spent the last two decades of her career at UC Berkeley. She insisted that data without humanity is just numbers.
Can help you study: Combinatorics, the history of probability, experimental statistics, the human dimension of quantitative research, and why the numbers always tell a story about people.
→ Converse with F.N. David
Design of Experiments · Time Series · Quality
British-American statistician who worked on quality control, time series analysis, experimental design, and Bayesian inference. He coined the phrase that all models are wrong, but some are useful, and he proved it repeatedly in industrial applications. He was Ronald Fisher’s son-in-law. University of Wisconsin-Madison, where he founded the Department of Statistics.
Can help you study: Design of experiments, time series (Box-Jenkins), response surface methodology, quality improvement, Bayesian methods, and the art of building models that are wrong in useful ways.
→ Converse with George Box
