RESEARCH BASE
Search 3,717 documents across 34 fields — every claim tier-rated by evidence
23 results for "lambda calculus" — page 1 of 2
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
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
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.
K_5_15 — Neural Fractals & the Edge of Chaos: Brain Criticality and Complexity
The brain is poised at a critical point between order and chaos — and its fractality is not an accident but a functional necessity. In 2003, John Beggs and Dietmar Plenz published one of neuroscience's landmark papers: t
Q_1_06 — Dark Matter and Dark Energy
Approximately 95% of the universe's total mass-energy content is invisible: ~27% dark matter and ~68% dark energy. Dark matter was first inferred by Fritz Zwicky (1933) from galaxy cluster dynamics and confirmed by Vera
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
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
ZA_2_18 — Dark Energy Mechanisms: Cosmological Constant, Quintessence, and the Accelerating Universe
Dark energy — the unknown agent driving the accelerating expansion of the universe — constitutes approximately 68.3% of the total energy density of the cosmos (Planck 2018 results), making it the dominant component of th
ZA_1_18 — Dark Energy and the Cosmological Constant Problem
Dark energy — the mysterious component constituting ~68% of the total energy density of the observable universe — drives the accelerating expansion of space and represents one of the deepest unsolved problems in physics.
ZA_5_10 — Superfluidity: Quantum Mechanics at the Macroscopic Scale
Superfluidity — the macroscopic quantum phenomenon in which a fluid flows with zero viscosity (no resistance to flow) and exhibits extraordinary properties including frictionless flow through narrow channels, the ability
ZA_4_05 — Superconductivity and Superfluidity: Quantum Effects at Macro Scale
Superconductivity and superfluidity are macroscopic quantum phenomena in which matter exhibits zero electrical resistance or zero viscosity, respectively. BCS theory (1957) explains conventional superconductivity through
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
BROWSE BY SECTION — 3717 documents across 34 fields