ContradictionEn logique des propositions, une contradiction ou antilogie est une formule qui est toujours fausse, quelle que soit la valeur des variables propositionnelles. On dit aussi que la formule est insatisfaisable, antilogique ou encore contradictoire. L’antilogie, de symbole , s’oppose à la tautologie qui est toujours vraie. La contradiction est une relation existant entre deux ou plusieurs termes ou deux ou plusieurs propositions dont l’un(e) affirme ce que l’autre nie : « A » et « non-A » sont contradictoires, les phrases « Tous les hommes sont barbus » et « Quelques hommes ne sont pas barbus » sont contradictoires.
DialethéismeLe dialethéisme est le point de vue selon lequel certaines propositions peuvent être à la fois vraies et fausses. Plus précisément, c'est la croyance qu'il peut y avoir une proposition vraie dont la négation est également vraie. Ces propositions sont appelées les « contradictions vraies », « dialethéia » ou non-dualismes. Le dialethéisme n'est pas un système formel ; il est, à la place, une thèse sur la vérité qui influe sur la construction d'une logique formelle, souvent basée sur des systèmes de préexistants.
Trivialismealt=Le trivialisme en logique symbolique; Lire « pour toute proposition p, p est une proposition vraie. »|vignette|Le trivialisme en logique symbolique; Lire « pour toute proposition p, p est une proposition vraie. » Le trivialisme est la théorie logique selon laquelle toutes les propositions sont vraies, et toutes les contradictions de la forme « p et non p » (par exemple la boule est rouge et non rouge) sont vraies. En conséquence, un trivialiste est une personne qui estime que tout est vrai.
Groupe diédralEn mathématiques, le groupe diédral d'ordre 2n, pour un nombre naturel non nul n, est un groupe qui s'interprète notamment comme le groupe des isométries du plan conservant un polygone régulier à n côtés. Le groupe est constitué de n éléments correspondant aux rotations et n autres correspondant aux réflexions. Il est noté Dn par certains auteurs et D par d'autres. On utilisera ici la notation D. Le groupe D est le groupe cyclique d'ordre 2, noté C ; le groupe D est le groupe de Klein à quatre éléments.
Théorème de fluctuation-dissipationEn théorie de la réponse linéaire, il existe une relation entre la fonction de réponse et la fonction de corrélation . Celle-ci a été établie par Herbert Callen et Theodore Welton en 1951, et pour cette raison le théorème de fluctuation-dissipation est aussi appelé théorème de Callen-Welton. Selon ce théorème, Le nom de théorème de fluctuation-dissipation vient de ce que la partie imaginaire de la fonction de réponse mesure la dissipation, alors que la fonction de corrélation mesure l'intensité des fluctuations.
Groupe dicycliqueEn algèbre et plus précisément en théorie des groupes, le groupe dicyclique (pour tout entier n ≥ 2) est défini par la présentation Les groupes () sont les groupes quaternioniques (les groupes dicycliques nilpotents). En particulier, est le groupe des quaternions. est un groupe non abélien d'ordre 4n, extension par le sous-groupe cyclique engendré par (normal et d'ordre 2n) d'un groupe d'ordre 2. Il est donc résoluble. Contrairement au groupe diédral D, cette extension n'est pas un produit semi-direct.
Mouvement brownienvignette|Simulation de mouvement brownien pour cinq particules (jaunes) qui entrent en collision avec un lot de 800 particules. Les cinq chemins bleus représentent leur trajet aléatoire dans le fluide. Le mouvement brownien, ou processus de Wiener, est une description mathématique du mouvement aléatoire d'une « grosse » particule immergée dans un liquide et qui n'est soumise à aucune autre interaction que des chocs avec les « petites » molécules du fluide environnant.
