Equation 2 · Comparing the Main Approaches to Mathematics, Proof, and Scientific Computation
What does this equation mean?
Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.
This mathematical expression combines the displayed quantities; its precise role follows from the surrounding article text. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.
Read it piece by piece
Symbol f
f is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Symbol x
x is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
How to interpret it
Read this expression with the definitions, units, and assumptions supplied by the article.
What the article says around this equation
This decomposition is worth writing out because it names what a reported simulation number actually is: not the true answer f(x) , but a sum of the true answer with a discretization error that shrinks with step size h , a rounding error governed by machine precision u , and — the term simulations share with no other approach on this list — an irreducible modeling error from every simplifying assumption baked into the equations themselves before any computer touches them. A formal proof and a peer-reviewed argument both aim at f(x) exactly; a simulation reports and, if it is honest, reports an estimate of how large the three error terms might be.
Sources cited in the article section
- [8] Overview of the Coupled Model Intercomparison Project Phase 6 (CMIP6) experimental design and organization ↗
- [6] A Rigorous ODE Solver and Smale's 14th Problem ↗
- [7] What Every Computer Scientist Should Know About Floating-Point Arithmetic ↗
These citations give research context. Read each source to check which claims it supports.
Return to Comparing the Main Approaches to Mathematics, Proof, and Scientific Computation