MATH-605 Mathematical Logic (3)

The mathematical study of the scope and limits of deductive reasoning with special attention to propositional and first order logic, leading to results concerning completeness, compactness, and the existence of decision procedures for various logical systems, culminating in the incompleteness theorems of Godel. Crosslist: MATH-405. Usually Offered: alternate falls (even years). Prerequisite: MATH-603.