Imperial College London

ProfessorDavidEvans

Faculty of Natural SciencesDepartment of Mathematics

Chair in Mathematics and Director of Undergraduate Studies
 
 
 
//

Contact

 

+44 (0)20 7594 9257david.evans

 
 
//

Location

 

661Huxley BuildingSouth Kensington Campus

//

Summary

 

Mathematical Logic - M5P65

Aims

The module is concerned with some of the foundational issues of mathematics. In propositional and predicate logic, we analyse the way in which we reason formally about mathematical structures. In set theory, we will look at the ZFC axioms and use these to develop the notion of cardinality. These topics have applications to other areas of mathematics: formal logic has applications via model theory and ZFC provides an essential toolkit for handling infinite objects.

In addition to the material below, this level 7 (Masters) version of the module will have additional extension material for self-study. This will require a deeper understanding of the subject than the corresponding level 6 (Bachelors) module.

Propositional logic: Formulas and logical validity; a formal system; soundness and completeness.

Predicate logic: First-order languages and structures; satisfaction and truth of formulas; the formal system; Goedel’s completeness theorem; the compactness theorem; the Loewenheim-Skolem theorem.

Set theory: The axioms of ZF set theory; ordinals; cardinality; the Axiom of Choice.

Role

Lecturer

Mathematical Logic - M4P65

Aims

The module is concerned with some of the foundational issues of mathematics. In propositional and predicate logic, we analyse the way in which we reason formally about mathematical structures. In set theory, we will look at the ZFC axioms and use these to develop the notion of cardinality. These topics have applications to other areas of mathematics: formal logic has applications via model theory and ZFC provides an essential toolkit for handling infinite objects.

In addition to the material below, this level 7 (Masters) version of the module will have additional extension material for self-study. This will require a deeper understanding of the subject than the corresponding level 6 (Bachelors) module.

Propositional logic: Formulas and logical validity; a formal system; soundness and completeness.

Predicate logic: First-order languages and structures; satisfaction and truth of formulas; the formal system; Goedel’s completeness theorem; the compactness theorem; the Loewenheim-Skolem theorem.

Set theory: The axioms of ZF set theory; ordinals; cardinality; the Axiom of Choice.

Role

Lecturer

Mathematical Logic - M3P65

Aims

The module is concerned with some of the foundational issues of mathematics. In propositional and predicate logic, we analyse the way in which we reason formally about mathematical structures. In set theory, we will look at the ZFC axioms and use these to develop the notion of cardinality. These topics have applications to other areas of mathematics: formal logic has applications via model theory and ZFC provides an essential toolkit for handling infinite objects.

Propositional logic: Formulas and logical validity; a formal system; soundness and completeness.

Predicate logic: First-order languages and structures; satisfaction and truth of formulas; the formal system; Goedel’s completeness theorem; the compactness theorem; the Loewenheim-Skolem theorem.

Set theory: The axioms of ZF set theory; ordinals; cardinality; the Axiom of Choice.

Role

Lecturer