3 lives in this collection worked in philosophy of language, from 1848 to today. Each has a full course on their life and the mathematics and physics they made.
Often together with: mathematical logic. All fields
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
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