Formal Sciences Mathematics Updated 2026-05-28

Statistics

The science of learning from data — inference, estimation, hypothesis testing, and modeling under uncertainty, powering evidence-based reasoning across all empirical domains.

Mature 6/6 lenses 100 Schema ✓ Formal Causal Procedural Simulable Measurable
What is its essence? What are the irreducible elements and ideal forms?
latent, essential, uniform — knowledge is the recovery of ideal forms
First Principles · Pythagoras · Plato · Aristotle
What are the axioms and definitions? What can be proven from them?
certain and deducible — knowledge is what follows necessarily from axioms
Formal / Axiomatic · Euclid · the logicians
What can be measured? What causes what? What is the evidence?
sampled from a limitless nature by measurement and cause/effect
Empirical · Bacon · Galileo · the early chemists
What is the procedure? Inputs → steps → outputs?
effective and constructible — knowledge is an executable procedure
Computational · al-Khwarizmi · Turing
What are the stocks, flows, feedback loops, and equilibria?
dynamic — knowledge is flows, feedback, and equilibrium
Cybernetic · Wiener · Bertalanffy · Forrester
How do we control it, optimize it, trade off, and make it robust?
controllable — knowledge is the ability to optimize for a goal under constraints
Control / Design · the optimizers & designers

Data, Uncertainty, and Inference

Statistics is the discipline of learning from data in the presence of uncertainty.

The irreducible elements are data (finite observations), random variables and distributions (the unknown generative process), parameters (quantities of interest), and estimators / test statistics (procedures that turn data into knowledge).

Higher-order forms include the likelihood function, sampling distributions, priors and posteriors, and models that encode assumptions. Cross-links to probability (distributions), information theory (entropy, sufficiency), and machine learning (empirical risk, generalization) are fundamental.

Axioms of Inference

Frequentist and Bayesian frameworks rest on different primitives but share the goal of calibrated uncertainty.

The central limit theorem, likelihood principle, and decision-theoretic loss functions provide the deductive machinery for turning finite data into statements with known long-run or subjective properties.

What We Can Measure and Control

P-values, confidence/credible intervals, power, bias, and variance are the primary observables.

Sampling design, model choice, and prior strength have direct causal effects on the quality of our inferences.

The Core Procedures

Maximum likelihood, bootstrap, MCMC, and hypothesis testing are the production algorithms that turn raw data into point estimates, intervals, and decisions.

Each has well-defined steps, correctness guarantees (under assumptions), and computational characteristics.

Learning as a Feedback Process

A statistical analysis is a dynamical system: data flows into estimators; uncertainty is a stock that more data, better models, and informative priors reduce via balancing loops.

The bias-variance trade-off and the learning curve are emergent properties of these flows.

Reliable Inference under Real Constraints

The engineering problem is to design studies and analyses that deliver trustworthy, actionable conclusions despite limited resources, messy data, model uncertainty, and high-stakes decisions.

The substrate here makes the essential objects, causal links, and trade-offs explicit for the knowledge graph and construction workbench.

Connections

Statistics is the common language of empirical science. It supplies the inference engine for machine learning, the uncertainty quantification for physics and biology, the experimental design for social science, and the decision theory for engineering and policy. Its primitives (random variables, likelihood, sampling distributions) and procedures (estimation, testing, resampling) appear throughout the atlas.

This note provides a dense, highly connected hub for the entire empirical and data-intensive cluster.

Back to Mathematics Narsil · A Living Encyclopedia