Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
TraînéeEn mécanique des fluides, la traînée ou trainée est la force qui s'oppose au mouvement d'un corps dans un liquide ou un gaz et agit comme un frottement. Mathématiquement, c'est la composante des efforts exercés sur le corps, dans le sens opposé à la vélocité relative du corps par rapport au fluide. En aérodynamique, c'est, avec la portance, l'une des deux grandeurs fondamentales. Le rapport entre portance et traînée s'appelle la finesse.
Coefficient de traînéeEn dynamique des fluides, le coefficient de traînée, dont le symbole normalisé est Cx, CA ou CD ( en anglais, en allemand) fait partie de la famille des coefficients aérodynamiques. C'est un nombre sans dimension qui est utilisé pour quantifier la traînée ou résistance d'un objet dans un fluide (comme, par exemple, l'air ou l'eau). Il est toujours associé à une surface particulière (selon le contexte, appelée maître-couple, surface alaire ou plus généralement surface de référence).
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Sumi-evignette|Paysage, Sesshū, 1481 (musée national de Tokyo). vignette|Paysage des quatre saisons (paravent 2), Shūbun, , collection Maeda. Le ou est un mouvement de la peinture japonaise originaire de Chine et dominant à l’époque de Muromachi. Ce courant se caractérise par l’usage du lavis à l’encre noire, la prédominance du paysage comme sujet et la proximité avec la philosophie du bouddhisme zen.
Traînée induiteLa traînée induite, souvent notée Ri, est une force de résistance à l'avancement induite par la portance et qui dépend de certaines caractéristiques de l'aile, notamment de son allongement et de la distribution de la portance en envergure. Elle se distingue des traînées dites « parasites » : de frottement, de séparation, et d'onde. L'allongement effectif utilisé pour le calcul peut être supérieur à l'allongement géométrique (cloison en bout d'aile, ailette marginale ou winglet).
Peinture (art)vignette|L'Art de la peinture (vers 1666) par Vermeer. La peinture est une forme artistique dont les diverses techniques consistent à appliquer manuellement ou mécaniquement, sur une surface, des couleurs sous forme de pigments mélangés à un liant ou un diluant. Les artistes peintres s'expriment sur des supports tels que la toile, le papier, le bois, etc. Ouvrage de représentation ou d'invention, la peinture peut être naturaliste et figurative, ou abstraite. Elle peut avoir un contenu narratif, descriptif, symbolique, spirituel, ou philosophique.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Art chinoisvignette|Ai Weiwei, Bol de perles, 2006. Détail de l'installation, bols de porcelaine de Jingdezhen et perles d'eau douce, dites « perles de Chine », chaque pièce. Exposition So Sorry, Munich 2010 vignette|Zhu Da, Lotus et canards, vers 1696, rouleau vertical, encre sur papier, , Freer Gallery of Art. Washington L’art chinois, recouvre l'ensemble des arts de culture chinoise dans le monde chinois et la diaspora. La conception occidentale de l'art est utilisée en Chine à l'époque moderne, dans son sens le plus large, pour aborder toutes les formes d'art pratiquées en Chine tout au long de son histoire.
