Instructor(s)
Prof. Agustín Rayo
Owain R. Evans
(Teaching Assistant)
MIT Course Number
24.118
As Taught In
Spring 2013
Level
Undergraduate
Course Description
Course Features
Course Description
This course explores different kinds of infinity; the paradoxes of set theory; the reduction of arithmetic to logic; formal systems; paradoxes involving the concept of truth; Gödel’s incompleteness theorems; the nonformalizable nature of mathematical truth; and Turing machines.