Foundations of Mathematics

3 Credits

Models and proofs. Foundations of real and natural numbers, algorithms, Turing machines, undecidability and independence. Examples and applications in algebra, analysis, geometry and topology. Credit will be given for, at most, MHF 4203 or MHF 5207.