Mathematical Logic II: Mathematics -- Incompleteness
PHIL 144
Subject & Catalog Number
Jointly Offered with:
Faculty of Arts & Sciences as MATH 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.
School
Faculty of Arts & Sciences
Credits
4
Cross Reg
Available for Harvard Cross Registration
Department
Philosophy
Course Component
Lecture
NOTE: This course requires additional sections; you will be prompted to choose secondary components during the Add to Cart process
Subject
Philosophy
Grading Basis
FAS Letter Graded
Course Requirements
Anti-requisite: Cannot be taken for credit if MATH 144 already compete 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
