21-700 Mathematical Logic II

12 units, Carnegie Mellon University

Higherorder logic type theory. Syntax, Lambdanotation, Axioms of Description and Choice, computerassisted formal proofs, semantics, soundness, standard and nonstandard models, completeness, compactness, formalization of mathematics, definability of natural numbers, representability of recursive functions, Churchs Thesis. Godels Incompleteness Theorems, undecidability, undefinability.

Prerequisites: 21-600 or 21-300

Courseweave needs JavaScript to show sections, workloads and planning tools.