Big BangLe Big Bang (« Grand Boum ») est un modèle cosmologique utilisé par les scientifiques pour décrire l'origine et l'évolution de l'Univers. De façon générale, le terme « Big Bang » est associé à toutes les théories qui décrivent notre Univers comme issu d'une dilatation rapide. Par extension, il est également associé à cette époque dense et chaude qu’a connue l’Univers il y a d’années, sans que cela préjuge de l’existence d’un « instant initial » ou d’un commencement à son histoire.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Expansion de l'Universdroite|redresse=1.2|vignette|L'expansion de l'Univers imagée par le gonflement d'un gâteau aux raisins. En cosmologie, l'expansion de l'Univers est le nom du phénomène qui voit à grande échelle les objets composant l'Univers (galaxies, amas...) s'éloigner les uns des autres. Cet écartement mutuel, que l'on pourrait prendre pour un mouvement des galaxies dans l'espace, s'interprète en réalité par un gonflement, une dilatation, de l'espace lui-même, les objets célestes étant de ce fait amenés à s'éloigner les uns des autres.
Âge de l'UniversL’âge de l'Univers représente la durée écoulée depuis le Big Bang, c'est-à-dire la phase dense et chaude de l'histoire de l'univers. Ce terme ne préjuge pas que l'univers soit d'un âge fini, son état antérieur au Big Bang (s'il existe) étant au impossible à théoriser car la physique moderne n'a pas de modèle pour décrire le comportement de la matière à si haute température et dans une gravité aussi intense qu'au moment du Big Bang. L'âge de l'Univers peut s'évaluer par plusieurs méthodes plus ou moins directes, qui convergent vers une valeur de l'ordre de d'années.
Fluide sombrevignette|upright=1.5|Image composite montrant l'amas de la Balle. Cette image montre en arrière-plan des images de galaxies prises par les télescopes Hubble et Magellan. Le revêtement en rose montre les émissions de rayons X (enregistrées par le télescope spatial Chandra) de la collision des deux amas, alors que les émissions en bleu représentent la distribution de la masse de ces amas, calculée à partir d'effets de lentille gravitationnelle.
Rayonnement ionisantvignette|Pouvoir de pénétration (exposition externe).Le rayonnement alpha (constitué de noyaux d'hélium) est arrêté par une simple feuille de papier.Le rayonnement bêta (constitué d'électrons ou de positons) est arrêté par une plaque d'aluminium.Le rayonnement gamma, constitué de photons très énergétiques, est atténué (et non arrêté) quand il pénètre de la matière dense, ce qui le rend particulièrement dangereux pour les organismes vivants.Il existe d'autres types de rayonnements ionisants.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Modèle ΛCDMEn cosmologie, le (se prononce « Lambda CDM », qui signifie en anglais Lambda - Cold Dark Matter, c'est-à-dire le modèle « lambda - matière noire froide ») ou modèle de concordance est un modèle cosmologique du Big Bang paramétré par une constante cosmologique notée par la lettre grecque Λ et associée à l'énergie sombre.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
État plasmathumb|upright|Le soleil est une boule de plasma. thumb|Lampe à plasma.|168x168px thumb|upright|Les flammes de haute température sont des plasmas. L'état plasma est un état de la matière, tout comme l'état solide, l'état liquide ou l'état gazeux, bien qu'il n'y ait pas de transition brusque pour passer d'un de ces états au plasma ou réciproquement. Il est visible sur Terre, à l'état naturel, le plus souvent à des températures élevées favorables aux ionisations, signifiant l’arrachement d'électrons aux atomes.
