MATH 4820

Last Updated

  • Schedule of Classes - January 19, 2016 6:14PM EST
  • Course Catalog - January 19, 2016 6:21PM EST

MATH 4820
Topics in Logic and the Foundations of Mathematics

Course information provided by the Courses of Study 2015-2016.

Topics in logic that might be covered will go beyond the standard model-theory and natural deduction systems for classical first-order logic. Topics in the foundations of mathematics that might be covered will go beyond very basic set-theory (e.g. the set-theoretic reconstruction of the arithmetic of the natural numbers) in the setting of classical first-order logic. Students should have some background in, and comfort with, mathematics.

When Offered Fall.

Prerequisites/Corequisites Prerequisite: a previous course in logic that covers classical first-order logic under a natural deduction system – or (in special cases) permission of the instructor.

Distribution Category (MQR)

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Combined with: PHIL 4311

  • 4 Credits Stdnt Opt

  • Topic: Review of Natural Deduction in Prawitz & SC Format

  • 18029 MATH 4820   SEM 101

  •