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.
478 results for "type theory" — page 2 of 24
G_3_23 — Actor-Network Theory: Latour, Callon, and the Agency of Non-Humans
Actor-Network Theory (ANT) is a theoretical and methodological approach developed primarily by Bruno Latour (1947–2022), Michel Callon (born 1945), and John Law (born 1946) at the Centre de Sociologie de l'Innovation (CS
G_2_05 — Graph Theory and Knowledge Network Analysis
Graph theory — the mathematical study of networks of nodes (vertices) connected by edges (links) — provides a rigorous framework for analyzing the structure of connections in systems ranging from ancient social hierarchi
G_2_14 — Information Theory Applied to Ancient Scripts and Codes
Information theory — founded by Claude Shannon (1948) — provides a mathematical framework for quantifying the information content, redundancy, and statistical structure of communication systems. When applied to ancient s
T_4_15 — The Psychology of Cooperation and Trust: Game Theory, Reciprocity, and Institutions
Cooperation — acting in ways that benefit others at a cost to oneself — is both theoretically puzzling (why would natural selection favor organisms that sacrifice fitness for others?) and practically essential (every hum
T_1_10 — Psychometrics and Intelligence Testing
Intelligence testing is among the oldest and most psychometrically robust enterprises in psychology. Spearman's g factor (1904) — a general mental ability extracted through factor analysis — remains one of the strongest
T_1_18 — Attachment Theory
Attachment theory — one of the most influential frameworks in developmental and clinical psychology — proposes that early bonds between infants and caregivers shape social, emotional, and cognitive development across the
T_1_14 — Self-Determination Theory: Autonomy, Competence, Relatedness, and Intrinsic Motivation
Self-Determination Theory (SDT) — developed by Edward Deci and Richard Ryan (University of Rochester, 1985–present) — is one of the most influential and empirically supported theories of human motivation, proposing that
B_1_21 — Culture Hero Archetype: Prometheus, Maui, Quetzalcoatl, and the Global Gift of Knowledge
The culture hero is one of the most persistent character types in world mythology — a figure (divine, semi-divine, or human) who obtains crucial knowledge, skills, or resources for humanity, often through theft from the
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_17 — Integrated Information Theory
Integrated Information Theory (IIT) is a mathematical theory of consciousness developed by Giulio Tononi (University of Wisconsin-Madison, 2004; IIT 3.0, 2014; IIT 4.0, 2022) that attempts to explain what consciousness i
R_5_19 — Evolutionary Game Theory: Cooperation, Altruism, and Strategy in Nature
Evolutionary game theory applies mathematical game theory to biological evolution, explaining how natural selection favors strategies for survival and reproduction in competitive and cooperative interactions. The field's
ZA_1_10 — Feynman Diagrams: The Visual Language of Quantum Field Theory
Feynman diagrams — the pictorial representations of mathematical expressions describing the behavior of subatomic particles — are among the most powerful and iconic tools in theoretical physics, invented by Richard Feynm
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_4_18 — Information Theory Cross-Discipline Bridge
Information theory, founded by Claude Shannon in 1948, provides a universal mathematical framework for quantifying uncertainty, communication capacity, and data compression. Its core concepts — entropy, mutual informatio
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_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_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_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
BROWSE BY SECTION — 3,721 documents across 34 fields