MATH 4820

Last Updated

  • Schedule of Classes - April 13, 2023 2:00PM EDT
  • Course Catalog - April 12, 2023 7:14PM EDT

MATH 4820
Topics in Logic and the Foundations of Mathematics

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