Restauration (métallurgie)En métallurgie, la restauration est le nom d'un traitement thermique (ou d'une phase d'un traitement thermique) ou recuit durant lequel on observe une diminution de la densité des dislocations. Les dislocations sont en général introduites par déformation plastique (multiplication des dislocations par le mécanisme de Frank et Read). Ces dislocations se gênent mutuellement et donc augmentent la dureté (phénomène d'écrouissage).
Écrouissagedroite|vignette|Laminage : l'amincissement provoque un durcissement du métal. Lécrouissage d'un métal est le durcissement d'un métal ductile sous l'effet de sa déformation plastique (déformation permanente). Ce mécanisme de durcissement explique en grande partie les différences de tenues et résistance entre les pièces métalliques obtenues par corroyage (c'est-à-dire par déformation plastique : laminage, tréfilage, forgeage) et les pièces de fonderie (simplement coulées dans un moule).
Équation de Fermat généraliséeEn arithmétique, l'équation de Fermat généralisée est l'équationoù sont des entiers non nuls, sont des entiers non nuls premiers entre eux et sont entiers. Comme son nom le laisse transparaître, cette équation généralise l'équation dont le fameux dernier théorème de Fermat établit l'impossibilité quand . À l'instar de celui-ci avant sa résolution, son principal intérêt réside aujourd'hui dans la stimulation du développement des nouveaux outils mathématiques nécessaires à son appréhension.
Conjecture de CramérEn mathématiques, la conjecture de Cramér, formulée par le mathématicien suédois Harald Cramér en 1936, pronostique l'asymptotique suivante pour l'écart entre nombres premiers : où gn est le n-ième écart, pn est le n-ième nombre premier et désigne le symbole de Bachmann-Landau ; cette conjecture n'est pas démontrée à ce jour. Cramér avait auparavant, en 1920, démontré un énoncé plus faible : sous l'hypothèse de Riemann (qui elle-même n'est pas démontrée non plus).
Dernier théorème de FermatEn mathématiques, et plus précisément en théorie des nombres, le dernier théorème de Fermat, ou grand théorème de Fermat, ou depuis sa démonstration théorème de Fermat-Wiles, s'énonce comme suit : Énoncé par Pierre de Fermat d'une manière similaire dans une note marginale de son exemplaire d'un livre de Diophante, il a cependant attendu plus de trois siècles une preuve publiée et validée, établie par le mathématicien britannique Andrew Wiles en 1994.
Contre-exempleEn logique, en rhétorique et en mathématiques, un contre-exemple est un exemple, un cas particulier ou un résultat général, qui contredit les premières impressions. Un contre-exemple peut aussi être donné pour rejeter une conjecture, c'est-à-dire un énoncé que les gens (et en particulier les mathématiciens) pensaient vrai. Exemple: Toute notre vie on voit des cygnes blancs. On fait donc l'inférence que tous les cygnes sont blancs, jusqu'à ce qu'un événement change notre perception du réel.
