21-700 Mathematical Logic II

Units: 12.0 Department: Mathematical Sciences Prerequisites: 21-300 or 21-600 Related URLs: http://www.math.cmu.edu Higher-order logic (type theory). Syntax, Lambda-notation, Axioms of Description and Choice, computer-assisted formal proofs, semantics, soundness, standard and non-standard models, completeness, compactness, formalization of mathematics, definability of natural numbers, representability of recursive functions, Church's Thesis. Godel's Incompleteness Theorems, undecidability, undefinability.

Popularity index Rank for this semester: #450 Rank in this department: #30   Students also scheduled 15-399 Special Topic: Constructive Logic 80-180 The Nature of Language 15-462 Computer Graphics 21-356 Principles of Real Analysis II 21-623 Complex Analysis 80-254 Analytic Philosophy 15-410 Operating System Design and Impleme... 21-229 Set Theory 15-415 Database Applications 21-465 Topology and Geometry

Spring 2005 times

Sec	Time	Day	Instructor	Location
A	11:30 am - 12:20 pm	M	Andrews	DH 1209
		W	Andrews	DH 1209
		F	Andrews	DH 1209