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.

20 results for "Lean"

ZD_1_06 Verified Information & Computation

ZD_1_06 — Boolean Algebra and Logic Gates: The Mathematics of Digital Systems

Boolean algebra, formalized by George Boole in 1854, reduces logical reasoning to algebraic manipulation of binary values (TRUE/FALSE, 1/0). This seemingly simple mathematical system became the foundation of the entire d

Boolean algebra logic gates AND OR NOT NAND
N_5_02 Verified Secret Societies

N_5_02 — Voodoo Societies — Haiti, New Orleans, and Hidden Power

Vodou (Haitian Vodou), Vodun (West African), and Voodoo (Louisiana/New Orleans) — related but distinct religious systems of the African diaspora — contain within them powerful secret society structures that have served a

Vodou Voodoo Vodun Haitian Vodou New Orleans Voodoo Hoodoo
L_1_14 Verified Genetics & Origins

L_1_14 — Homo Erectus: The Most Successful Human Species

Homo erectus (including regional variants sometimes classified as H. ergaster, H. georgicus, H. soloensis, and H. pekinensis) is arguably the most successful hominin species in evolutionary history — persisting for nearl

Homo erectus evolution Out of Africa Acheulean Dmanisi Java Man
U_1_15 Credible Art, Music & Culture

U_1_15 — Jazz: Improvisation, African Roots, and Cultural Revolution

Jazz — America's most original and influential art form — emerged in the early 20th century from the convergence of African rhythmic and improvisational traditions, African American blues and work songs, European harmony

jazz improvisation blues swing bebop cool jazz
U_3_13 Credible Art, Music & Culture

U_3_13 — Art Restoration and Conservation: Science Meets Aesthetics

Art restoration and conservation — the practice of preserving, stabilizing, and (sometimes controversially) restoring works of art — sits at the intersection of science, aesthetics, ethics, and cultural politics. Every a

art restoration conservation Sistine Chapel cleaning overpainting varnish removal
X_4_09 Verified Medicine & Healing

X_4_09 — Public Health and Sanitation

Public health and sanitation — organized efforts to prevent disease, promote health, and prolong life through collective action — have arguably saved more lives than all other medical interventions combined. Clean water,

public health sanitation clean water sewage hygiene epidemiology
E_3_02 Verified Cataclysms & Chronology

E_3_02 — Catastrophic Flood Geomorphology

Earth's surface preserves dramatic evidence of catastrophic floods on a scale unimaginable today. The Channeled Scablands of Washington State were carved by the Missoula Floods (~13,000–15,000 BP): glacial Lake Missoula

megaflood glacial outburst flood jökulhlaup Altai flood Missoula floods channeled scablands
E_3_09 Verified Cataclysms & Chronology

E_3_09 — Messinian Salinity Crisis

The Messinian Salinity Crisis (MSC) — approximately 5.96–5.33 million years ago (late Miocene) — was one of the most dramatic geological events in the Cenozoic: the near-complete desiccation (drying up) of the Mediterran

Messinian Salinity Crisis Mediterranean evaporite Gibraltar Strait of Gibraltar Zanclean flood
ZB_5_02 Verified Ecology & Biology

ZB_5_02 — Biological Networks and Systems Biology

Systems biology investigates how biological function emerges from the collective interactions of molecular components — genes, proteins, metabolites, and signaling molecules — organized into networks. Rather than studyin

systems biology biological networks gene regulatory networks protein-protein interactions metabolic networks signaling pathways
ZB_3_09 Verified Ecology & Biology

ZB_3_09 — Mutualism and Cooperation in Nature

Mutualism — an interspecific interaction in which both partners benefit — is one of the most important ecological relationships on Earth, underpinning ecosystem function from coral reefs to forests to the human gut. The

mutualism symbiosis cooperation reciprocal altruism cleaner fish mycorrhiza
ZC_3_09 Verified Social Science

ZC_3_09 — Nationalism and Ethnic Conflict

Nationalism — the political principle and cultural sentiment that nations should have their own states — is arguably the most powerful political force of the modern era. Benedict Anderson (Imagined Communities, 1983/1991

nationalism ethnic conflict nation-state Anderson imagined communities ethnonationalism
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_4_10 Credible Information & Computation

ZD_4_10 — Complexity Theory in Biology — Kauffman, Wolfram, Edge of Chaos

The application of complexity theory to biology — the study of how complex, adaptive, self-organizing structures and behaviors emerge in living systems from the interactions of simpler components — has been one of the mo

complexity edge of chaos self-organization emergence Kauffman Wolfram
ZE_3_16 Verified Ethics & Applied Philosophy

ZE_3_16 — Taboo Foods and Sacred Dietary Laws: Cosmology of Eating

No aspect of human life is more universally regulated by religion and culture than eating. Every known society has food taboos — categories of substances that are forbidden, restricted, or ritually controlled — and many

food taboo dietary law kashrut kosher halal haram
R_2_10 Verified Biology & Evolution

R_2_10 — Primate Evolution and the Hominid Lineage

The order Primates, originating ~65–80 million years ago, encompasses prosimians (lemurs, tarsiers), monkeys, and apes. The human lineage (Hominini) diverged from the chimpanzee lineage ~6–7 Mya, based on molecular clock

primate hominid hominini great ape human evolution bipedalism
V_4_01 Verified Mathematics & Information

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

discrete mathematics mathematical logic propositional logic predicate logic set theory Gödel incompleteness
V_4_15 Credible Mathematics & 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

formal verification program correctness Hoare logic model checking theorem proving type theory
V_2_07 Verified Mathematics & Information

V_2_07 — Formal Logic: Aristotle to Turing

Formal logic — the systematic study of valid inference — spans 2,400 years from Aristotle's syllogistic (c. 350 BCE) to Turing's computation theory (1936). Aristotle's Organon established the syllogism as the fundamental

logic formal logic Aristotle syllogism Boolean algebra Frege
V_2_08 Verified Mathematics & Information

V_2_08 — Mathematical Proof: History & Philosophy

Mathematical proof — the definitive demonstration that a statement follows necessarily from accepted axioms — is the distinguishing feature of mathematics as a discipline. The axiomatic-deductive method originated with t

mathematical proof axiomatic method Euclid proof by contradiction reductio ad absurdum Four Color Theorem
S_4_12 Verified Future Technology

S_4_12 — Space Debris: Kessler Syndrome, Orbital Pollution, and Cleanup Tech

Space debris — defunct satellites, spent rocket stages, fragmentation debris, paint flakes, and other artificial objects orbiting Earth — poses a growing threat to space operations, astronaut safety, and the long-term su

space debris orbital debris Kessler syndrome space junk conjunction collision avoidance