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 3 of 5
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
M_5_00 — Analysis Methods Controversies: Subfolder Summary
M_3_15 — Construction Replication Experiments: Testing Ancient Building Methods
Construction replication experiments — attempts to reproduce ancient building techniques using only tools and methods available in the relevant period — provide the strongest empirical test of whether "impossible" ancien
ZH_5_00 — Methods Modern Archaeoastronomy: Subfolder Summary
ZH_5_03 — Modern Archaeoastronomy: GIS, LiDAR, and Digital Methods
Modern archaeoastronomy has been transformed by the adoption of Geographic Information Systems (GIS), Light Detection and Ranging (LiDAR), digital elevation models (DEM), planetarium software (Stellarium, TheSkyX), photo
ZG_2_10 — Language Documentation and Field Methods
Language documentation is the systematic recording, annotation, preservation, and dissemination of a language's spoken (and signed) forms — encompassing its phonology, morphology, syntax, semantics, pragmatics, and the f
ZG_5_11 — Indigenous Language Revitalization: Immersion, Documentation, and Community Methods
Of the estimated 7,000+ languages spoken worldwide, approximately 40–50% are endangered — meaning they are no longer being learned by children as a first language and face extinction within the coming generations (UNESCO
Q_4_18 — Spectroscopy: Principles, Methods, and Applications
Spectroscopy — the study of the interaction between matter and electromagnetic radiation — is one of the most powerful and versatile analytical methods in all of science. From Joseph von Fraunhofer's discovery of dark ab
Q_4_00 — Physics Methods: Subfolder Summary
G_4_00 — Interdisciplinary Meta Methods: Subfolder Summary
G_4_11 — Archaeoastronomy Methods and Systematic Evidence
Archaeoastronomy — the study of how past civilizations understood, observed, and used astronomical phenomena — has matured from a field plagued by speculative alignment claims into a rigorous interdisciplinary discipline
G_4_10 — Paleoclimatology Methods: Proxies, Models, and Reconstruction
Paleoclimatology reconstructs Earth's climate history using natural archives—physical, chemical, and biological proxies preserved in geological and biological materials. Speleothems (cave formations) record precipitation
G_1_00 — Archaeological Science Methods: Subfolder Summary
G_1_14 — Archaeometry — Physical Science Methods in Archaeology
Archaeometry — the application of physical and chemical science methods to archaeological materials — encompasses a broad range of analytical techniques used to determine the composition, provenance, manufacturing techno
G_2_16 — Phylogenetic Methods in Material Culture Analysis
Phylogenetic methods — originally developed in evolutionary biology to reconstruct the branching history of species from shared inherited characteristics — have been adapted for analyzing the evolutionary (descent-with-m
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
L_4_05 — Paleogenomics Methods and Ancient DNA
Paleogenomics — the study of ancient genomes — has transformed archaeology, anthropology, and evolutionary biology over the past two decades, recognized by the 2022 Nobel Prize in Physiology or Medicine awarded to Svante
L_4_00 — Methods Ancient DNA: Subfolder Summary
M_5_26 — Levantine Archaeology: Crossroads of Ancient Civilizations
The Levant — the eastern Mediterranean corridor encompassing modern Israel, Palestine, Jordan, Lebanon, Syria, and southeastern Turkey — is arguably the most archaeologically consequential region on Earth. It witnessed t
M_5_30 — Cinnabar: Mercury Sulfide in Ancient Ritual, Medicine, and Technology
Cinnabar (mercury sulfide, HgS) is a bright red mineral that served as one of the most important substances in the ancient world — prized simultaneously as a pigment, a ritual material, a medicinal ingredient, and an alc
BROWSE BY SECTION — 3,721 documents across 34 fields