Instrument à cordesUn instrument à cordes est un instrument de musique dans lequel le son est produit par la vibration d'une ou plusieurs cordes. L'organologie les classe dans la catégorie des cordophones. L'histoire des instruments à cordes est vieille de plusieurs milliers d'années. Les premiers n'avaient probablement qu'une seule corde, comme l'arc musical. Dès l'Égypte ancienne, on connaissait les joueurs de harpe. Au Moyen Âge, les ménestriers s'accompagnaient au luth, etc. La vibration de la corde seule est peu audible.
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).
Corde (physique)En physique théorique, les cordes sont les objets principaux étudiés dans la théorie des cordes. Une corde est un objet unidimensionnel. Avec la théorie des cordes, les composantes de la matière les plus fondamentales de notre univers ne sont plus des particules, mais de minuscules cordes vibrantes d'une taille théorique de 10-35 m. Se propageant dans l'espace-temps, la surface bidimensionnelle engendrée par son déplacement, appelée feuillet d'univers ou surface d'univers, peut être comparée à la ligne d'univers engendrée par une particule ponctuelle.
Implication stricteIn logic, a strict conditional (symbol: , or ⥽) is a conditional governed by a modal operator, that is, a logical connective of modal logic. It is logically equivalent to the material conditional of classical logic, combined with the necessity operator from modal logic. For any two propositions p and q, the formula p → q says that p materially implies q while says that p strictly implies q. Strict conditionals are the result of Clarence Irving Lewis's attempt to find a conditional for logic that can adequately express indicative conditionals in natural language.
É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.
String operationsIn computer science, in the area of formal language theory, frequent use is made of a variety of string functions; however, the notation used is different from that used for computer programming, and some commonly used functions in the theoretical realm are rarely used when programming. This article defines some of these basic terms. A string is a finite sequence of characters. The empty string is denoted by . The concatenation of two string and is denoted by , or shorter by . Concatenating with the empty string makes no difference: .
Relevance logicRelevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substructural or modal logics. It is generally, but not universally, called relevant logic by British and, especially, Australian logicians, and relevance logic by American logicians. Relevance logic aims to capture aspects of implication that are ignored by the "material implication" operator in classical truth-functional logic, namely the notion of relevance between antecedent and conditional of a true implication.
Onde sur une corde vibranteLa corde vibrante est le modèle physique permettant de représenter les mouvements d'oscillation d'un fil tendu. On supposera ici qu'il est tenu par ses deux extrémités, ce qui n'est pas toujours le cas (dans les pendules ou les fils à plomb, par exemple, l'extrémité du bas est libre). Étant tenue par ses deux extrémités, les vibrations se réfléchissent à chaque extrémité, il y a donc un phénomène d'onde stationnaire.
John Horton ConwayJohn Horton Conway, né le à Liverpool et mort le à New Brunswick (New Jersey), est un mathématicien britannique. Il s'est intéressé aux théories des groupes finis, des nœuds, des nombres, des jeux et du codage. Né en 1937 en Angleterre, John Horton Conway s'intéresse très tôt aux mathématiques et décide de devenir mathématicien dès l'âge de 11 ans. Il étudie les mathématiques à Cambridge, au Gonville and Caius College, et obtient son Bachelor of Arts en 1959.
