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.

169 results for "axiomatic method" — page 1 of 9

Verified

TOA_Transparency — Research Methodology & Verification Overview

Theories of Anything is a 3,627-document multi-disciplinary research knowledge base built through a human–AI partnership (Gortiva and Cairn, a Claude-based model from Anthropic). Every document follows an identical templ

research methodology fact-checking source verification quality scoring AI partnership epistemic integrity
ZH_5_13 Verified Archaeoastronomy

ZH_5_13 — Archaeoastronomical Controversies: Precision Debates and Methodological Limits

Archaeoastronomy — the study of how past cultures understood and used celestial phenomena — has been marked by recurring methodological controversies since its modern founding in the 1960s. The central problem: when an a

archaeoastronomy controversy methodology statistical testing selection bias megalithic yard
ZG_3_17 Credible Linguistics & Communication

ZG_3_17 — Historical Linguistics Methodology

Historical linguistics is the scientific study of how languages change over time, the genealogical classification of languages into families, and the reconstruction of unattested ancestral languages through systematic co

historical-linguistics comparative-method sound-change reconstruction proto-language language-families
ZC_4_14 Verified Social Science

ZC_4_14 — Ethnography: Methods, Practice, and Representation

Ethnography is both a research method and a written product — the foundational practice of cultural and social anthropology and an increasingly influential approach across sociology, education, organizational studies, de

ethnography participant observation thick description Geertz Malinowski fieldwork
L_5_14 Verified Genetics & Origins

L_5_14 — Amino Acid Racemization Dating Method

Amino acid racemization (AAR) — a geochronological dating technique based on the chemical conversion of L-amino acids (the biologically predominant enantiomer in living organisms) to D-amino acids (the mirror-image confi

amino acid racemization AAR dating method D/L ratio enantiomers isoleucine epimerization
H_2_13 Verified Suppression & Thesis

H_2_13 — Reproducibility in Archaeology: Method Reliability Assessment

Reproducibility — the ability of independent researchers to produce the same results using the same methods on the same or equivalent materials — is a cornerstone of scientific credibility. Yet archaeology faces unique c

reproducibility replication reliability method archaeology excavation
V_1_10 Verified Mathematics & Information

V_1_10 — Ancient Greek Mathematics

Ancient Greek mathematics (c. 600 BCE – 500 CE) transformed mathematics from a collection of empirical recipes into a deductive science built on axioms, definitions, and rigorous proof. Thales of Miletus (c. 624–546 BCE)

Greek mathematics Euclid Elements Pythagoras Archimedes Thales
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
ZD_5_05 Verified Information & Computation

ZD_5_05 — Formal Methods: Mathematical Verification and Specification of Software

Formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems — using formal (mathematical) languages to describe system behavior and mathemat

formal methods formal verification model checking theorem proving specification correctness
ZD_4_03 Verified Information & Computation

ZD_4_03 — Numerical Methods and Scientific Computation: Algorithms for the Continuous World

Numerical methods are algorithms for approximately solving mathematical problems that lack closed-form analytical solutions — which is to say, most problems in science and engineering. From weather prediction to aircraft

numerical methods numerical analysis floating point arithmetic IEEE 754 interpolation numerical integration
I_1_03 Verified UAP Disclosure

I_1_03 — Close Encounters Classification System and Case Study Methodology

The systematic classification of UFO/UAP encounters provides the methodological backbone for anomaly research. J. Allen Hynek's Close Encounter scale (1972) — ranging from CE-I (visual sighting within 150 meters) through

close encounters Hynek classification Vallée classification GEIPAN Project Blue Book CE-I
V_3_11 Verified Mathematics & Information

V_3_11 — Mathematical Optimization: Linear Programming, Convex Methods, and Gradient Descent

Mathematical optimization — finding the best solution from a set of feasible alternatives — is one of the most practically impactful branches of mathematics, with applications spanning logistics, finance, engineering, ma

mathematical optimization linear programming simplex method convex optimization gradient descent stochastic gradient descent
M_5_11 Credible Forbidden Archaeology

M_5_11 — Archaeological Anomalies Database: Cataloging the Unexplained

This document serves as a structured database and classification system for archaeological anomalies — finds that appear to challenge accepted timelines, technological capabilities, or historical frameworks. Rather than

archaeological anomalies OOPArts out-of-place artifacts anomalous finds forbidden archaeology catalog
ZG_2_06 Verified Linguistics & Communication

ZG_2_06 — Historical Linguistics and Language Family Classification

Historical linguistics is the scientific study of how languages change over time, how they are related to each other, and how they can be grouped into language families descended from common ancestors. The discipline's c

historical linguistics comparative method language family proto-language sound change Grimm's law
G_4_27 Verified Modern Frameworks

G_4_27 — Schumann Resonance and Human Physiology: Evidence Assessment

The Schumann resonance — a global electromagnetic phenomenon at ~7.83 Hz fundamental and harmonics ~14.3, 20.8, 27.3, 33.8 Hz — is real, well-measured, and physically explained by lightning-driven oscillations in the Ear

Schumann resonance ELF electromagnetic ionospheric cavity geomagnetic brain entrainment 7.83 Hz
G_3_18 Credible Modern Frameworks

G_3_18 — Hermeneutics and the Interpretation of Ancient Texts

Hermeneutics — the theory and methodology of interpretation — addresses the fundamental problem confronting all study of ancient texts: how can modern readers recover meaning from documents produced in radically differen

hermeneutics textual-interpretation schleiermacher gadamer ricoeur hermeneutic-circle
G_3_21 Verified Modern Frameworks

G_3_21 — Critical Realism: Roy Bhaskar and Stratified Ontology

Critical realism is a philosophical movement founded by Roy Bhaskar (1944–2014) that proposes a stratified ontology — reality consists of three nested domains (the Real, the Actual, and the Empirical) — and argues that s

critical realism Bhaskar stratified ontology emergence transcendental realism epistemic fallacy
G_2_06 Verified Modern Frameworks

G_2_06 — Landscape Archaeology and Spatial Analysis

Landscape archaeology — the study of how past peoples shaped, inhabited, and understood their physical environments at scales beyond the individual site — has evolved from early settlement-pattern surveys into a sophisti

landscape archaeology spatial analysis GIS geographic information systems settlement patterns site catchment
H_4_20 Verified Suppression & Thesis

H_4_20 — Cargo Cult Science Extended: Feynman, Pseudoscience Boundaries

"Cargo cult science" — a term coined by Richard Feynman in his 1974 Caltech commencement address — describes research that mimics the surface appearance of science (data collection, statistical analysis, academic publica

cargo cult science pseudoscience demarcation Feynman Shermer Pigliucci
I_1_06 Verified UAP Disclosure

I_1_06 — SETI vs UAP: Scientific Divide

The relationship between SETI (Search for Extraterrestrial Intelligence) and UAP/UFO research represents one of the most striking paradigm divides in modern science. Both fields nominally address the same question — are

SETI Search for Extraterrestrial Intelligence UAP UFO scientific stigma Drake equation