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.

539 results for "differential form" — page 23 of 27

U_1_08 Verified Art, Music & Culture

U_1_08 — Carnival, Festival, and Celebration

Carnival, festivals, and celebrations — periodic communal events characterized by heightened sensory experience, relaxation or inversion of social norms, shared feasting, music, costume, and collective joy — are universa

carnival festival celebration Mardi Gras Carnaval Diwali
U_1_14 Credible Art, Music & Culture

U_1_14 — World Dance Traditions: Ballet, Bharatanatyam, Flamenco, and Hula

Dance — the oldest art form, predating language, visual art, and music in some theoretical models — is the organization of human movement in time and space for expressive, ritual, social, or aesthetic purposes. Every kno

dance ballet Bharatanatyam flamenco hula folk dance
U_4_11 Verified Art, Music & Culture

U_4_11 — Martial Arts as Cultural Practice

Martial arts — codified systems of combat training that integrate physical technique with cultural philosophy, aesthetic form, and (often) spiritual discipline — are found in virtually every civilization and represent a

martial arts kung fu karate judo taekwondo capoeira
W_3_21 Verified World Civilizations

W_3_21 — The Songhai Empire: West Africa's Largest Pre-Colonial State

The Songhai Empire (c. 1464–1591 CE) was the largest state in African history, controlling approximately 1.4 million km² of West Africa at its peak under Askia Muhammad I (r. 1493–1528). Rising from the declining Mali Em

songhai-empire askia-muhammad sunni-ali timbuktu gao trans-saharan-trade
W_5_20 Verified World Civilizations

W_5_20 — Renaissance Italian City-States: Commerce, Culture, and Innovation

The Italian Renaissance city-states (c. 1300–1600) — principally Florence, Venice, Milan, Genoa, and the Papal States, along with dozens of smaller polities — constituted one of history's most productive experiments in p

Renaissance city-state Florence Venice Medici banking
W_5_21 Verified World Civilizations

W_5_21 — Iron Age Transition in the Mediterranean (1200–500 BCE)

The Iron Age transition (c. 1200–500 BCE) in the Mediterranean represents one of history's most transformative periods: the collapse of the interconnected Late Bronze Age palatial economies (Mycenaean Greece, Hittite Emp

iron-age-transition bronze-age-collapse iron-metallurgy sea-peoples dark-age neo-assyrian-empire
K_4_17 Credible Consciousness

K_4_17 — Plant and Fungal Consciousness: Intelligence without Neurons

The question of whether plants and fungi possess forms of consciousness, intelligence, or cognition has moved from philosophical speculation to active scientific investigation. Plants exhibit sophisticated information pr

plant-intelligence mycorrhizal-network wood-wide-web plant-signaling fungal-cognition phytosemiotics
O_3_16 Verified Earth Anomalies

O_3_16 — Underwater Anomaly Catalog

Underwater anomalies range from confirmed submerged archaeological sites (Pavlopetri, Dwarka, Heracleion) to ambiguous geological/archaeological features (Yonaguni, Bimini Road, Baltic Sea Anomaly) to outright unexplaine

underwater-anomaly-catalog baltic-sea-anomaly bimini-road yonaguni submerged-structures uso
O_5_12 Verified Earth Anomalies

O_5_12 — Volcanic Islands: Surtsey, Hawaii, and Emergent Land

Volcanic islands — landmasses formed by submarine volcanic eruptions that build up from the ocean floor until they breach the sea surface — represent some of the most dynamic and scientifically informative geological fea

volcanic island Surtsey Hawaii hot spot seamount island arc
T_4_00 Psychology & Social

T_4_00 — Social Group: Subfolder Summary

ZD_1_08 Verified Information & Computation

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

lambda calculus functional programming Church Turing computability Church-Turing thesis
ZD_1_01 Verified Information & Computation

ZD_1_01 — Algorithms, Computation, and the Limits of Knowledge

An algorithm is a finite, unambiguous sequence of instructions for solving a problem — a concept formalized independently by Alan Turing (Turing machine, 1936) and Alonzo Church (lambda calculus) in response to David Hil

algorithms computation Turing machine Gödel incompleteness Church-Turing thesis
ZD_1_00 Information & Computation

ZD_1_00 — Foundations Theory: Subfolder Summary

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
ZD_1_07 Verified Information & Computation

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

cellular automata Conway's Game of Life Stephen Wolfram Rule 110 emergence self-organization
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_1_05 Verified Information & Computation

ZD_1_05 — Computational Complexity: P vs NP and the Limits of Efficient Computation

Computational complexity theory classifies problems not by whether they can be solved, but by how efficiently they can be solved — and its central open question, P vs NP, is one of the seven Clay Millennium Prize Problem

computational complexity P vs NP NP-completeness complexity classes polynomial time Turing machines
ZD_3_05 Verified Information & Computation

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

compiler parsing lexical analysis syntax analysis code generation optimization
ZD_3_00 Information & Computation

ZD_3_00 — Systems Architecture: Subfolder Summary

ZD_3_10 Verified Information & Computation

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

blockchain cryptocurrency Bitcoin Ethereum distributed ledger consensus