Mathematical Logic I: Logic-- Completeness
MATH 143
Subject & Catalog Number
Course Information
Description
An introduction to first-order logic (the basis of mathematical reasoning) from a meta-mathematical point of view. Topics include: The axiomatic method, the principles of first-order logic, the meta-mathematical point of view, the central theorems (soundness and completeness), and the expressive limitations (Löwenheim-Skolem).
Course Notes
An additional hour of lecture will be scheduled independently.
School
Faculty of Arts & Sciences
Credits
4
Cross Reg
Available for Harvard Cross Registration
Department
Mathematics
Course Component
Lecture
Subject
Mathematics
Grading Basis
FAS Letter Graded
Course Requirements
Anti-Requisite: Cannot be taken for credit if MATH 141A or PHIL 143 already complete or in progress.
General Education
N/A
Quantitative Reasoning with Data
N/A
Divisional Distribution
Science & Engineering & Applied Science
Course Level
For Undergraduate and Graduate Students
