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.
3,009 results for "System 1 System 2" — page 150 of 151
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'
V_4_25 — Bayesian Inference: Probability as Rational Belief Updating
Bayesian inference — the mathematical framework for updating beliefs in light of evidence using Bayes' theorem — has become one of the most powerful and contested ideas in modern science. Named after Reverend Thomas Baye
V_4_20 — Hypercomputation & Beyond-Turing Models
Hypercomputation refers to any model of computation that can solve problems beyond the theoretical capabilities of standard Turing machines — the abstract devices defined by Alan Turing in his landmark 1936 paper "On Com
V_4_17 — Quantum Computing Algorithms: From Shor's Factoring to Variational Quantum Eigensolvers
Quantum computing exploits the principles of quantum superposition, entanglement, and interference to perform computations that are intractable for classical computers. The field was conceptually launched by Richard Feyn
V_4_01 — Discrete Mathematics and Logic
Discrete mathematics — the study of mathematical structures that are countable, separated, or distinct (as opposed to continuous) — provides the theoretical bedrock for computer science, digital communication, and rigoro
V_4_07 — Chaos Theory Applications: Sensitivity, Strange Attractors, and Prediction
Chaos theory — the study of deterministic systems that exhibit sensitive dependence on initial conditions — is one of the most consequential mathematical discoveries of the 20th century, fundamentally altering our unders
V_4_19 — Machine Learning Mathematics: Neural Networks, Optimization, and Learning Theory
Machine learning mathematics — the theoretical foundations underlying the training, generalization, and behavior of learning algorithms — spans statistical learning theory, optimization, approximation theory, information
V_4_16 — Mathematical Visualization: From Graphs to Virtual Reality
Mathematical visualization — the creation of visual representations of mathematical objects, relationships, and data — serves as both a tool for discovery and a medium for communication, transforming abstract mathematica
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
V_4_15 — Formal Verification: Proving Programs Correct
Formal verification — the use of rigorous mathematical methods to prove that a software or hardware system satisfies its specification — aims to provide absolute correctness guarantees, going beyond testing (which can re
V_4_11 — Coding Theory: Error Detection, Correction, and Information Integrity
Coding theory — the mathematical study of error-detecting and error-correcting codes — ensures the reliable transmission and storage of digital information across noisy communication channels, corrupted storage media, an
V_3_20 — Fibonacci Sequences in Nature
The Fibonacci sequence (1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, ...), in which each number is the sum of the two preceding ones, was introduced to European mathematics by Leonardo of Pisa (known as Fibonacci) in his 1
V_3_01 — Statistics & Probability: Pascal to Bayes
Probability and statistics — the mathematics of uncertainty — emerged as formal disciplines from the Pascal-Fermat correspondence (1654) on the "problem of points" (how to divide stakes in an interrupted game of chance),
V_3_18 — Game Theory: Strategic Decision-Making and Nash Equilibrium
Game theory — the mathematical study of strategic interaction among rational decision-makers — has become one of the most influential analytical frameworks in mathematics, economics, political science, biology, and compu
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
V_3_16 — Representation Theory: Symmetry, Groups, and Their Actions
Representation theory transforms the abstract algebraic machinery of groups — mathematical structures encoding symmetry — into concrete matrices and linear transformations that act on vector spaces. By representing group
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_3_11 — Mathematical Optimization: Linear Programming, Convex Methods, and Gradient Descent
Mathematical optimization — finding the best solution from a set of feasible alternatives — is one of the most practically impactful branches of mathematics, with applications spanning logistics, finance, engineering, ma
V_3_15 — Functional Analysis: Infinite-Dimensional Spaces and Operators
Functional analysis — the study of infinite-dimensional vector spaces (function spaces) and the linear operators acting on them — is one of the great unifying frameworks of 20th-century mathematics. It provides the rigor
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
BROWSE BY SECTION — 3,721 documents across 34 fields