Apr 20, 2024  
2020-2021 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  What’s New?
  General Education Requirements
  Regulations, Policies, Rights, & Responsibilities
  Colleges, Schools, Division and Departments
  Program Descriptions
  Course Descriptions
  Overlapping Course Content
  TransferIN.net Indiana Core Transfer Library
  Indiana Transfer Single Articulation Pathway - TSAP
  Academic Calendar
  Previous Catalogs
HELP
2020-2021 Undergraduate Catalog [Archived Catalog]

PHIL 45100 - The Gödel Theorems: Their Logic and Applications

Introduction to Primitive-Recursive Arithmetic as a framework to prove Gödel’s two incompleteness theorems followed by a critical discussion of their philosophical significance. 

Preparation for Course
P: Instructor permission required.

Cr. 3.