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.

437 results for "game theory" — page 4 of 22

ZD_1_10 Verified Information & Computation

ZD_1_10 — Automata Theory and Formal Languages

Automata theory studies abstract computational machines and the classes of languages they recognize, forming the mathematical backbone of computer science. The Chomsky hierarchy (1956–59) classifies formal languages into

automata theory formal languages Chomsky hierarchy finite automata pushdown automata Turing machine
ZD_1_13 Verified Information & Computation

ZD_1_13 — Kolmogorov Complexity and Algorithmic Information Theory

Kolmogorov complexity (also called algorithmic complexity, descriptive complexity, or program-size complexity) — the length of the shortest computer program (on a fixed universal Turing machine) that produces a given str

Kolmogorov complexity algorithmic information theory algorithmic randomness incompressibility minimal description length Solomonoff
ZD_1_09 Verified Information & Computation

ZD_1_09 — Conway's Game of Life and Recreational Mathematics

Conway's Game of Life (1970), a two-dimensional cellular automaton devised by mathematician John Horton Conway (1937–2020), stands as perhaps the most famous example of how astonishingly complex behavior can arise from e

Game of Life cellular automata Conway recreational information-computation emergence self-replication
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_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
ZA_3_08 Verified Physics & Quantum

ZA_3_08 — Unification Physics: Theory of Everything

Unification — the quest to describe all fundamental forces of nature within a single theoretical framework — is the most ambitious program in physics, tracing from Maxwell's unification of electricity and magnetism (1865

theory of everything unification grand unified theory GUT electroweak unification Standard Model
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