PHIL 4410
Mathematics, Computability, and Philosophy
Course Description
This class is about some of the fascinating and mind-bending issues that arise in the intersection of logic, philosophy, mathematics, and computer science. Some of the issues we will discuss are: the nature of infinity; set theory, including non-well-founded set theories; whether math is all about structure and what that might mean; Turing machines and the limits of computability and mathematical proof; Godel's incompleteness theorems; paradoxes and the nature of logic and truth.