Nombre réel calculablevignette|π est calculable avec un précision arbitraire alors que presque tous les nombres réels sont non calculables. En informatique et algorithmique, un nombre réel calculable est un réel pour lequel il existe un algorithme ou une machine de Turing permettant d'énumérer la suite de ses chiffres (éventuellement infinie), ou plus généralement des symboles de son écriture sous forme de chaîne de caractères. De manière plus générale, et équivalente, un nombre réel est calculable si on peut en calculer une approximation aussi précise que l'on veut, avec une précision connue.
Dualité (mathématiques)thumb|Dual d'un cube : un octaèdre. En mathématiques, le mot dualité a de nombreuses utilisations. Une dualité est définie à l'intérieur d'une famille d'objets mathématiques, c'est-à-dire qu'à tout objet de on associe un autre objet de . On dit que est le dual de et que est le primal de . Si (par = on peut sous-entendre des relations d'isomorphies complexes), on dit que est autodual. Dans de nombreux cas de dualité, le dual du dual est le primal. Ainsi, par exemple, le concept de complémentaire d'un ensemble pourrait être vu comme le premier des concepts de dualité.
Cosmologie non standardUne cosmologie non standard est un modèle cosmologique physique de l'Univers qui a été, ou est toujours, proposé comme alternative au modèle standard de la cosmologie actuellement en vigueur. Le terme non standard s’applique à toute théorie non conforme au consensus scientifique. Comme le terme dépend du consensus en vigueur, sa signification change avec le temps. Par exemple, la matière noire tiède n'aurait pas été considérée comme non standard en 1990, mais l'est en 2010.
Théorie de la calculabilitéLa théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique. La calculabilité (parfois appelée « computationnalité », de l'anglais computability) cherche d'une part à identifier la classe des fonctions qui peuvent être calculées à l'aide d'un algorithme et d'autre part à appliquer ces concepts à des questions fondamentales des mathématiques. Une bonne appréhension de ce qui est calculable et de ce qui ne l'est pas permet de voir les limites des problèmes que peuvent résoudre les ordinateurs.
Split supersymmetryIn particle physics, split supersymmetry is a proposal for physics beyond the Standard Model. It was proposed separately in three papers. The first by James Wells in June 2003 in a more modest form that mildly relaxed the assumption about naturalness in the Higgs potential. In May 2004 Nima Arkani-Hamed and Savas Dimopoulos argued that naturalness in the Higgs sector may not be an accurate guide to propose new physics beyond the Standard Model and argued that supersymmetry may be realized in a different fashion that preserved gauge coupling unification and has a dark matter candidate.
Vide quantiqueEn physique, le vide quantique décrit l'état du vide selon les principes de la mécanique quantique. Alors que l'on croyait l'univers rempli d'éther, la physique du a abandonné cette notion pour un espace littéralement vide de matière. Les principes quantiques montrent que ce vide est en réalité rempli d'énergie qui engendre de nombreux effets : on parle alors d'énergie du vide. Dans la théorie de l'électrodynamique quantique, les particules élémentaires échangent des photons virtuels pour interagir.
ThéorieUne théorie (du grec theoria, « contempler, observer, examiner ») est un ensemble cohérent, si elle prétend à la scientificité, d'explications, de notions ou d'idées sur un sujet précis, pouvant inclure des lois et des hypothèses, induites par l'accumulation de faits provenant de l'observation, l'expérimentation ou, dans le cas des mathématiques, déduites d'une base axiomatique donnée : théorie des matrices, des torseurs, des probabilités.
Holomorphic vector bundleIn mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold X such that the total space E is a complex manifold and the projection map π : E → X is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle. By Serre's GAGA, the category of holomorphic vector bundles on a smooth complex projective variety X (viewed as a complex manifold) is equivalent to the category of algebraic vector bundles (i.
Faux videDans la théorie quantique des champs, le faux vide est un secteur d'espace métastable qui semble être un vide par analyse perturbative mais qui est instable sous les effets instanton (effet tunnel vers un potentiel plus bas). En physique théorique du faux vide, un système métastable transite vers un vide de plus basse énergie par un processus connu sous le nom de nucléation de bulle. Dans une approche semi-classique, la transition est modélisée par l'apparition d'une bulle dans laquelle les champs ont la valeur d'attente du vide et qui est due aux effets des instantons.
Vide (physique)En physique, le vide est l'absence de toute matière. Le vide absolu est donc un milieu statistiquement sans particules élémentaires. Un espace dans lequel les molécules sont fortement raréfiées peut donc être retenu comme une première définition du vide approximatif. Ainsi, il suffit d’utiliser une pompe à vide pour extraire l’air d'une enceinte étanche pour y . La qualité du vide est alors définie par la pression d'air résiduelle, généralement exprimée en pascal, en millibar ou en torr.
