Linked from

The 24 pages that link to Mathematical logic, each with the reason it gives.

• David HilbertNarrower topic: Hilbert’s foundational projects became central to the development of this field.

• Bertrand RussellRelated: Russell used symbolic logic to investigate mathematics’ foundations.

• CombinatoricsRelated: Its finite models and proof methods intersect with combinatorial questions.

• Formal verificationNarrower topic: It supplies the inference systems and semantic foundations used in verification.

• Principia MathematicaNarrower topic: The book became a major landmark in the development of this field.

• Proof theoryNarrower topic: Proof theory is one major branch within this broader discipline.

• Andrey KolmogorovRelated: His work on intuitionistic logic and constructive mathematics extended beyond probability.

• Abstract algebraRelated: Its formal methods clarify how algebraic axioms define and constrain structures.

• DefinitionRelated: Logic clarifies how definitions support valid statements and inferences.

• Foundations of mathematicsNarrower topic: It provides the formal tools used to state and analyze foundational systems.

• TheoremNarrower topic: Its rules make explicit which steps can carry a proof from premises to conclusion.

• MathematicsRelated: It makes the rules of mathematical deduction explicit and examinable.

• Lewis CarrollRelated: Carroll’s interest in logic informed his puzzles and his comic treatment of reasoning.

• LogicBroader topic: It applies logical methods to the structure and foundations of mathematics.

• Giuseppe PeanoNarrower topic: Peano helped establish its modern symbolic vocabulary and methods.

• Pure mathematicsRelated: It examines what mathematical statements mean and how they can be proved.

• Symbolic logicNarrower topic: Symbolic logic supplies core languages and methods for this broader mathematical field.

• New FoundationsNarrower topic: New Foundations emerged from Quine's work in formal logic.

• Discrete mathematicsRelated: It examines the foundations and limits of the proofs used in discrete mathematics.

• Formal scienceBroader topic: It applies mathematical methods directly to reasoning and formal systems.

• Formal specificationRelated: Logical rules give specifications precise meanings and support proofs about them.

• Theoretical computer scienceRelated: Logic supplies languages and proof methods for reasoning about computation.

• Lwów–Warsaw schoolRelated: The school’s logicians helped make this a central field of research.

• Mathematical conceptsRelated: Logic formalizes how mathematical statements and proofs relate.