Ohio State is in the process of revising websites and program materials to accurately reflect compliance with the law. While this work occurs, language referencing protected class status or other activities prohibited by Ohio Senate Bill 1 may still appear in some places. However, all programs and activities are being administered in compliance with federal and state law.

Introduction to Mathematical Logic

MATH 5051: Introduction to Mathematical Logic

Syntax and semantics of sentential logic, syntax and semantics of first-order logic, compactness of first-order logic, Goedel's completeness theorem, theories and models of theories, Goedel's incompleteness theorems; computability.
Prereq: 4547 (547), 4580 (580), Grad standing, or permission of department. Not open to students with credit for 648 or 649.
Credit Hours
3.0

Textbook

Title: No text required.

Semester(s) Offered:

Autumn