Timeline of mathematical logic information

A timeline of mathematical logic; see also history of logic. 1847 – George Boole proposes symbolic logic in The Mathematical Analysis of Logic, defining...

method of proof used in mathematics, a hearkening back to the Greek tradition. The development of the modern "symbolic" or "mathematical" logic during...

a timeline of pure and applied mathematics history. It is divided here into three stages, corresponding to stages in the development of mathematical notation:...

Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory...

A timeline of calculus and mathematical analysis. 5th century BC - The Zeno's paradoxes, 5th century BC - Antiphon attempts to square the circle, 5th...

Mathematics of Ancient Greeks List of Greek mathematicians Timeline of ancient Greek mathematicians Timeline of mathematical logic Timeline of mathematics v t e...

History of geometry – Historical development of geometry Timeline of ancient Greek mathematicians Timeline of mathematical logic Timeline of mathematics Jones...

A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The...

important theorems. In mathematical logic, the concepts of theorems and proofs have been formalized in order to allow mathematical reasoning about them...

Timeline of geometry – Notable events in the history of geometry Timeline of mathematical logic Boyer, Carl B.; Merzbach, Uta C. (2011), A History of...

aspects of basic and advanced mathematics, methodology, mathematical statements, integrals, general concepts, mathematical objects, and reference tables...

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. Bertrand Russell...

Classical logic (or standard logic) or Frege–Russell logic is the intensively studied and most widely used class of deductive logic. Classical logic has had...

used in mathematical logic and computer science. Mathematical induction in this extended sense is closely related to recursion. Mathematical induction...

The following timeline of algorithms outlines the development of algorithms (mainly "mathematical recipes") since their inception. Before – writing about...