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.
Champ magnétiqueEn physique, dans le domaine de l'électromagnétisme, le champ magnétique est une grandeur ayant le caractère d'un champ vectoriel, c'est-à-dire caractérisée par la donnée d'une norme, d’une direction et d’un sens, définie en tout point de l'espace et permettant de modéliser et quantifier les effets magnétiques du courant électrique ou des matériaux magnétiques comme les aimants permanents.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Étoile fixeL'étoile fixe est une notion aujourd'hui dépassée, mais qui participe à l'histoire de l'astronomie. Durant l'Antiquité et le Moyen Âge, cette notion servait à désigner les astres qui semblaient fixés à la voûte céleste, par opposition aux étoiles errantes. On désignait par étoile fixe (en latin stella fixa) les astres qui semblaient fixés à la voûte céleste. Il s’agit donc des étoiles au sens moderne à l'exception du Soleil. Les étoiles fixes s’opposaient aux étoiles errantes, ou astres errants, lesquels avaient un mouvement relatif apparent par rapport aux étoiles fixes.
Galaxie activeEn astronomie, une galaxie active est une galaxie abritant un noyau actif (plus précisément noyau actif de galaxie, abrégé NAG, ou , abrégé AGN). Ce noyau est une région compacte au centre de la galaxie, dont la luminosité est beaucoup plus intense que la normale dans au moins un domaine du spectre électromagnétique (ondes radio, infrarouge, lumière visible, ultraviolet, rayons X ou rayons gamma), et qui présente des caractéristiques montrant que cette forte luminosité n'est pas d'origine stellaire.
Champ magnétique terrestreLe champ magnétique terrestre, aussi appelé bouclier terrestre, est un champ magnétique présent dans un vaste espace autour de la Terre (de manière non uniforme du fait de son interaction avec le vent solaire) ainsi que dans la croûte et le manteau. Il a son origine dans le noyau externe, par un mécanisme de dynamo auto-excitée. Dynamo terrestre Selon les études de John Tarduno de l'université de Rochester (États-Unis), la Terre possédait déjà un champ magnétique il y a 3,45 milliards d'années.
BételgeuseBételgeuse (α Orionis) est une étoile variable semi-régulière de type supergéante rouge, dans la constellation d’Orion, située à une distance très difficile à établir. En 2008, un article propose la distance de , mais elle fut définie à 427 années-lumière pendant les décennies précédentes. En 2013, le télescope spatial Herschel estime que Bételgeuse pourrait approcher la distance de 500 années-lumière. Bien qu'étant désignée par la lettre « alpha » dans la désignation de Bayer, elle n'est souvent que la deuxième étoile la plus brillante de la constellation d'Orion, derrière Rigel.
Champ magnétique stellairevignette|Le champ magnétique du Soleil est le moteur de cette éjection massive de plasma. Le champ magnétique stellaire est un champ magnétique généré par le mouvement du plasma à l'intérieur d'une étoile. Le champ magnétique stellaire peut également désigner le champ magnétique entourant un objet compact. Le champ magnétique stellaire engendre la magnétosphère des étoiles. Il est lié à plusieurs phénomènes énergétiques de ces dernières tels la production d'une couronne, d'un vent ou d'éruptions.
FuturLe futur, ou l’avenir, est pour un système, l’ensemble des configurations possibles qui n'existent pas (c-à-d. qui n'ont pas encore eu lieu). Dans la ligne du temps, le futur vient après le présent et le passé. Les membres de l'espèce humaine, à partir d'un certain âge, se distinguent par des capacités élevées cognitives, de conceptualisation et d'imagination qui leur permettent d'envisager le futur proche et de s'y projeter, mais aussi d'imaginer des futurs possibles plus lointains où vivront ce qu'on appelle maintenant les générations futures.
Champ électromagnétiqueUn champ électromagnétique ou Champ EM (en anglais, electromagnetic field ou EMF) est la représentation dans l'espace de la force électromagnétique qu'exercent des particules chargées. Concept important de l'électromagnétisme, ce champ représente l'ensemble des composantes de la force électromagnétique s'appliquant sur une particule chargée se déplaçant dans un référentiel galiléen. Une particule de charge q et de vecteur vitesse subit une force qui s'exprime par : où est le champ électrique et est le champ magnétique.
