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.
48 results for "dependent types" — page 1 of 3
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_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
F_3_05 — Writing System Origins and Independent Inventions
Writing was independently invented at least four times in human history: Sumerian cuneiform in Mesopotamia (~3400 BCE), Egyptian hieroglyphs (~3200 BCE), Chinese script (~1200 BCE with possible earlier precursors), and M
Z_4_04 — RNA Biology: Types and Functions
RNA (ribonucleic acid) — once considered merely a passive intermediary between DNA and protein — is now recognized as the most functionally diverse class of biological macromolecules, performing roles in catalysis, gene
INTERDOC_64 — Cross-Cultural Constellations: Independent Invention vs. Diffusion as a Knowledge-Transmission Probe
The 88 modern IAU constellations are a cultural product — 48 from Ptolemy (~150 CE, derived from Mesopotamian/Babylonian sources), 12 from Keyser and de Houtman (~1596, Dutch East Indies), and 28 filled in by 17th–18th c
T_1_01 — Jungian Archetypes and the Collective Unconscious
Carl Gustav Jung (1875–1961) developed analytical psychology as a departure from Freudian psychoanalysis, proposing that beneath the personal unconscious lies a collective unconscious—a shared psychic substrate containin
P_4_06 — Buddhist Philosophy — Dependent Origination, Non-Self, and Emptiness
Buddhist philosophy — developed from the teachings attributed to Siddhārtha Gautama (c. 5th century BCE) and elaborated over 2,500 years across diverse Asian cultures — offers one of the most rigorous philosophical analy
F_3_19 — Shared Metallurgical Knowledge: Independent Invention vs. Diffusion
The development of metallurgy — the extraction and working of metals from ores — is one of the most consequential technological achievements in human history, and one of the best arenas for examining the fundamental ques
F_3_07 — Independent Origins of Plant Domestication
Plant domestication — the process by which wild species are genetically and morphologically transformed through human selection into cultivable, human-dependent crops — arose independently in at least 7–11 geographically
A_1_03 — The Apkallu & Oannes: The Seven Sages Who Taught Civilization
This document examines The Apkallu & Oannes: The Seven Sages Who Taught Civilization, a topic within the Foundations research area. Notable findings include: Berossus** (Βηρωσσός) — Babylonian priest of Bel (Marduk), ~28
A_4_12 — Pali Canon (Tipitaka) — Earliest Buddhist Scriptures
The Pali Canon (Tipiṭaka, "Three Baskets") is the oldest complete collection of Buddhist scriptures, preserved in the Pali language by the Theravada tradition of Sri Lanka and Southeast Asia. Transmitted orally for appro
ZH_5_05 — Cross-Cultural Constellation Patterns: Connecting Star Groupings Worldwide
Every documented human culture groups stars into constellations or asterisms — named patterns that organize the sky into a readable, memorizable, and culturally meaningful map. Yet surprisingly few star groupings are uni
C_1_01 — Cross-Cultural Patterns & Synthesis
This synthesis document maps the universal serpent/reptilian being across 13 major civilizations, finding that all 13 originally depicted serpent figures positively — as teachers, civilizers, and wisdom-keepers. The nega
Z_2_11 — Genetics of Immunity and MHC Diversity
The major histocompatibility complex (MHC) — known as the human leukocyte antigen (HLA) system in humans — is the most polymorphic gene region in the human genome, encoding cell-surface glycoproteins essential for adapti
Z_1_06 — Sex Determination Genetics
Sex determination — the biological process that establishes whether an organism develops as male, female, or an alternative reproductive type — employs remarkably diverse mechanisms across the tree of life. In placental
K_4_11 — Collective Consciousness & the Collective Unconscious
Collective consciousness — whether framed as Durkheim's sociological construct, Jung's archetypal collective unconscious, or ancient concepts like the Akashic Records and the Noosphere — describes a shared psychic field
E_3_12 — Agriculture: Origins, Spread, and Civilizational Impact
Agriculture — the deliberate cultivation of plants and domestication of animals for food, fiber, and other products — is arguably the single most consequential technological and social transformation in human history, se
E_2_12 — Great Oxygenation Event
The Great Oxygenation Event (GOE) — approximately 2.4–2.1 billion years ago — was one of the most transformative events in Earth's history: the first permanent rise of free molecular oxygen (O₂) in the atmosphere, from n
TH_06 — The Dislocated Consciousness Hypothesis
Almost nobody seriously doubts that people experience ghosts — the felt presence, the figure on the stair, the certainty of being watched. The real question is what produces those experiences, and the honest answer is th
INTERDOC_78 — Earth School: The Hypothesis That Physical Life Is a Consciousness Curriculum
The "Earth School" metaphor captures a cluster of related beliefs held across the world's major spiritual traditions: that human life is a deliberate experience, that souls choose or are guided into incarnation for speci
BROWSE BY SECTION — 3,721 documents across 34 fields