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.
91 results for "formal methods" — page 4 of 5
M_5_24 — Library of Alexandria: Lost Knowledge, Reconstruction, and Historical Reality
The Library of Alexandria (Greek: Megalē Bibliothēkē), founded under Ptolemy I Soter (r. 305–283 BCE) and substantially developed under Ptolemy II Philadelphus (r. 283–246 BCE), was the principal research institution of
M_5_25 — Anatolian Archaeological Frontiers: Göbekli Tepe to Troy
Anatolia (modern Turkey) is among the most archaeologically significant regions on Earth, containing sites that fundamentally challenge conventional timelines of human civilization. Göbekli Tepe (c. 9600–8000 BCE), excav
M_5_14 — Archaeological Dating Method Controversies
Archaeological chronology — the backbone of all historical interpretation — rests on a hierarchy of dating methods, each with specific strengths, limitations, and known failure modes that are well documented in the speci
M_5_28 — Japanese Archaeology: Jōmon Culture and Ancient Japan
The Jōmon period (c. 14,000–300 BCE) represents one of the longest continuous cultural traditions in human history and challenges standard models of social evolution. The Jōmon produced the world's oldest known pottery (
M_5_27 — Indonesian Archaeology: Sundaland, Flores, and Maritime Southeast Asia
Indonesia is one of the most archaeologically consequential regions on Earth — a vast maritime archipelago spanning 5,000 km that preserves evidence from Homo erectus (c. 1.5 Ma at Sangiran, Java) through the enigmatic H
M_5_23 — Post-Glacial Flooding and Submerged Archaeological Landscapes
Between the Last Glacial Maximum (LGM, c. 26,500–19,000 years ago) and approximately 6,000 years ago, global mean sea level rose by approximately 120–130 m, drowning continental shelves that had been habitable land. The
M_5_29 — Optically Stimulated Luminescence Dating: Principles, Applications, and Archaeological Impact
Optically Stimulated Luminescence (OSL) dating measures the time elapsed since mineral grains (primarily quartz and feldspar) were last exposed to sunlight or heat, making it one of the most important absolute dating met
M_3_14 — Construction Replication Experiments and Megalithic Engineering Tests
Construction replication experiments — attempts to reproduce ancient building techniques using period-appropriate tools and methods — provide the most direct empirical test of whether proposed explanations for megalithic
ZH_5_24 — Zoroastrian Astral Cosmology and Fire-Temple Astronomy
Zoroastrianism — one of the world's oldest continuously practiced religions, founded by Zarathustra (dates debated: c. 1500–600 BCE) in Greater Iran — embedded astronomical observation deeply into its cosmology, calendar
ZH_5_25 — Polynesian Star Navigation and Pacific Migration
Polynesian wayfinding — the ability to navigate thousands of kilometers of open ocean without instruments — represents one of humanity's supreme intellectual achievements. Between c. 3,000 BCE and 1250 CE, Austronesian-s
ZH_5_23 — Ancestral Puebloan Archaeoastronomy: Celestial Alignments in the American Southwest
The Ancestral Puebloan civilization (c. 100–1300 CE) of the American Southwest developed one of the most sophisticated archaeoastronomical traditions outside the Old World. Chaco Canyon (New Mexico), the cultural center
ZH_5_19 — History of Astrology: Babylonian Origins to Modern Practice
Astrology — the belief that celestial bodies influence terrestrial events and human character — originated in Mesopotamia (c. 2000–1000 BCE), was systematized into natal horoscopy in the Hellenistic period (c. 1st centur
E_4_00 — Dating Chronological Science: Subfolder Summary
E_4_16 — Cosmogenic Isotope Dating: Beryllium-10 and Exposure Ages
Cosmogenic nuclide dating (also called cosmogenic exposure dating or terrestrial cosmogenic nuclide, TCN, dating) is a geochronological method that determines how long a rock surface has been exposed at or near Earth's s
E_4_18 — Tephra Chronology: Volcanic Ash as Geological Clock
Tephrochronology is the use of volcanic tephra layers (ash, pumice, and other pyroclastic deposits) as time markers (isochrons) for dating and correlating geological, paleoenvironmental, and archaeological sequences acro
E_4_17 — Palynology: Pollen Records and Vegetation History
Palynology — the study of pollen grains and spores (and other organic-walled microfossils collectively termed palynomorphs) — is one of the most widely applied techniques in Quaternary science, archaeology, and paleoclim
E_4_15 — Thermoluminescence and OSL Dating: Beyond Radiocarbon
Thermoluminescence (TL) and Optically Stimulated Luminescence (OSL) dating are trapped-charge geochronological techniques that determine the time elapsed since a mineral grain (typically quartz or feldspar) was last expo
E_4_12 — Dendrochronology: Tree-Ring Science and Precise Ancient Dating
Dendrochronology — the science of dating based on the analysis of tree-ring growth patterns — is one of the most precise dating methods available to archaeology, climatology, and ecology. Pioneered by Andrew Ellicott Dou
E_0_00 — Cataclysms & Chronology: Section Summary
Q_4_21 — Chromatography: Separation Science from Tswett to Modern Proteomics
Chromatography — the separation of mixtures by differential partitioning between a stationary phase and a mobile phase — is the most widely used analytical technique in chemistry, biology, and medicine. Mikhail Tswett (U
BROWSE BY SECTION — 3,721 documents across 34 fields