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 7 of 24
ZA_5_19 — Bekenstein Bound: Information Limits and the Physics of Black Holes
The Bekenstein bound — proposed by Jacob Bekenstein in 1981 — establishes a fundamental upper limit on the amount of information (entropy) that can be contained within a given region of space with a given amount of energ
ZA_5_11 — Quantum Chaos: Where Classical Chaos Meets Quantum Mechanics
Quantum chaos investigates the quantum-mechanical signatures of systems whose classical counterparts exhibit chaotic behavior — addressing the profound question of how quantum mechanics, which is fundamentally linear, en
V_4_13 — Mathematics of Voting: Arrow's Theorem, Fairness, and Electoral Systems
The mathematics of voting — a branch of social choice theory — applies rigorous mathematical analysis to the problem of aggregating individual preferences into collective decisions, revealing deep impossibility results t
V_4_21 — Cryptography & Mathematical Foundations
Cryptography — the science of secure communication — rests on some of the deepest results in number theory, algebra, and computational complexity. Modern public-key cryptography was born in 1976 when Whitfield Diffie and
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_2_21 — Topology Applications in Science
Topology — the branch of mathematics concerned with properties preserved under continuous deformation (stretching, bending, twisting, but not tearing or gluing) — has transformed from an abstract mathematical discipline
V_2_17 — Homological Algebra: Chain Complexes, Exact Sequences, and Derived Functors
Homological algebra provides a powerful, abstract framework for studying algebraic structures — groups, rings, modules, sheaves — by analyzing chain complexes (sequences of abelian groups or modules connected by homomorp
M_4_13 — Earth Crustal Displacement: Hapgood's Theory and Its Legacy
Earth crustal displacement (ECD) — the hypothesis that the Earth's lithosphere can shift as a relatively intact shell over the underlying asthenosphere, rapidly relocating the geographic positions of continents relative
M_1_05 — Phaistos Disc — Undeciphered Minoan Artifact
The Phaistos Disc is a fired clay disc approximately 15 cm in diameter, impressed on both sides with a spiral arrangement of 241 signs comprising 45 distinct symbols, discovered in 1908 by Italian archaeologist Luigi Per
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_2_02 — Nag Hammadi & Gnostic Texts
The Nag Hammadi Library is a collection of 13 leather-bound papyrus codices containing 52 texts, discovered in 1945 near Nag Hammadi, Upper Egypt. Written in Coptic and dated to the 3rd–4th centuries CE (with originals p
A_2_05 — The Hermetic Tradition: Thoth, Hermes Trismegistus, and the Emerald Tablet
This document examines The Hermetic Tradition: Thoth, Hermes Trismegistus, and the Emerald Tablet, a topic within the Foundations research area. Notable findings include: Ancient Egyptian tradition describes a Book of Th
A_4_25 — Jain Agamas: Canonical Scriptures of Non-Violence and Asceticism
The Jain Agamas (Āgama, "tradition/scripture") are the canonical scriptures of Jainism, one of the world's oldest continuously practiced religions. The teachings are attributed to Mahāvīra (Vardhamāna, c. 599–527 BCE or
A_4_29 — Mongolian & Turkic Epic Traditions
The Mongolian and Turkic epic traditions constitute one of the world's great oral literary heritages, spanning from the Altai Mountains to Anatolia across more than two millennia. Central texts include the Secret History
U_3_11 — Board Games and Games of Strategy
Board games — structured games played on a marked surface (board) with pieces, dice, cards, or tokens according to defined rules — are among the oldest and most culturally revealing human artifacts. Ancient games: the Ro
U_3_10 — Printmaking and the History of the Book
Printmaking — the creation of images or text by transferring ink from a prepared surface to paper or other substrate — and the history of the book are intertwined stories of how humans multiplied information. Relief prin
U_5_01 — Myth in Modern Media: Star Wars, Tolkien & Marvel
Ancient mythological structures persist as the deep architecture of modern popular culture, demonstrating either the psychological universality of certain narrative patterns or the conscious adoption of mythological temp
U_2_06 — Cinema and Film History
Cinema — the art and technology of moving images — emerged from late 19th-century developments in photography and persistence of vision. Pioneer technologies: Eadweard Muybridge's sequential photographs of a galloping ho
U_2_21 — Abstract Art & Consciousness
Abstract art — visual art that does not attempt to represent external reality but instead explores relationships of form, color, line, and composition independently — emerged in the early 20th century in direct connectio
U_2_05 — Photography and Visual Culture
Photography — from Greek phōs (light) + graphē (drawing) — transforms light into permanent images. Origins: the camera obscura (darkened chamber projecting inverted images through a pinhole) was known to Aristotle and us
BROWSE BY SECTION — 3,721 documents across 34 fields