CMSC 27800
Mathematical Logic II (MATH 27800)Prerequisites: MATH 27700 or equivalent
Catalog Description: Topics include number theory, Peano arithmetic, Turing compatibility, unsolvable problems, Gödel's incompleteness theorem, undecidable theories (e.g., the theory of groups), quantifier elimination, and decidable theories (e.g., the theory of algebraically closed fields).
Instructors: J. MiletiQuarter offered: Winter
Last Verified by Sharon Salveter on 8 April, 2003.