Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
Notation musicaleLa notation musicale est la transcription sur un support d'une œuvre musicale afin de la conserver, de la diffuser et de l'interpréter ultérieurement. D'une manière générale, quelles que soient les époques et les civilisations, on peut définir l'écriture musicale comme étant un procédé de notation qui met en relation un système et un code. Le code d'un système musical décrit celui-ci en lui associant un certain nombre de symboles plus ou moins contraignants pouvant définir la durée, la hauteur ou les nuances d'un son.
Gamme musicalethumb|Gamme de do majeur |alt=Portée de musique montrant la clé de sol et la gamme de do majeur, composée des notes do ré mi fa sol la si do. En musique, une gamme (appelée aussi parfois « échelle ») est un ensemble de sons, appelés degrés, formant le cadre dans lequel se bâtit une œuvre musicale. Une échelle musicale est caractérisée par les intervalles conjoints qui la composent — c'est-à-dire, les intervalles entre degrés voisins —, et ce, indépendamment de toute idée de tonalité et de tonique.
Pitch classIn music, a pitch class (p.c. or pc) is a set of all pitches that are a whole number of octaves apart; for example, the pitch class C consists of the Cs in all octaves. "The pitch class C stands for all possible Cs, in whatever octave position." Important to musical set theory, a pitch class is "all pitches related to each other by octave, enharmonic equivalence, or both." Thus, using scientific pitch notation, the pitch class "C" is the set {Cn : n is an integer} = {..., C−2, C−1, C0, C1, C2, C3 ...}.
Système axiomatiqueEn mathématiques, un système axiomatique est un ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes. Une théorie consiste en un système axiomatique et tous ses théorèmes dérivés. Un système axiomatique complet est un type particulier de système formel. Une théorie formelle signifie généralement un système axiomatique, par exemple formulé dans la théorie des modèles. Une démonstration formelle est une interprétation complète d'une démonstration mathématique dans un système formel.
Hauteur (musique)En musique, la hauteur est l'une des caractéristiques essentielles d'un son ou note, les autres étant la durée, l'intensité, le timbre et l'expression. En musique occidentale, on désigne la hauteur par le nom d'une note sur une échelle ou gamme. La hauteur relative d'une note dans la gamme s'appelle degré. Le solfège écrit vers le haut de la portée les notes aiguës, et inversement, vers le bas, les graves.
Music and mathematicsMusic theory analyzes the pitch, timing, and structure of music. It uses mathematics to study elements of music such as tempo, chord progression, form, and meter. The attempt to structure and communicate new ways of composing and hearing music has led to musical applications of set theory, abstract algebra and number theory. While music theory has no axiomatic foundation in modern mathematics, the basis of musical sound can be described mathematically (using acoustics) and exhibits "a remarkable array of number properties".
Musical compositionMusical composition can refer to an original piece or work of music, either vocal or instrumental, the structure of a musical piece or to the process of creating or writing a new piece of music. People who create new compositions are called composers. Composers of primarily songs are usually called songwriters; with songs, the person who writes lyrics for a song is the lyricist. In many cultures, including Western classical music, the act of composing typically includes the creation of music notation, such as a sheet music "score," which is then performed by the composer or by other musicians.
Théorèmes d'incomplétude de GödelLes théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de 20 ans auparavant par le programme de Hilbert.
Improvisation musicalevignette|Session d'improvisation dans un magasin, aux États-Unis. En musique, l'improvisation est le processus par lequel le musicien improvisateur crée ou produit une œuvre musicale spontanée, imaginaire ou ex nihilo, en se servant de sa créativité dans l'instant, de son savoir technique et théorique et parfois aussi du hasard. L'improvisation est souvent associée à des notions telles que la spontanéité, le hasard, l'inspiration. Cependant, l'improvisation n'est pas complètement libre, ni dépourvue de règles.