Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Proofs and RefutationsProofs and Refutations: The Logic of Mathematical Discovery is a 1976 book by philosopher Imre Lakatos expounding his view of the progress of mathematics. The book is written as a series of Socratic dialogues involving a group of students who debate the proof of the Euler characteristic defined for the polyhedron. A central theme is that definitions are not carved in stone, but often have to be patched up in the light of later insights, in particular failed proofs. This gives mathematics a somewhat experimental flavour.
Espace vectorielvignette|Dans un espace vectoriel, on peut additionner deux vecteurs. Par exemple, la somme du vecteur v (en bleu) et w (en rouge) est v + w. On peut aussi multiplier un vecteur, comme le vecteur w que l'on peut multiplier par 2, on obtient alors 2w et la somme devient v + 2w. En mathématiques, plus précisément en algèbre linéaire, un espace vectoriel est un ensemble d'objets, appelés vecteurs, que l'on peut additionner entre eux, et que l'on peut multiplier par un scalaire (pour les étirer ou les rétrécir, les tourner, etc.
Norme (mathématiques)En géométrie, la norme est une extension de la valeur absolue des nombres aux vecteurs. Elle permet de mesurer la longueur commune à toutes les représentations d'un vecteur dans un espace affine, mais définit aussi une distance entre deux vecteurs invariante par translation et compatible avec la multiplication externe. La norme usuelle dans le plan ou l'espace est dite euclidienne car elle est associée à un produit scalaire, à la base de la géométrie euclidienne.
Semi-continuitéEn analyse mathématique, la semi-continuité est une propriété des fonctions définies sur un espace topologique et à valeurs dans la droite réelle achevée = R ∪ {–∞, +∞} ; il s'agit d'une forme faible de la continuité. Intuitivement, une telle fonction f est dite semi-continue supérieurement en x si, lorsque x est proche de x, f(x) est soit proche de f(x), soit inférieur à f(x). Pour définir semi-continue inférieurement, on remplace « inférieur à » par « supérieur à » dans la définition précédente.
Quaternionvignette|Plaque commémorative de la naissance des quaternions sur le pont de Broom (Dublin). En mathématiques, un quaternion est un nombre dans un sens généralisé. Les quaternions englobent les nombres réels et complexes dans un système de nombres plus vastes où la multiplication n'est cette fois-ci plus une loi commutative. Les quaternions furent introduits par le mathématicien irlandais William Rowan Hamilton en 1843. Ils trouvent aujourd'hui des applications en mathématiques, en physique, en informatique et en sciences de l'ingénieur.
Fonction signeLa fonction signe, ou signum en latin, souvent représentée sgn dans les expressions, est une fonction mathématique qui extrait le signe d'un nombre réel, c'est-à-dire que l' d'un nombre par cette application est 1 si le nombre est strictement positif, 0 si le nombre est nul, et -1 si le nombre est strictement négatif : La fonction signe peut également s’écrire : On peut aussi la construire en résultat d'une limite, notamment en jouant avec les propriétés de certaines fonctions hyperboliques.
Lemme (mathématiques)Un lemme, en mathématiques et en logique mathématique, est un résultat intermédiaire sur lequel on s'appuie pour conduire la démonstration d'un théorème plus important. Dans l'Antiquité grecque, lemme (en λῆμμα) était un terme de logique : il désignait la majeure du syllogisme, c'est-à-dire la première assertion. Dans la dialectique grecque, le lemme, le prolemme et l'épiphore sont les trois parties de l'argument.
Norme socialevignette|Se serrer la main entre adversaires sportifs, ici pour un match de tennis, est un exemple de norme sociale. Une norme sociale réfère à une façon de faire ou d'agir, une règle de conduite tacite ou écrite, qui a prévalence dans une société ou un groupe social donné. Elle est légitimée par des habitudes, des valeurs, des croyances partagées au sein d'un collectif donné, ainsi que par le contrôle social exercé.
