Mathematical logic

Mathematical logic is the formal study of logic within the field of mathematics. It examines the properties of formal systems, such as their expressive or deductive power. Researchers use these systems to characterize correct mathematical reasoning. They also use logic to establish the very foundations of mathematics. This process involves checking the underlying rules that make all math work.

By studying these systems, mathematicians can understand what can and cannot be proven.

Modern mathematical logic is divided into several distinct subareas. The Handbook of Mathematical Logic in 1977 identified four primary branches. Set theory focuses on the study of collections or groups of objects. Model theory examines the relationship between formal languages and their interpretations. Proof theory investigates the structure of mathematical proofs themselves. Recursion theory, also known as computability theory, studies what can be calculated. Some researchers also include computational complexity theory within this field. These areas often share many techniques and results. The boundaries between these subfields are not always sharp.

History shows that logic began as a mix of philosophy and mathematics. Ancient cultures in Greece, India, China, and the Islamic world developed early logical theories. For millennia, Aristotelian logic was the standard in Western science. In the 18th century, thinkers like Leibniz and Lambert tried to use symbols for logic. However, their work remained mostly isolated. In the mid-19th century, George Boole and Augustus De Morgan created systematic mathematical treatments. Their work extended traditional logic into a framework for studying mathematical foundations. Later, Charles Sanders Peirce and Gottlob Frege added complex tools like quantifiers. Frege's 1879 work, the Begriffsschrift, was a major turning point in history.

As mathematics grew, thinkers sought to build it on solid axiomatic systems. Axioms are sets of rules that serve as a starting point. In the late 19th century, researchers developed these frameworks for geometry and arithmetic. Giuseppe Peano created the Peano axioms to define the natural numbers. Richard Dedekind also worked on characterizing these numbers through induction. In geometry, mathematicians found flaws in Euclid's original axioms. Nikolai Lobachevsky showed that the parallel postulate was independent of other rules. Later, David Hilbert developed a complete set of axioms for geometry. This success motivated Hilbert to seek similar systems for all of mathematics.

One of the most important figures was Georg Cantor. He developed the fundamental concepts of infinite set theory. Cantor showed that different types of infinity exist. He proved that real numbers have a larger cardinality, or size, than natural numbers. In 1891, he used his diagonal argument to prove the uncountability of real numbers. His work on transfinite numbers changed how mathematicians viewed the infinite. However, his belief that every set could be well-ordered remained an unproven problem. This led to intense debate and new discoveries in the 20th century.

In the early 20th century, the study of foundations faced major challenges. Mathematicians discovered paradoxes in informal set theory. For example, Bertrand Russell discovered Russell's paradox in 1901. These contradictions made people worry that mathematics might be inconsistent. David Hilbert proposed a program to prove that foundational theories were consistent. He also posed 23 famous problems in 1900 to guide future research. Kurt Gödel and Gerhard Gentzen provided partial resolutions to Hilbert's program. Their work helped clarify the difficult issues involved in proving consistency.

Today, mathematical logic connects to many diverse fields. Set theory remains a central pillar, using tools like the method of forcing. This method was used by Paul Cohen to show that the axiom of choice is unprovable in ZF set theory. Some mathematicians, such as Saunders Mac Lane, suggest category theory as a new foundation. Category theory uses formal axiomatic methods to study mathematical structures. It can use toposes, which are models that might use nonclassical logic. Whether through set theory or category theory, logic continues to define the limits of mathematical knowledge.