RESEARCH BASE
Search 3,721 documents across 34 fields — every claim tier-rated by evidence
3,633 are the core, quality-scored corpus (34 lettered sections — see How We Work); the remaining 88 are cross-corpus synthesis documents (68 InterDocs, 12 Connections, 8 Theories) also indexed here.
17 results for "calculus"
ZD_1_08 — Lambda Calculus and Functional Programming
Lambda calculus, invented by Alonzo Church in the 1930s as a formal system for expressing computation via function abstraction and application, stands alongside Turing machines as a foundational model of computation. Chu
ZD_1_14 — Type Theory: Lambda Calculus, Dependent Types, and the Curry-Howard Correspondence
Type theory is a foundational framework in mathematics, logic, and computer science that classifies values and expressions into types — categories that determine what operations are valid: a natural number can be added t
V_3_10 — Tensor Calculus and Differential Geometry: The Mathematics of Curved Spaces
Tensor calculus and differential geometry provide the mathematical language for describing curved spaces — from the geometry of Earth's surface to the curvature of spacetime in general relativity. Developed through the w
V_2_05 — Calculus & Infinitesimals: Newton, Leibniz & the Kerala School
Calculus — the mathematics of continuous change — is arguably the most powerful intellectual tool ever created, enabling the scientific revolution, modern physics, engineering, economics, and computation.
Q_4_13 — Classical Mechanics: Newton, Lagrange, Hamilton, and the Action Principle
Classical mechanics — the study of the motion of bodies under the action of forces — is the oldest and most mature branch of physics, tracing from Galileo's kinematics (1638) and Newton's three laws and universal gravita
G_4_17 — Microbiome Archaeology — Ancient Gut and Soil Microbes
Microbiome archaeology — the extraction and analysis of ancient microbial communities from archaeological materials (dental calculus, coprolites, mummified remains, soil sediments, ceramics) — has emerged since ~2012 as
ZD_1_11 — Turing Machine, Computability, and the Limits of Computation
The Turing machine — a mathematical model of computation defined by Alan Turing in his 1936 paper "On Computable Numbers, with an Application to the Entscheidungsproblem" — is the foundational formalism of theoretical co
L_4_05 — Paleogenomics Methods and Ancient DNA
Paleogenomics — the study of ancient genomes — has transformed archaeology, anthropology, and evolutionary biology over the past two decades, recognized by the 2022 Nobel Prize in Physiology or Medicine awarded to Svante
L_4_04 — Ancient Proteomics and Paleoproteomics
Paleoproteomics — the recovery and analysis of ancient proteins from archaeological and paleontological specimens — has emerged as a revolutionary complement to ancient DNA (aDNA), dramatically extending the temporal and
L_5_04 — Ancient Microbiome and Paleomicrobiology
Paleomicrobiology — the study of ancient microorganisms through the application of molecular techniques (ancient DNA extraction, metagenomics, proteomics) to archaeological and paleontological material — has revolutioniz
P_5_13 — Leibniz: Monads, Theodicy, and Pre-Established Harmony
Gottfried Wilhelm Leibniz (1646–1716) was among the most versatile intellects in Western history — a mathematician, philosopher, logician, diplomat, jurist, historian, and engineer who co-invented the infinitesimal calcu
P_2_10 — Utilitarianism: Bentham, Mill, Singer, and Consequentialist Ethics
Utilitarianism is the ethical theory that the morally right action in any situation is the one that produces the greatest overall happiness (or well-being, or preference satisfaction) for the greatest number of those aff
ZE_1_05 — Utilitarianism and Consequentialism
Consequentialism is the family of ethical theories holding that the moral rightness of an action depends entirely on its consequences — what matters is the outcome, not the motive or the nature of the act itself. Utilita
V_1_16 — History of Mathematical Notation: Symbols, Conventions, and Communication
The history of mathematical notation reveals that mathematics is not merely a body of truths but also a system of communication whose power depends critically on the symbols used to express it. Good notation does not mer
V_1_12 — Chinese Mathematics History
Chinese mathematics developed independently over at least 3,000 years, producing remarkable achievements often centuries before their European counterparts. The Jiuzhang Suanshu (Nine Chapters on the Mathematical Art, co
V_4_02 — Mathematical Economics
Mathematical economics applies formal mathematical methods — optimization, fixed-point theorems, measure theory, stochastic processes, and game theory — to model economic phenomena with the rigor of a mathematical scienc
V_3_14 — Stochastic Processes: Random Walks, Markov Chains, and Brownian Motion
Stochastic processes — mathematical models of systems evolving randomly over time — provide the essential framework for understanding phenomena where uncertainty is intrinsic: the jittery motion of pollen grains in water
BROWSE BY SECTION — 3,721 documents across 34 fields