God in ChristianityGod in Christianity is believed to be the eternal, supreme being who created and preserves all things. Christians believe in a monotheistic conception of God, which is both transcendent (wholly independent of, and removed from, the material universe) and immanent (involved in the material universe). Christian teachings on the transcendence, immanence, and involvement of God in the world and his love for humanity exclude the belief that God is of the same substance as the created universe (rejection of pantheism) but accept that God the Son assumed hypostatically united human nature, thus becoming man in a unique event known as "the Incarnation".
Existence of GodThe existence of God (or more generally, the existence of deities) is a subject of debate in theology, philosophy of religion and popular culture. A wide variety of arguments for and against the existence of God or deities can be categorized as logical, empirical, metaphysical, subjective or scientific. In philosophical terms, the question of the existence of God or deities involves the disciplines of epistemology (the nature and scope of knowledge) and ontology (study of the nature of being or existence) and the theory of value (since some definitions of God include "perfection").
Personal godA personal god, or personal goddess, is a deity who can be related to as a person instead of as an impersonal force, such as the Absolute. In the scriptures of the Abrahamic religions, God is described as being a personal creator, speaking in the first person and showing emotion such as anger and pride, and sometimes appearing in anthropomorphic shape. In the Pentateuch, for example, God talks with and instructs his prophets and is conceived as possessing volition, emotions (such as anger, grief and happiness), intention, and other attributes characteristic of a human person.
Conceptions of GodConceptions of God in monotheist, pantheist, and panentheist religions – or of the supreme deity in henotheistic religions – can extend to various levels of abstraction: as a powerful, personal, supernatural being, or as the deification of an esoteric, mystical or philosophical entity or category; as the "Ultimate", the summum bonum, the "Absolute Infinite", the "Transcendent", or Existence or Being itself; as the ground of being, the monistic substrate, that which we cannot understand; and so on.
Proof theoryProof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logical system. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.
Constructive proofIn mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object. This is in contrast to a non-constructive proof (also known as an existence proof or pure existence theorem), which proves the existence of a particular kind of object without providing an example. For avoiding confusion with the stronger concept that follows, such a constructive proof is sometimes called an effective proof.
Square numberIn mathematics, a square number or perfect square is an integer that is the square of an integer; in other words, it is the product of some integer with itself. For example, 9 is a square number, since it equals 32 and can be written as 3 × 3. The usual notation for the square of a number n is not the product n × n, but the equivalent exponentiation n2, usually pronounced as "n squared". The name square number comes from the name of the shape. The unit of area is defined as the area of a unit square (1 × 1).
Proof assistantIn computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer. A recent effort within this field is making these tools use artificial intelligence to automate the formalization of ordinary mathematics.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
