enow.com Web Search

Search results

  1. Results from the WOW.Com Content Network
  2. Mathematical logic - Wikipedia

    en.wikipedia.org/wiki/Mathematical_logic

    Mathematical logic is the study of formal logic within mathematics. ... English translation as: "Consistency and irrational numbers". ... A logico-mathematical ...

  3. Logic - Wikipedia

    en.wikipedia.org/wiki/Logic

    However, it can also include attempts to use logic to analyze mathematical reasoning or to establish logic-based foundations of mathematics. [165] The latter was a major concern in early 20th-century mathematical logic, which pursued the program of logicism pioneered by philosopher-logicians such as Gottlob Frege, Alfred North Whitehead , and ...

  4. Logicism - Wikipedia

    en.wikipedia.org/wiki/Logicism

    In the philosophy of mathematics, logicism is a programme comprising one or more of the theses that – for some coherent meaning of 'logic' – mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or all of mathematics may be modelled in logic. [1]

  5. Wikipedia : Contents/Mathematics and logic

    en.wikipedia.org/.../Mathematics_and_logic

    The concept has an exact mathematical meaning in probability theory, which is used extensively in such areas of study as mathematics, statistics, finance, gambling, science, artificial intelligence/machine learning and philosophy to draw conclusions about the likelihood of potential events and the underlying mechanics of complex systems.

  6. Outline of logic - Wikipedia

    en.wikipedia.org/wiki/Outline_of_logic

    Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science.Logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and the study of arguments in natural language.

  7. Category:Mathematical logic - Wikipedia

    en.wikipedia.org/wiki/Category:Mathematical_logic

    Mathematical logic is the study of formal logic within mathematics. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. Mathematical logic is divided into four parts: Model theory; Proof theory; Recursion theory, also known as computability theory ...

  8. Classical logic - Wikipedia

    en.wikipedia.org/wiki/Classical_logic

    Classical logic is the standard logic of mathematics. Many mathematical theorems rely on classical rules of inference such as disjunctive syllogism and the double negation elimination. The adjective "classical" in logic is not related to the use of the adjective "classical" in physics, which has another meaning.

  9. Logical reasoning - Wikipedia

    en.wikipedia.org/wiki/Logical_reasoning

    Deductive reasoning plays a central role in formal logic and mathematics. [1] In mathematics, it is used to prove mathematical theorems based on a set of premises, usually called axioms. For example, Peano arithmetic is based on a small set of axioms from which all essential properties of natural numbers can be inferred using deductive reasoning.