Ontological argumentAn ontological argument is a philosophical argument, made from an ontological basis, that is advanced in support of the existence of God. Such arguments tend to refer to the state of being or existing. More specifically, ontological arguments are commonly conceived a priori in regard to the organization of the universe, whereby, if such organizational structure is true, God must exist.
Polar ice capA polar ice cap or polar cap is a high-latitude region of a planet, dwarf planet, or natural satellite that is covered in ice. There are no requirements with respect to size or composition for a body of ice to be termed a polar ice cap, nor any geological requirement for it to be over land, but only that it must be a body of solid phase matter in the polar region. This causes the term "polar ice cap" to be something of a misnomer, as the term ice cap itself is applied more narrowly to bodies that are over land, and cover less than 50,000 km2: larger bodies are referred to as ice sheets.
Cartesian closed categoryIn , a is Cartesian closed if, roughly speaking, any morphism defined on a of two can be naturally identified with a morphism defined on one of the factors. These categories are particularly important in mathematical logic and the theory of programming, in that their internal language is the simply typed lambda calculus. They are generalized by , whose internal language, linear type systems, are suitable for both quantum and classical computation.
Kalam cosmological argumentThe Kalam cosmological argument is a modern formulation of the cosmological argument for the existence of God. It is named after the Kalam (medieval Islamic scholasticism) from which its key ideas originated. William Lane Craig was principally responsible for giving new life to the argument, due to his The Kalām Cosmological Argument (1979), among other writings. The argument's key underpinning idea is the metaphysical impossibility of actual infinities and of a temporally past-infinite universe, traced by Craig to 11th-century Persian Muslim scholastic philosopher Al-Ghazali.
Bulk modulusThe bulk modulus ( or ) of a substance is a measure of the resistance of a substance to bulk compression. It is defined as the ratio of the infinitesimal pressure increase to the resulting relative decrease of the volume. Other moduli describe the material's response (strain) to other kinds of stress: the shear modulus describes the response to shear stress, and Young's modulus describes the response to normal (lengthwise stretching) stress. For a fluid, only the bulk modulus is meaningful.
Polar regions of EarthThe polar regions, also called the frigid zones or polar zones, of Earth are Earth's polar ice caps, the regions of the planet that surround its geographical poles (the North and South Poles), lying within the polar circles. These high latitudes are dominated by floating sea ice covering much of the Arctic Ocean in the north, and by the Antarctic ice sheet on the continent of Antarctica and the Southern Ocean in the south.
NumberA number is a mathematical object used to count, measure, and label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with number words. More universally, individual numbers can be represented by symbols, called numerals; for example, "5" is a numeral that represents the number five. As only a relatively small number of symbols can be memorized, basic numerals are commonly organized in a numeral system, which is an organized way to represent any number.
