Micro-trou noirLes micro-trous noirs sont de minuscules trous noirs hypothétiques, également appelés trous noirs quantiques ou mini-trous noirs, pour lesquels les effets liés à la mécanique quantique jouent un rôle important. Il est possible que de tels trous noirs quantiques aient été créés dans l'environnement très dense de l'univers primordial, ou au cours de transitions de phases ultérieures : on parle dans ce cas de trous noirs primordiaux. Ils pourraient être détectés prochainement par les astrophysiciens, grâce aux particules qu'ils devraient émettre par rayonnement de Hawking.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
IdentifiantUn identifiant est une sorte de nom qui sert à identifier un objet précis dans un ensemble d'objets ; ou plus largement toute suite de caractères qui joue ce rôle-là. En principe, un identifiant devrait être unique pour chaque objet. En pratique (comme pour les noms de personnes ou de lieux) ce n'est pas toujours le cas, sauf s'il s'agit d'un ensemble d'identifiants défini par une norme technique. Un identifiant de métadonnée est un signe, une étiquette ou un jeton indépendant du langage, qui identifie de manière unique un objet au sein d'un schéma d'identification.
ObservationL’observation est un des régimes de la preuve scientifique : c'est une expérience d'accumulation et de recueil d'informations sur un phénomène, un objet d'étude, en absence de variables ou sans contrôler les variables et les paramètres. L'observation est une étape différente, et souvent complémentaire, d'une expérimentation ou expérience dite contrôlée. Elle permet de valider/invalider des hypothèses ou de vérifier des observations ou des expérimentations antérieures.
Naissance des étoilesLa naissance des étoiles ou formation stellaire, voire stellogénèse ou stellogonie, est un domaine de recherche en astrophysique, qui consiste en l'étude des modes de formation des étoiles et des systèmes planétaires. Les étoiles en formation sont fréquemment appelées « étoiles jeunes ». Selon le scénario actuellement admis, confirmé par l'observation, les étoiles se forment en groupe à partir de la contraction gravitationnelle d'une nébuleuse, un nuage de gaz et de poussière, qui se fragmente en plusieurs cœurs protostellaires.
Méthode expérimentaleLes méthodes expérimentales scientifiques consistent à tester la validité d'une hypothèse, en reproduisant un phénomène (souvent en laboratoire) et en faisant varier un paramètre. Le paramètre que l'on fait varier est impliqué dans l'hypothèse. Le résultat de l'expérience valide ou non l'hypothèse. La démarche expérimentale est appliquée dans les recherches dans des sciences telles que, par exemple, la biologie, la physique, la chimie, l'informatique, la psychologie, ou encore l'archéologie.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
PhénomèneUn phénomène est la manière dont une chose, un fait du monde physique (objet, action...), psychique (émotion, pensée...) ou social (produit d'interactions sociales) se manifeste à la sensibilité d'un être vivant. Certains phénomènes de la physique, tels le magnétisme, la lumière ultra-violette, les rayons X, etc. n'affectent pas de la même manière la sensibilité des différents êtres vivants. Le mot phénomène vient du latin , emprunté au grec , « phénomène naturel », dérivé du verbe , « faire paraître, faire voir, rendre visible ».
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Trou noir de KerrEn astrophysique, un trou noir de Kerr, ainsi désigné en l'honneur du mathématicien néozélandais Roy Kerr, est, par définition, un trou noir : de masse strictement positive : ; dont le moment cinétique n'est pas nul : , c'est-à-dire qui est en rotation axiale ; dont la charge électrique est nulle . D'après la conjecture de calvitie, proposée par John Wheeler, il est un des quatre types théoriques de trous noirs.
