MATH-4000 (3) Foundations of Mathematics

Focuses on a complete deductive framework for mathematics and applies it to various areas. Presents Goedel's famous incompleteness theorem about the inherent limitations of mathematical systems. Uses idealized computers to investigate the capabilities and limitations of human and machine computation. Same as MATH 5000. Requisites: Requires prerequisite courses of MATH 2001 and one of the following: MATH 3001, 3130, 3140 or 3210 or 3135 (all minimum grade C-).