This article needs additional citations for verification . Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources:  "Timeline of mathematical logic"  –  news · newspapers · books · scholar · JSTOR (October 2025) ( Learn how and when to remove this message )

A timeline of mathematical logic ; see also history of logic.

Contents

• 19th century
• 20th century
• 1950-1999
• See also
• References

19th century

• 1847 – George Boole proposes symbolic logic in The Mathematical Analysis of Logic, defining what is now called Boolean algebra. ^[1]
• 1854 – George Boole perfects his ideas, with the publication of An Investigation of the Laws of Thought.
• 1874 – Georg Cantor proves that the set of all real numbers is uncountably infinite but the set of all real algebraic numbers is countably infinite. His proof does not use his famous diagonal argument, which he published in 1891.
• 1895 – Georg Cantor publishes a book about set theory containing the arithmetic of infinite cardinal numbers and the continuum hypothesis.
• 1899 – Georg Cantor discovers a contradiction in his set theory.

20th century

• 1904 - Edward Vermilye Huntington develops the back-and-forth method to prove Cantor's result that countable dense linear orders (without endpoints) are isomorphic.
• 1908 – Ernst Zermelo axiomatizes set theory, thus avoiding Cantor's contradictions.
• 1915 - Leopold Löwenheim publishes a proof of the (downward) Löwenheim-Skolem theorem, implicitly using the axiom of choice.
• 1918 - C. I. Lewis writes A Survey of Symbolic Logic, introducing the modal logic system later called S3.
• 1920 - Thoralf Skolem proves the (downward) Löwenheim-Skolem theorem using the axiom of choice explicitly.
• 1922 - Thoralf Skolem proves a weaker version of the Löwenheim-Skolem theorem without the axiom of choice.
• 1929 - Mojzesj Presburger introduces Presburger arithmetic and proving its decidability and completeness.
• 1928 - Hilbert and Wilhelm Ackermann propose the Entscheidungsproblem: to determine, for a statement of first-order logic whether it is universally valid (in all models).
• 1930 - Kurt Gödel proves the completeness and countable compactness of first-order logic for countable languages.
• 1930 - Oskar Becker introduces the modal logic systems now called S4 and S5 as variations of Lewis's system.
• 1930 - Arend Heyting develops an intuitionistic propositional calculus.
• 1931 – Kurt Gödel proves his incompleteness theorem which shows that every axiomatic system for mathematics is either incomplete or inconsistent.
• 1932 - C. I. Lewis and C. H. Langford's Symbolic Logic contains descriptions of the modal logic systems S1-5.
• 1933 - Kurt Gödel develops two interpretations of intuitionistic logic in terms of a provability logic, which would become the standard axiomatization of S4.
• 1934 - Thoralf Skolem constructs a non-standard model of arithmetic.
• 1936 - Alonzo Church develops the lambda calculus. Alan Turing introduces the Turing machine model proves the existence of universal Turing machines, and uses these results to settle the Entscheidungsproblem by proving it equivalent to (what is now called) the halting problem.
• 1936 - Anatoly Maltsev proves the full compactness theorem for first-order logic, and the "upwards" version of the Löwenheim–Skolem theorem.
• 1940 – Kurt Gödel shows that neither the continuum hypothesis nor the axiom of choice can be disproven from the standard axioms of set theory.
• 1943 - Stephen Kleene introduces the assertion he calls "Church's Thesis" asserting the identity of general recursive functions with effective calculable ones.
• 1944 - McKinsey and Alfred Tarski study the relationship between topological closure and Boolean closure algebras.
• 1944 - Emil Leon Post introduces the partial order of the Turing degrees, and also introduces Post's problem: to determine if there are computably enumerable degrees lying in between the degree of computable functions and the degree of the halting problem.
• 1947 - Andrey Markov Jr. and Emil Post independently prove the undecidability of the word problem for semigroups.
• 1948 - McKinsey and Alfred Tarski study closure algebras for S4 and intuitionistic logic.

See also

• History of logic
• History of mathematics
• Philosophy of mathematics
• Timeline of ancient Greek mathematicians
• Timeline of mathematics

References