Mathematical Logic II: Mathematics — Incompleteness
MATH 144
Subject & Catalog Number
Jointly Offered with:
Faculty of Arts & Sciences as PHIL 144
Sign in to Add to Cart
Share
Course Information
Description
An introduction to limitative results in mathematics from a meta-mathematical point of view. Topics include: Gödel's incompleteness theorems, Turing's analysis of computability, and the hierarchy of mathematical systems as ordered under interpretability.
Course Notes
Familiarity with the material in either Math 143 or Math 141
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 PHIL 144 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
