MATH 4820

MATH 4820

Course information provided by the Courses of Study 2022-2023.

Advanced discussion of a topic in logic or foundational mathematics.

When Offered Fall.

Prerequisites/Corequisites Prerequisite: PHIL 2310, MATH 2810/PHIL 3310, MATH 3840/PHIL 3300, or permission of instructor, plus a background in logic.

Distribution Category (MQR-AS, SMR-AS)

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: PHIL 4311PHIL 6311

  • 4 Credits Stdnt Opt

  • Topic: Philosophical Logic

  • 17215 MATH 4820   LEC 001

  • Instruction Mode: In Person
    Fall 2022: The course provides an overview of the major foundational programs and the results that bear on them. Topics include logicism, constructivism, finitism, set-theoretic foundations, and Gödel's incompleteness theorems.