Eta Carinae(, en français ; anciennement ) est un système stellaire comprenant au moins deux étoiles, avec une luminosité totale dépassant cinq millions de fois celle du Soleil. Le système se situe à environ () de la Terre dans la constellation de la Carène. C'est une des plus fameuses étoiles du ciel austral. Eta Carinae est circumpolaire depuis les latitudes plus australes que 30° Sud et n'est jamais visible depuis les latitudes plus boréales qu'environ 30° Nord.
Problème de satisfaction de contraintesLes problèmes de satisfaction de contraintes ou CSP (Constraint Satisfaction Problem) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères. Les CSP font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux CSP nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable.
Théorie des formesLa théorie des formes (aussi appelée théorie des idées ou théorie des formes intelligibles) est la théorie selon laquelle les concepts, notions, ou idées abstraites, existent réellement, sont immuables et universelles et forment les modèles (archétypes) des choses et formes que nous percevons avec nos organes sensoriels. Cette théorie repose sur une dualité entre l'ici-bas des réalités sensibles et le monde intelligible. Il s'agit de la doctrine métaphysique majeure de Platon. Le terme de platonisme renvoie à la théorie des formes.
Comète de la ceinture principalethumb|L'astéroïde (596) Scheila qui dévoile son apparence cométaire le 12 décembre 2010. Une comète de la ceinture principale est un astéroïde de la ceinture principale ayant montré une activité cométaire sur une partie de son orbite. Le Jet Propulsion Laboratory définit ces objets comme un astéroïde dont le demi-grand axe est compris entre 2 au et 3,2 au, et dont le périhélie est supérieur à 1,6 au.
Vérité creuseEn mathématiques et en logique, une est un énoncé conditionnel ou universel qui est vrai parce que l'antécédent ne peut être satisfait. Par exemple, l'énoncé « tous les téléphones portables dans la pièce sont éteints » est vrai lorsqu'aucun téléphone portable ne se trouve dans la pièce. Dans ce cas, l'énoncé « tous les téléphones cellulaires dans la pièce sont allumés » est également vrai, tout comme la conjonction des deux : « tous les téléphones cellulaires dans la pièce sont allumés et éteints », qui serait autrement incohérente.
Centaure (planétoïde)En astronomie, les centaures sont des petits corps glacés qui gravitent autour du Soleil entre Jupiter et Neptune. Ils ont été nommés d'après la race mythique des centaures. Les centaures sont généralement de petite taille, et le membre le plus grand, (10199) Chariclo, a un diamètre de seulement 302 km. Un centaure peut être défini, en première approximation, comme un astéroïde qui orbite entre Jupiter et Neptune et croise l'orbite d'une ou plusieurs planètes géantes gazeuses.
Objet (philosophie)Un objet, du latin objectum, est étymologiquement ce qui est jeté devant nos yeux ou plus généralement notre conscience. Il s'agit donc de tout ce que nous pouvons percevoir, penser ou vouloir. En ce sens, tout ce qui existe peut être dit objet, du moment qu'on y pense, y compris une personne qui est "objet d'amour". Un objet est ainsi ce qui est pensé par opposition au sujet qui est ce qui pense. L'objet ne doit pas être confondu avec la chose qui en latin se dit res, c'est-à-dire ce qui existe par soi-même, qu'on y pense ou pas.
Problème des universauxEn métaphysique, le problème des universaux est la question de savoir si les propriétés existent, et si oui, ce qu'elles sont. Les propriétés sont des qualités ou relations que partagent deux ou plusieurs entités. Ces divers types de propriétés, telles que qualités et relations sont désignés sous le nom « universaux ». On peut par exemple imaginer trois porte-gobelets sur une table qui ont en commun la qualité d'« être circulaire » ou d'« illustrer la circularité » ou deux filles qui ont en commun d'« être la fille de Michel ».
Trope (philosophie)Les tropes sont des propriétés particulières qui, en métaphysique analytique, sont considérées comme les constituants des objets du monde. Ils s'opposent directement aux universaux qui sont censés être des propriétés (ou des relations) que plusieurs choses peuvent partager, comme le rouge de ce coquelicot et le rouge de la cape de Dracula. Le terme est tiré du grec τρόπος (tropos) et du latin tropus, et désigne à l'origine une manière d'être.
