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.
48 results for "Stokes theorem" — page 1 of 3
Q_4_10 — Fluid Dynamics: Turbulence, Navier-Stokes, and the Millennium Problem
Fluid dynamics is the study of the motion of fluids (liquids and gases) — a branch of physics with applications spanning aeronautics, meteorology, oceanography, astrophysics, cardiovascular medicine, chemical engineering
V_2_14 — Differential Topology and Manifolds
Differential topology studies smooth manifolds — spaces that locally resemble Euclidean $\mathbb{R}^n$ with smooth (infinitely differentiable) transition maps — and the smooth maps between them, classified up to diffeomo
ZA_3_02 — Symmetry, Noether's Theorem, and Conservation Laws
Emmy Noether's 1918 theorem established one of the deepest principles in physics: every continuous symmetry of the action of a physical system corresponds to a conserved quantity. Translational symmetry in space yields c
V_4_13 — Mathematics of Voting: Arrow's Theorem, Fairness, and Electoral Systems
The mathematics of voting — a branch of social choice theory — applies rigorous mathematical analysis to the problem of aggregating individual preferences into collective decisions, revealing deep impossibility results t
V_2_20 — Gödel's Incompleteness Theorems — Philosophical Implications
Kurt Gödel's incompleteness theorems, published in 1931 in the paper "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I," constitute one of the most profound results in the history of l
ZF_1_15 — Wave Physics: Wind Waves, Swell, and Coastal Dynamics
Ocean surface waves are the most visible expression of ocean-atmosphere energy transfer — created by wind blowing across the water surface, they travel across entire ocean basins and dissipate their energy on distant coa
Q_4_06 — Baryon Asymmetry and Matter-Antimatter
One of the deepest unsolved problems in physics is the baryon asymmetry of the universe — the observed predominance of matter over antimatter. For every ~10⁹ photons in the cosmic microwave background, there is approxima
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
Q_4_01 — Primordial Gravitational Waves and B-Mode Polarization
Primordial gravitational waves — ripples in spacetime generated during cosmic inflation — represent one of the most sought-after signals in cosmology. Their detection would provide direct evidence that inflation occurred
Q_2_01 — Black Holes, Singularities, and Information
Black holes are regions of spacetime where gravity is so extreme that nothing — not even light — can escape once it crosses the event horizon. Predicted by general relativity (Schwarzschild solution, 1916), regarded as m
INTERDOC_34 — Mathematics, Nature, and the Universal Language
[KEY FINDING] Eugene Wigner's 1960 essay "The Unreasonable Effectiveness of Mathematics in the Natural Sciences" (Communications in Pure and Applied Mathematics) posed what remains one of the deepest unsolved problems in
G_2_03 — Bayesian Reasoning and Archaeological Inference
Bayesian reasoning — the systematic updating of probabilities for hypotheses as new evidence is acquired — has transformed archaeology, chronology, and the evaluation of disputed historical claims since the 1990s. At its
ZD_1_18 — Quantum Error Correction
Quantum error correction (QEC) protects quantum information against decoherence and operational error by encoding a single logical qubit redundantly across many physical qubits, then detecting errors via syndrome measure
ZD_1_05 — Computational Complexity: P vs NP and the Limits of Efficient Computation
Computational complexity theory classifies problems not by whether they can be solved, but by how efficiently they can be solved — and its central open question, P vs NP, is one of the seven Clay Millennium Prize Problem
ZD_5_05 — Formal Methods: Mathematical Verification and Specification of Software
Formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems — using formal (mathematical) languages to describe system behavior and mathemat
ZD_4_09 — Signal Processing and Fourier Analysis
Signal processing — the analysis, modification, and synthesis of signals (time-varying or spatially varying quantities) — is fundamental to telecommunications, audio engineering, image processing, radar, medical imaging,
P_1_05 — Gödel's Incompleteness and Limits of Knowledge
In 1931, Kurt Gödel proved two theorems that shattered the foundations of mathematics and permanently altered humanity's understanding of knowledge, truth, and proof. The FIRST INCOMPLETENESS THEOREM states: in any consi
P_1_04 — Free Will: Determinism, Compatibilism, and Libertarianism
The free will debate is central to the meaning of human existence: Are we the authors of our choices, or is every decision the inevitable consequence of prior causes? Three major positions dominate: (1) Hard determinism
ZA_2_05 — Hawking Radiation and Black Hole Thermodynamics
In 1974, Stephen Hawking showed that black holes are not truly black — they emit thermal radiation at a temperature inversely proportional to their mass, implying that black holes slowly evaporate and eventually disappea
ZA_1_01 — Quantum Entanglement and Non-Locality Deep Dive
Quantum entanglement — the phenomenon whereby two or more particles become correlated such that the quantum state of each cannot be described independently — is one of the most experimentally confirmed and conceptually d
BROWSE BY SECTION — 3,721 documents across 34 fields