MATH 4820

Last Updated

  • Schedule of Classes - August 2, 2023 12:50PM EDT
  • Course Catalog - April 3, 2023 12:59PM EDT

MATH 4820
Topics in Logic and the Foundations of Mathematics

Course information provided by the Courses of Study 2022-2023. Courses of Study 2022-2023 is scheduled to publish mid-June.

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 4311, PHIL 6311

  • 4 Credits Stdnt Opt

  • Topic: Philosophical Logic

  • 17215 MATH 4820   LEC 001

  •  
    • TR
    • Aug 22 - Dec 5, 2022

    • Walsh, J

  • 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.