MATH 4003

Mathematical Logic and Computability

Oklahoma State University · UGRD · Fall 2026

1 section

Catalog description

Description: The basic metatheorems of first order logic: soundness, completeness, compactness, Lowenheim-Skolem theorem, undecidability of first order logic, Godel's incompleteness theorem. Enumerability, diagonalization, formal systems, standard and nonstandard models, Godel numberings, Turing machines, recursive functions, and evidence for Church's thesis. Same course as PHIL 4003 .

Sections

Current meeting, instructor, credit, and enrollment details

Updated 5 hours ago

001

Availability not recently verified

Class #oklahoma_state-5310Fall 2026UGRD

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?