Sentence (mathematical logic)In mathematical logic, a sentence (or closed formula) of a predicate logic is a Boolean-valued well-formed formula with no free variables. A sentence can be viewed as expressing a proposition, something that must be true or false. The restriction of having no free variables is needed to make sure that sentences can have concrete, fixed truth values: as the free variables of a (general) formula can range over several values, the truth value of such a formula may vary.
Formule d'EulerLa formule d'Euler est une égalité mathématique, attribuée au mathématicien suisse Leonhard Euler. Elle s'écrit, pour tout nombre réel x, et se généralise aux x complexes. Ici, le nombre e est la base des logarithmes naturels, i est l'unité imaginaire, sin et cos sont des fonctions trigonométriques. Cette formule peut être interprétée en disant que la fonction x ↦ e, appelée fonction cis, décrit le cercle unité dans le plan complexe lorsque x varie dans l'ensemble des nombres réels.
All models are wrongAll models are wrong is a common aphorism and anapodoton in statistics; it is often expanded as "All models are wrong, but some are useful". The aphorism acknowledges that statistical models always fall short of the complexities of reality but can still be useful nonetheless. The aphorism originally referred just to statistical models, but it is now sometimes used for scientific models in general. The aphorism is generally attributed to the statistician George Box. The underlying concept, though, predates Box's writings.
