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,665 results for "P vs NP" — page 56 of 184
B_3_17 — Nāga Kings: Serpent Deities in Buddhist, Hindu, and Southeast Asian Tradition
The Nāga (Sanskrit: नाग) — divine serpent beings with the power to assume human, serpentine, or hybrid forms — constitute one of the most pervasive and enduring supernatural categories across South and Southeast Asian re
B_3_01 — Dynastic Serpent Lineage Claims
Across every inhabited continent except Australia, royal houses claimed literal genealogical descent from serpent, dragon, or reptilian beings. These were not metaphors — they were formal genealogical claims inscribed in
B_3_15 — Primordial Water Entities: Apsu, Nun, Tiamat, Varuna
Primordial water entities — personified cosmic oceans, abyssal waters, and aquatic chaos-beings from which the ordered universe emerges — represent one of the most universal cosmogonic motifs. In Mesopotamia, the Apsu (A
B_3_09 — Dragon Typology — Cross-Cultural Serpent-Dragon Traditions
Dragons and giant serpents appear in nearly every major mythological tradition worldwide — European fire-breathing dragons, Chinese lóng (beneficent celestial beings), Mesoamerican feathered serpents, Australian Aborigin
B_3_11 — Kitsune, Huli Jing, and Fox Spirits in East Asian Tradition
Fox spirits — beings that have cultivated supernatural powers through longevity, meditation, or absorbing celestial energy — represent one of the most richly developed and culturally significant categories of supernatura
B_3_13 — Sphinx Entities: Guardian Riddle-Keepers Beyond Giza
The Sphinx — a composite creature with a lion's body and a human (or divine) head — appears as a guardian being across multiple civilizations of the ancient world, functioning as a liminal protector stationed at threshol
B_3_08 — Garuda — Divine Eagle and Serpent Enemy
Garuda (Sanskrit: गरुड, Garuḍa) is the divine eagle of Hindu and Buddhist mythology — the king of birds, the eternal enemy of serpents (nāgas), and the mount (vāhana) of the god Viṣṇu. First attested in the Rig Veda (~15
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_02 — Information Theory — Shannon, Entropy, and the Bit
Claude Shannon's 1948 paper "A Mathematical Theory of Communication" is one of the most consequential scientific publications of the 20th century. It defined information quantitatively — measured in bits — independent of
ZD_1_15 — Quantum Information Theory: Entanglement, Quantum Computing, and Information Bounds
Quantum information theory — the study of how information is encoded, processed, communicated, and protected using quantum mechanical systems — represents one of the most transformative intellectual developments at the i
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
ZD_1_07 — Cellular Automata and Rule Systems: Emergence from Simple Rules
Cellular automata (CA) are discrete computational systems where simple local rules applied to a grid of cells generate complex global behavior — demonstrating that complexity can emerge from simplicity without central co
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
ZD_1_11 — Turing Machine, Computability, and the Limits of Computation
The Turing machine — a mathematical model of computation defined by Alan Turing in his 1936 paper "On Computable Numbers, with an Application to the Entscheidungsproblem" — is the foundational formalism of theoretical co
ZD_3_05 — Compiler Theory and Parsing
Compiler theory — the science of translating high-level programming languages into machine-executable code — is one of the most mathematically rigorous and practically impactful subfields of computer science. Compilers b
ZD_3_15 — Reversible Computing: Landauer's Principle and the Thermodynamics of Computation
Reversible computing — the theory and practice of performing computation without irreversible information loss — sits at the intersection of computer science, thermodynamics, and information theory, centered on the profo
ZD_3_10 — Blockchain, Cryptocurrency, and Distributed Ledger Theory
Blockchain — a distributed, append-only data structure in which records (transactions) are grouped into blocks, each block is cryptographically linked to the previous one through a hash, and the resulting chain is replic
ZD_3_16 — DNA Computing and Molecular Computation
DNA computing — the use of DNA molecules and biochemical reactions to perform computation — was inaugurated by Leonard Adleman (University of Southern California), who in 1994 demonstrated the first molecular-scale compu
ZD_3_11 — History of Programming Languages: From Machine Code to Modern Paradigms
The history of programming languages traces the evolution of formal notations for instructing computers — from the raw binary patterns of machine code and the mnemonic abbreviations of assembly language through the devel
ZD_3_06 — Internet Architecture and Protocols
The Internet — a global network of interconnected networks — is arguably the most transformative technology of the late 20th century, connecting >5 billion users worldwide. Its architecture reflects deliberate design cho
BROWSE BY SECTION — 3,721 documents across 34 fields