10 lives in this collection worked in mathematical logic, from 1815 to today. Each has a full course on their life and the mathematics and physics they made.
Often together with: foundations of mathematics, philosophy of language, foundations of geometry, invariant theory, probability theory, set theory. All fields
Self-taught English mathematician who created the algebra of logic now called Boolean algebra and pioneered operator methods in analysis.
mathematical logic, algebra of logic, probability theory
Founder of modern quantificational logic, author of the logicist programme for arithmetic, and originator of the distinction between sense and reference.
mathematical logic, foundations of mathematics, philosophy of language
Leader of Göttingen mathematics whose basis theorem, Zahlbericht, axioms of geometry, Hilbert space, Paris problems and proof theory shaped twentieth-century mathematics.
invariant theory, algebraic number theory, foundations of geometry
Discoverer of Russell's paradox, inventor of the theory of types and the theory of descriptions, and co-author with Whitehead of Principia Mathematica.
mathematical logic, foundations of mathematics, philosophy
Polish-American logician who gave the semantic definition of truth, proved the decidability of real closed fields and elementary geometry, co-discovered the Banach–Tarski paradox, and founded the Berkeley school of model theory.
mathematical logic, model theory, set theory
American logician who created the lambda calculus, proposed Church's thesis and proved the undecidability of first-order logic.
mathematical logic, computability theory, lambda calculus
Founder of axiomatic probability theory whose work also shaped turbulence, Hamiltonian dynamics, ergodic theory and algorithmic complexity.
probability theory, real analysis, turbulence
Logician who proved the completeness of first-order logic, the incompleteness of arithmetic, and the consistency of the axiom of choice and the continuum hypothesis.
mathematical logic, set theory, foundations of mathematics
American logician who founded recursion theory as a mathematical subject, proving the normal form and recursion theorems, creating the arithmetical and hyperarithmetical hierarchies, realizability and regular expressions.
mathematical logic, recursion theory, intuitionistic logic
British mathematician who defined computability with the Turing machine, led the breaking of naval Enigma, designed the ACE computer and founded the theory of biological pattern formation.
mathematical logic, computability theory, cryptanalysis