MATH 4820
Last Updated
- Schedule of Classes - April 13, 2023 2:00PM EDT
- Course Catalog - April 12, 2023 7:14PM EDT
Classes
MATH 4820
Course Description
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)
Regular Academic Session. Combined with: PHIL 4311, PHIL 6311
-
Credits and Grading Basis
4 Credits Stdnt Opt(Letter or S/U grades)
-
Section Topic
Topic: Philosophical Logic
-
Class Number & Section Details
-
Meeting Pattern
- TR Rockefeller Hall 102
- Aug 22 - Dec 5, 2022
Instructors
Walsh, J
-
Additional Information
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.