MATH 4820

Last Updated

  • Schedule of Classes - January 14, 2015 6:16PM EST
  • Course Catalog - January 14, 2015 6:21PM EST

MATH 4820
Topics in Logic and the Foundations of Mathematics

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

This course will focus on formal theories of truth, including these things: Tarski's theorem on the undefinability of truth for first-order arithmetic in first-order arithmetic; the Tarski (levels-of-truth) hierarchy; truth and higher-order languages; various proposals for approximating a "type-free" theory of truth.

When Offered Fall.

Distribution Category (MQR)

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Combined with: PHIL 4311

  • 4 Credits Stdnt Opt

  • 16837 MATH 4820   SEM 101

  •  

  • Instruction Mode: