Advanced Mathematical Logic: Learning outcomes
Propositional calculus and first-order logic. Theorem proving, Model theory, soundness, completeness, and compactness, Herbrand’s theorem, Skolem-Lowenheim theorems, Craig interpolation. Theory of computation and recursive function theory, Church’s thesis, computability and undecidability. Feasible computability and complexity. Peano arithmetic and the incompleteness theorems, nonstandard models.
Learning Outcomes
The unit will prepare you for more advanced work in the philosophy of mathematics should
What is the Set Theory?
Set Theory is the mathematical science of the infinite.
Set Theory: Internet Resources
- Set Theory, maintained by Jean Larson (Mathematics, University of Florida)
- Articles by J.J. O'Connor and E.F.