Oct 05, 2024  
2023-2024 Catalog 
    
2023-2024 Catalog [ARCHIVED CATALOG]

Add to My Catalog (opens a new window)

MATH 160: Mathematical Logic


Units: 4

Introduction to the meta-theory of first-order logic. Topics include the consistency, compactness, completeness and soundness proofs for propositional and first-order logic; model theory; the axiomatization of number theory; Gödel’s incompleteness theorems and related results.

Course Details
Repeats Allowed for Credit: 0

Crosslisted with: PHIL 160
Normal Letter Grade with Pass/No Pass option

GE Requirements
  • Upper Division: Crossroads
  • Approaches to Knowledge: Social Science
  • Intellectual Experience: Scientific Method

Requisites and Restrictions
Prerequisite Courses: PHIL 005
Instructor Permission Required: No


View course scheduling information




Add to My Catalog (opens a new window)