RESEARCH BASE

Search 3,721 documents across 34 fields — every claim tier-rated by evidence

3,721 Documents 34 Sections 43,625 Citations 34,852 Keywords Indexed 4 Evidence Tiers

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.

407 results for "string theory" — page 4 of 21

ZD_1_14 Verified Information & Computation

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

type theory lambda calculus dependent types Curry-Howard Coq Lean
ZD_1_04 Verified Information & Computation

ZD_1_04 — Coding Theory & Error Correction

Coding theory — the mathematics of reliable communication over unreliable channels — was founded by Claude Shannon (1948), who proved the existence of channel capacity (a maximum rate at which information can be transmit

coding theory error correction Shannon Hamming code Reed-Solomon information theory
ZD_5_01 Verified Information & Computation

ZD_5_01 — Graph Theory and Algorithms

Graph theory — the mathematical study of graphs (networks of vertices/nodes connected by edges/links) — is one of the most widely applicable branches of mathematics, modeling everything from social networks and transport

graph theory graph algorithm shortest path network flow Euler path Dijkstra
ZD_4_02 Verified Information & Computation

ZD_4_02 — Game Theory, Strategic Interaction, and Cooperation

Game theory is the mathematical study of strategic interaction among rational agents, founded by John von Neumann and Oskar Morgenstern's Theory of Games and Economic Behavior (1944) and revolutionized by John Nash's equ

game theory Nash equilibrium prisoner's dilemma tit-for-tat von Neumann Morgenstern
ZD_4_13 Verified Information & Computation

ZD_4_13 — Network Science: Graph Theory, Small Worlds, and Scale-Free Networks

Network science is the study of complex systems represented as networks (graphs) — collections of nodes (vertices) connected by edges (links) — encompassing social networks (people connected by friendships, collaboration

network science graph theory small-world scale-free Barabási Watts-Strogatz
ZD_2_05 Verified Information & Computation

ZD_2_05 — Robotics and Control Theory

Robotics integrates mechanical engineering, electrical engineering, computer science, and control theory to design, build, and program machines that sense, reason, and act in the physical world. Control theory — the math

robotics control theory feedback control PID controller kinematics dynamics
P_2_17 Verified Philosophy & Meaning

P_2_17 — Philosophy of Law: Jurisprudence and Legal Theory

Jurisprudence — the philosophical study of law's nature, authority, and relationship to morality — addresses foundational questions: What makes a rule a "law"? Is law necessarily connected to morality? How should judges

jurisprudence legal-positivism natural-law hartian dworkinian critical-legal-studies
R_1_16 Verified Biology & Evolution

R_1_16 — Endosymbiotic Theory: Modern Developments in Organelle Evolution

Endosymbiotic theory — the proposition that mitochondria and chloroplasts originated as free-living bacteria that were engulfed by ancestral eukaryotic cells and subsequently became obligate intracellular symbionts — is

endosymbiosis Lynn Margulis mitochondria chloroplast eukaryote origin serial endosymbiotic theory
R_1_12 Verified Biology & Evolution

R_1_12 — History of Evolutionary Theory

Evolutionary theory — the unifying framework of modern biology — has itself undergone a remarkable evolution over more than two centuries. Pre-Darwinian ideas included Lamarck's transformism (1809), which proposed that o

history of evolution Darwin Wallace Origin of Species natural selection Lamarck
ZA_2_14 Credible Physics & Quantum

ZA_2_14 — Penrose Twistor Theory: Spinor Geometry and Spacetime

Twistor theory — conceived by Roger Penrose beginning in 1967 — is a radical reformulation of the geometry underlying physics in which the fundamental objects are not points in spacetime but rather twistors: elements of

twistor theory Roger Penrose spinor conformal invariance twistor space scattering amplitudes
ZA_1_02 Verified Physics & Quantum

ZA_1_02 — Quantum Field Theory: Foundations of Modern Physics

Quantum Field Theory (QFT) is the theoretical framework that combines quantum mechanics with special relativity, treating particles not as fundamental objects but as excitations — "ripples" — in underlying quantum fields

quantum field theory QFT second quantization Feynman diagrams renormalization virtual particles
ZA_4_25 Verified Physics & Quantum

ZA_4_25 — Caloric Theory: The Heat Fluid That Built Thermodynamics

Caloric theory held that heat is a self-repelling, weightless, indestructible fluid — calorique — that flows from hotter bodies to cooler ones and can be stored within matter. Formalized by Antoine-Laurent de Lavoisier i

caloric theory heat Lavoisier calorique Carnot Sadi Carnot
ZA_4_22 Verified Physics & Quantum

ZA_4_22 — Superconductivity: BCS Theory to High-Temperature

Superconductivity — the complete vanishing of electrical resistance and the expulsion of magnetic fields below a critical temperature — was discovered by Heike Kamerlingh Onnes on April 8, 1911, in mercury at 4.2 K. The

superconductivity BCS theory Cooper pairs cuprate YBCO Meissner effect
ZA_3_12 Verified Physics & Quantum

ZA_3_12 — Lattice Gauge Theory and Non-Perturbative QCD

Lattice gauge theory — the formulation of quantum field theories on a discrete spacetime lattice rather than in continuous spacetime — is the only known first-principles method for making non-perturbative calculations in

lattice gauge theory lattice QCD LQCD Kenneth Wilson lattice discretization
V_4_28 Verified Mathematics & Information

V_4_28 — Game Theory: Strategic Decision-Making and Evolutionary Dynamics

Game theory — the mathematical study of strategic interaction among rational agents — was formalized by John von Neumann and Oskar Morgenstern in Theory of Games and Economic Behavior (1944) and transformed by John Nash'

game theory nash equilibrium prisoner's dilemma evolutionary game theory john von neumann john nash
V_4_23 Verified Mathematics & Information

V_4_23 — Shannon Information Theory: Entropy, Communication, and the Mathematical Theory of Information

Claude Elwood Shannon (1916–2001) published "A Mathematical Theory of Communication" in the Bell System Technical Journal in July and October 1948, founding the field of information theory. Shannon defined information qu

claude shannon information theory entropy bit channel capacity coding theorem
V_4_24 Verified Mathematics & Information

V_4_24 — Chaos Theory: Nonlinear Dynamics, Strange Attractors, and the Butterfly Effect

Chaos theory — the study of deterministic systems exhibiting sensitive dependence on initial conditions — emerged in the 1960s–70s as a revolutionary insight: simple mathematical equations can produce behavior so complex

chaos theory nonlinear dynamics butterfly effect strange attractor lorenz mandelbrot
V_3_02 Verified Mathematics & Information

V_3_02 — Graph Theory & Network Mathematics

Graph theory — the mathematics of networks, connections, and relationships — began with Euler's Königsberg bridge problem (1736) and has become one of the most broadly applicable branches of mathematics, with direct rele

graph theory network Euler Königsberg Erdős random graph
V_3_13 Verified Mathematics & Information

V_3_13 — Nonlinear Dynamics and Bifurcation Theory

Nonlinear dynamics studies systems whose behavior is not proportional to their inputs — where small changes can produce large effects, qualitative transitions, and deterministic chaos. While linear systems superpose pred

nonlinear dynamics bifurcation chaos theory Lorenz attractor strange attractor Lyapunov exponent
V_3_03 Verified Mathematics & Information

V_3_03 — Chaos Theory & Fractals: Mathematics of Complexity

Chaos theory — the mathematical study of systems that are deterministic yet unpredictable — represents one of the most profound discoveries of 20th-century mathematics. Edward Lorenz (1963) discovered that a simple syste

chaos theory fractals Lorenz Mandelbrot butterfly effect strange attractor