DSpace@MIT

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 ...