Foundations of Mathematics

3 Credits

Models and proofs. Foundations of the real and natural number systems. Algorithms. Turing Machines, undecidability and independence. Examples and applications in algebra, analysis, geometry, and topology.