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.

91 results for "formal methods" — page 3 of 5

V_2_08 Verified Mathematics & Information

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

mathematical proof axiomatic method Euclid proof by contradiction reductio ad absurdum Four Color Theorem
M_5_00 Forbidden Archaeology

M_5_00 — Analysis Methods Controversies: Subfolder Summary

M_3_15 Credible Forbidden Archaeology

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

construction-replication experimental-archaeology wally-wallington nova-obelisk pyramid-construction megalithic-transport
ZH_5_00 Archaeoastronomy

ZH_5_00 — Methods Modern Archaeoastronomy: Subfolder Summary

ZH_5_03 Verified Archaeoastronomy

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

GIS LiDAR digital archaeoastronomy remote sensing photogrammetry horizon profile
ZG_2_10 Verified Linguistics & Communication

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

language documentation field linguistics fieldwork descriptive linguistics elicitation transcription
ZG_5_11 Verified Linguistics & Communication

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

language revitalization endangered languages language death language documentation linguistic fieldwork immersion
Q_4_18 Verified Cosmology & Physics

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

spectroscopy absorption emission Fraunhofer lines Kirchhoff Bunsen
Q_4_00 Cosmology & Physics

Q_4_00 — Physics Methods: Subfolder Summary

G_4_00 Modern Frameworks

G_4_00 — Interdisciplinary Meta Methods: Subfolder Summary

G_4_11 Verified Modern Frameworks

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

archaeoastronomy ethnoastronomy astronomical alignment solstice equinox stellar alignment
G_4_10 Verified Modern Frameworks

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

paleoclimatology climate proxies speleothems pollen analysis palynology foraminifera
G_1_00 Modern Frameworks

G_1_00 — Archaeological Science Methods: Subfolder Summary

G_1_14 Verified Modern Frameworks

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

archaeometry XRF NAA ICP-MS Raman FTIR
G_2_16 Credible Modern Frameworks

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

phylogenetics cladistics cultural phylogeny material culture tree branching
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
L_4_05 Verified Genetics & Origins

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

paleogenomics ancient DNA aDNA ancient DNA extraction petrous bone DNA degradation
L_4_00 Genetics & Origins

L_4_00 — Methods Ancient DNA: Subfolder Summary

M_5_26 Verified Forbidden Archaeology

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

levant fertile crescent natufian jericho neolithic ancient near east
M_5_30 Credible Forbidden Archaeology

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

cinnabar mercury sulfide HgS vermillion mercury alchemy