Eta CarinaeEta Carinae (η Carinae, abbreviated to η Car), formerly known as Eta Argus, is a stellar system containing at least two stars with a combined luminosity greater than five million times that of the Sun, located around distant in the constellation Carina. Previously a 4th-magnitude star, it brightened in 1837 to become brighter than Rigel, marking the start of its so-called "Great Eruption". It became the second-brightest star in the sky between 11 and 14 March 1843 before fading well below naked-eye visibility after 1856.
Constraint satisfaction problemConstraint satisfaction problems (CSPs) are mathematical questions defined as a set of objects whose state must satisfy a number of constraints or limitations. CSPs represent the entities in a problem as a homogeneous collection of finite constraints over variables, which is solved by constraint satisfaction methods. CSPs are the subject of research in both artificial intelligence and operations research, since the regularity in their formulation provides a common basis to analyze and solve problems of many seemingly unrelated families.
Theory of formsThe theory of Forms, theory of Ideas, Platonic idealism, or Platonic realism is a metaphysical theory, attributed to the Classical Greek philosopher Plato, suggesting that the physical world is not as real or true as timeless, absolute, unchangeable ideas. Ideas according to this theory, conventionally capitalized and translated as "Ideas" or "Forms", are the non-physical essences of all things, of which objects and matter in the physical world are merely imitations.
Active asteroidActive asteroids are small Solar System bodies that have asteroid-like orbits but show comet-like visual characteristics. That is, they show comae, tails, or other visual evidence of mass-loss (like a comet), but their orbit remains within Jupiter's orbit (like an asteroid). These bodies were originally designated main-belt comets (MBCs) in 2006 by astronomers David Jewitt and Henry Hsieh, but this name implies they are necessarily icy in composition like a comet and that they only exist within the main-belt, whereas the growing population of active asteroids shows that this is not always the case.
Vacuous truthIn mathematics and logic, a vacuous truth is a conditional or universal statement (a universal statement that can be converted to a conditional statement) that is true because the antecedent cannot be satisfied. It is sometimes said that a statement is vacuously true because it does not really say anything. For example, the statement "all cell phones in the room are turned off" will be true when no cell phones are in the room.
Centaur (small Solar System body)In planetary astronomy, a centaur is a small Solar System body with either a perihelion or a semi-major axis between those of the outer planets (between Jupiter and Neptune). Centaurs generally have unstable orbits because they cross or have crossed the orbits of one or more of the giant planets; almost all their orbits have dynamic lifetimes of only a few million years, but there is one known centaur, 514107 Kaʻepaokaʻawela, which may be in a stable (though retrograde) orbit.
Object (philosophy)An object is a philosophical term often used in contrast to the term subject. A subject is an observer and an object is a thing observed. For modern philosophers like Descartes, consciousness is a state of cognition that includes the subject—which can never be doubted as only it can be the one who doubts—and some object(s) that may be considered as not having real or full existence or value independent of the subject who observes it. Metaphysical frameworks also differ in whether they consider objects existing independently of their properties and, if so, in what way.
Problem of universalsThe problem of universals is an ancient question from metaphysics that has inspired a range of philosophical topics and disputes: "Should the properties an object has in common with other objects, such as color and shape, be considered to exist beyond those objects? And if a property exists separately from objects, what is the nature of that existence?" The problem of universals relates to various inquiries closely related to metaphysics, logic, and epistemology, as far back as Plato and Aristotle, in effor
Trope (philosophy)Trope denotes figurative and metaphorical language and one which has been used in various technical senses. The term trope derives from the Greek τρόπος (tropos), "a turn, a change", related to the root of the verb τρέπειν (trepein), "to turn, to direct, to alter, to change"; this means that the term is used metaphorically to denote, among other things, metaphorical language. The term is also used in technical senses, which do not always correspond to its linguistic origin.
