MATH-5000 (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. Department enforced prereqs., MATH 3130 and 3140. Same as MATH 4000. Requisites: Restricted to graduate students only.