68 thinkers, books, and ideas connected to this field.
German-Israeli mathematician who developed nonstandard analysis — making rigorous the use of infinitesimals in calculus through model theory — rehabilitating the intuitive approach of Leibniz and Newton.
British mathematician who invented theoretical computer science (the Turing machine, 1936), broke the German Enigma code at Bletchley Park during WWII, and proposed the Turing Test for machine intelligence (1950) — before being prosecuted for homosexuality and dying in 1954.
British philosopher and mathematician who co-wrote Principia Mathematica with Russell and later developed process philosophy — an alternative to materialist metaphysics.
Russian mathematician who provided the rigorous axiomatic foundation for probability theory and developed Kolmogorov complexity — the most fundamental measure of information.
Soviet Russian mathematician who made fundamental contributions to topology (Tikhonov's theorem on products of compact spaces), mathematical physics, and regularization methods for ill-posed problems.
Dutch logician who was the leading expert on intuitionistic logic and constructive mathematics — writing the definitive metamathematical studies of intuitionistic systems.
Ancient Greek astronomer who proposed the heliocentric model — that the Earth revolves around the Sun — approximately 1800 years before Copernicus, with his theory being rejected by the ancient world and largely forgotten.
French mathematician who provided the rigorous foundations for mathematical analysis — replacing informal reasoning with precise epsilon-delta definitions of limits and continuity.
Czech mathematician, logician, and philosopher who anticipated Frege and Husserl by positing abstract propositions and ideas in themselves (Sätze an sich), independent of any mind.
British philosopher and mathematician — author of Principia Mathematica (with Whitehead), The Problems of Philosophy, and A History of Western Philosophy — Nobel Prize in Literature (1950) — who founded analytic philosophy, created Russell's Paradox, and was a prominent peace activist.
French mathematician, physicist, and Christian philosopher — who created probability theory (with Fermat), invented the first mechanical calculator, discovered the principles of hydraulics, and wrote the Pensées — the most wide-ranging genius of 17th century France.
American mathematician and electrical engineer at Bell Labs who founded information theory with his 1948 paper 'A Mathematical Theory of Communication' — defining the bit, channel capacity, and the mathematical limits of communication.
American-French mathematician and author — Discovery Institute fellow — known for skeptical critiques of Darwinism, atheism, and the cultural pretensions of science — author of The Devil's Delusion and One, Two, Three: Absolutely Elementary Mathematics.
Nicolaus Copernicus's 1543 treatise proposing the heliocentric model of the solar system — placing the Sun rather than the Earth at the center — published in the year of his death and the foundational text of the Copernican Revolution.
New Zealand mathematician who has developed Bishop-style constructive mathematics — a rigorous constructive development of real analysis and functional analysis.
American cognitive scientist who wrote Gödel, Escher, Bach — the most successful interdisciplinary work on consciousness and self-reference ever written — arguing that consciousness is a strange loop arising from self-referential systems.
Hungarian mathematician who wrote the first textbook on graph theory and proved König's theorem — a fundamental result in combinatorics about bipartite graphs.
American mathematician and Berkeley professor, co-inventor of the Berlekamp-Welch algorithm and co-author of Winning Ways for your Mathematical Plays, who briefly ran Renaissance Technologies and reoriented the Medallion Fund toward short-term trading.
American mathematician and economist who coined the term 'Intellectual Dark Web' and hosted The Portal podcast — proposing the geometric theory of physics (Geometric Unity) and arguing that institutions have failed their best minds — a critic of academic gatekeeping and media orthodoxy.
Swedish logician who worked on dependent type theory, formal topology, and constructive foundations of mathematics.
Italian physicist and astronomer who confirmed the Copernican heliocentric model with his telescope, developed the mathematical method of natural science, and was tried by the Inquisition — making him the founding martyr of scientific freedom and the symbol of the conflict between empirical inquiry and religious authority.
German mathematician who created set theory and the theory of transfinite numbers — proving that infinite sets come in different sizes and that the continuum cannot be put into bijection with the natural numbers.
Italian logician who developed formal topology — a point-free, constructive account of topology — and the Basic Picture, a framework for constructive foundations.
German philosopher and mathematician who invented calculus independently, developed monadology — the view that reality consists of simple, immaterial, windowless monads — and argued this is the best of all possible worlds.
German polymath who co-invented calculus independently of Newton, developed the theory of monads, proposed possible worlds semantics, and attempted a universal symbolic logic.
American mathematician and science communicator — creator of 3Blue1Brown YouTube channel — whose animated mathematics videos have become the gold standard for mathematical visual explanation and have been watched over 400M times.
Douglas Hofstadter's Pulitzer Prize-winning exploration of self-reference, consciousness, and the nature of meaning — weaving together Gödel's incompleteness theorem, Escher's impossible drawings, and Bach's fugues.
A 1979 Pulitzer Prize-winning book by Douglas Hofstadter exploring self-reference and consciousness through dialogues between an imaginary Achilles and Tortoise, interleaved with chapters on Gödel's incompleteness theorems, Escher's art, and Bach's fugues.
German logician who has worked on proof theory and the extraction of programs from constructive proofs — the formal realization of the Curry-Howard correspondence.
The Intermediate Value Theorem: if a continuous function takes values of opposite signs at two points, it takes the value zero at some point between them.
English mathematician and physicist — who invented calculus (simultaneously with Leibniz), formulated the laws of motion and universal gravitation, demonstrated that white light is composed of a spectrum, and built the first practical reflecting telescope — Warden/Master of the Royal Mint in his later career.
American mathematician and Fields Medal-adjacent number theorist who joined Renaissance Technologies' early trading operation — co-founding Axcom before it became the Medallion Fund — and developed early systematic trading models.
Scottish physicist who formulated the Maxwell equations — unifying electricity, magnetism, and light as a single electromagnetic field — the greatest theoretical achievement in physics between Newton and Einstein.
American mathematician and hedge fund manager — founder of Renaissance Technologies — whose Medallion Fund produced 66% annual returns before fees from 1988–2018 — the greatest investor in history by quantitative measure — who died in 2024.
Northern Irish mathematician and Christian apologist — Emeritus Professor of Mathematics at Oxford — famous for his public debates with Richard Dawkins — who argues that Christianity and science are not in conflict.
Hungarian-American mathematician — who made foundational contributions to quantum mechanics (von Neumann algebras), game theory (minimax theorem), computing (von Neumann architecture), nuclear weapons design, and self-replicating automata — widely considered the greatest mathematician of the 20th century after Gödel.
German mathematician who developed computable analysis — a rigorous treatment of computability for real numbers and continuous functions — and the Weihrauch reducibility hierarchy.
Austrian-American logician and mathematician — author of the Incompleteness Theorems (1931) — who proved that any consistent formal system capable of expressing arithmetic contains true statements that cannot be proved within the system — the most significant result in the foundations of mathematics.
American mathematician and NSA cryptographer who co-developed the Baum-Welch algorithm for hidden Markov models, then applied that statistical machinery to financial markets at Renaissance Technologies.
Eliezer Yudkowsky and others' Berkeley AI safety organization — focused on foundational mathematical research for creating provably safe artificial general intelligence — one of the earliest dedicated AI safety organizations.
New Zealand mathematician working on constructive mathematics and paraconsistent logic.
French mathematician and Enlightenment philosopher — who invented the Condorcet method of voting and the Condorcet paradox — predicted the French Revolution's going wrong in his Sketch for a Historical Picture of the Progress of the Human Mind — died in prison during the Terror.
Martin Gardner was an American popular mathematics writer whose 'Mathematical Games' column in Scientific American ran for 25 years and whose books — including 'The Ambidextrous Universe' — made mathematical paradoxes accessible to mass audiences.
German-American mathematician who stated Zorn's Lemma — a fundamental result in set theory equivalent to the Axiom of Choice.
Polish astronomer who proposed the heliocentric model of the solar system — displacing Earth from the center of the universe — in a theory he developed over decades but published only in the year of his death, anticipating the institutional resistance his work would generate.
Greek philosopher and mathematician — founder of the Pythagorean school — who identified the mathematical relationships in musical harmonics and whose theorem relating triangle sides is the most famous result in mathematics — whose beliefs about the soul's immortality influenced Plato.
American quantitative hedge fund founded by Jim Simons in 1982 — whose Medallion fund generated 66% average annual gross returns (39% after fees) from 1988 to 2018 — making it the greatest investment track record in history by a large margin.
French philosopher and mathematician — author of Discourse on the Method and Meditations on First Philosophy — who created analytical geometry, the mind-body problem, and Cartesian doubt — whose cogito ergo sum is the most famous philosophical claim.
French philosopher and mathematician who founded modern philosophy through radical methodological doubt, the cogito, and the substance dualism of mind and body.
British mathematician and physicist who made foundational contributions to general relativity (Penrose-Hawking singularity theorems) and has argued controversially that consciousness requires non-computational physics.
British statistician and geneticist who single-handedly invented or developed much of modern statistics — analysis of variance, maximum likelihood, experimental design — while also contributing to the synthesis of Mendelian genetics with Darwinian evolution.
Romanian-American mathematician at Princeton — one of the world's leading experts on partial differential equations and mathematical relativity — who has written on academic freedom and the politicization of mathematics.
British-American computer scientist, mathematician, and founder of Wolfram Research, creator of Mathematica and Wolfram Alpha, known for his theory that the universe is fundamentally computational.
Australian-American mathematician at UCLA — Fields Medal (2006) — who has made fundamental contributions to harmonic analysis, partial differential equations, combinatorics, and number theory — widely considered the greatest living mathematician.
Milesian philosopher traditionally regarded as the first Greek philosopher — who argued that all things are made of water — and who predicted a solar eclipse and demonstrated that philosophy can be profitable (cornered the olive press market by predicting a good harvest).
The Collatz conjecture (3n+1 conjecture): starting from any positive integer, if even divide by 2, if odd multiply by 3 and add 1 — the conjecture states this process always eventually reaches 1. Unsolved since 1937.
Roger Penrose's 1,100-page comprehensive account of the mathematical and physical structure of the universe — covering everything from complex numbers to quantum field theory, string theory, and cosmology.
English statistician and Presbyterian minister who developed Bayes' Theorem — the mathematical framework for updating probability estimates based on new evidence — published posthumously and now foundational to statistics, machine learning, and rational epistemology.
Roger Penrose's mathematical framework for describing spacetime using complex numbers and spinors — an alternative approach to quantum gravity based on the geometry of light rays.
American self-taught mathematician who co-developed the McCulloch-Pitts neuron model at age 18 — providing the theoretical foundation for artificial neural networks.
Ancient Greek philosopher — student of Parmenides — who created the paradoxes of motion (Achilles and the tortoise, the arrow, the dichotomy) that challenged intuitive understanding of space, time, and infinity — whose paradoxes remain unresolved in some formulations.
A fundamental set-theoretic principle: if every chain (totally ordered subset) of a partially ordered set has an upper bound in the set, then the set has at least one maximal element.
American mathematician and cultural critic who became the most systematic public analyst of 'woke' ideology — co-author of the Grievance Studies Affair (2018) and founder of New Discourses.
G.H. Hardy's meditation on mathematical beauty and the mathematician's life — written as he aged past his mathematical prime and felt his powers declining.
British mathematician who made foundational contributions to number theory and analysis — and who discovered and mentored Srinivasa Ramanujan.
German mathematician who made foundational contributions to elliptic functions and determinant theory — and whose advice to 'invert, always invert' became a mental model cornerstone through Charlie Munger.
Waclaw Sierpinski was one of the most prolific Polish mathematicians of the 20th century, making foundational contributions to set theory, number theory, and topology. He is best known for the Sierpinski triangle — a self-similar fractal — and the Sierpinski carpet, though his deeper contributions lie in axiom of choice research and cardinal arithmetic.
Russian Orthodox priest, theologian, mathematician, and polymath. Called the 'Russian Leonardo,' he unified theology, mathematics, art theory, and philosophy in a vision of concrete metaphysics. Executed by Stalin's regime in 1937.