Disque compactUn disque compact, le plus souvent désigné par son sigle anglais CD – abréviation de Compact Disc – est un disque optique utilisé pour stocker des données sous forme numérique. Le Compact Disc a été développé par Sony et Philips et commercialisé à partir de décembre 1982 (mars 1983 en France). Au début des années 1990, il se démocratise, et petit à petit, finit par remplacer les supports analogiques (disque microsillon, cassette audio). vignette|Creux sur la surface d'un CD vu au microscope à balayage.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Weyl equationIn physics, particularly in quantum field theory, the Weyl equation is a relativistic wave equation for describing massless spin-1/2 particles called Weyl fermions. The equation is named after Hermann Weyl. The Weyl fermions are one of the three possible types of elementary fermions, the other two being the Dirac and the Majorana fermions. None of the elementary particles in the Standard Model are Weyl fermions. Previous to the confirmation of the neutrino oscillations, it was considered possible that the neutrino might be a Weyl fermion (it is now expected to be either a Dirac or a Majorana fermion).
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Espace localement compactEn topologie, un espace localement compact est un espace séparé qui admet des voisinages compacts pour tous ses points. Un tel espace n'est pas nécessairement compact lui-même mais on peut y généraliser (au moins partiellement) beaucoup de résultats sur les espaces compacts. Ce sont aussi les espaces qu'on peut « rendre » compacts avec un point grâce à la compactification d'Alexandrov. La compacité est une source très fertile de résultats en topologie mais elle reste une propriété très contraignante.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Spineurvignette|Le cube peut tourner continument sans que les ficelles qui le retiennent s'emmêlent. Après un mouvement de 360°, la configuration a changé. Mais au bout de 720° on revient à la position initiale. Un cube "détaché" se comporte comme un vecteur ordinaire, le cube attaché comme un spineur. Formellement, un spineur est un élément d'un espace de représentation pour le groupe spinoriel.
Oscillator representationIn mathematics, the oscillator representation is a projective unitary representation of the symplectic group, first investigated by Irving Segal, David Shale, and André Weil. A natural extension of the representation leads to a semigroup of contraction operators, introduced as the oscillator semigroup by Roger Howe in 1988. The semigroup had previously been studied by other mathematicians and physicists, most notably Felix Berezin in the 1960s. The simplest example in one dimension is given by SU(1,1).
Weyl semimetalWeyl fermions are massless chiral fermions embodying the mathematical concept of a Weyl spinor. Weyl spinors in turn play an important role in quantum field theory and the Standard Model, where they are a building block for fermions in quantum field theory. Weyl spinors are a solution to the Dirac equation derived by Hermann Weyl, called the Weyl equation. For example, one-half of a charged Dirac fermion of a definite chirality is a Weyl fermion. Weyl fermions may be realized as emergent quasiparticles in a low-energy condensed matter system.
Espace σ-compactEn mathématiques, un espace topologique est dit σ-compact (ou localement compact dénombrable à l'infini) s'il est l'union dénombrable de sous-espaces compacts. Un espace est dit σ-localement compact s'il est à la fois σ-compact et localement compact. Tout espace compact est σ-compact, et tout espace σ-compact est de Lindelöf (c'est-à-dire que tout recouvrement ouvert a un sous-recouvrement dénombrable).
Cassette audiovignette|Cassette audio de la marque TDK. La cassette audio, Compact Cassette selon sa désignation officielle, appelée encore minicassette ou musicassette est un support d'enregistrement magnétique inventé par Lou Ottens, breveté et mis sur le marché en 1963 par Philips après plusieurs années de recherche et de développement. Elle contient deux bobines autour desquelles s'enroule une bande magnétique. Elle permet d'enregistrer et d'écouter de la musique ou tout autre type de son.
