MA 440 - Mathematical Logic

The study of formal logic within mathematics, addressing the properties of formal systems including their expressive strength or deductive power. We introduce set theory and cover symbolic logic, including Godel’s Completeness Theorem. We also cover Godel’s Incompleteness Theorem, including its implications for the foundations of mathematics.

Credits: 4

Prerequisites/Restrictions: MA-240