Convex functionIn mathematics, a real-valued function is called convex if the line segment between any two distinct points on the graph of the function lies above the graph between the two points. Equivalently, a function is convex if its epigraph (the set of points on or above the graph of the function) is a convex set. A twice-differentiable function of a single variable is convex if and only if its second derivative is nonnegative on its entire domain.
Cosmological argumentA cosmological argument, in natural theology, is an argument which claims that the existence of God can be inferred from facts concerning causation, explanation, change, motion, contingency, dependency, or finitude with respect to the universe or some totality of objects. A cosmological argument can also sometimes be referred to as an argument from universal causation, an argument from first cause, the causal argument, or prime mover argument.
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.
