Philosophy of Mathematics

3 credits

Logicism, formalism, and constructivism; implications of metatheorems such as those of Gödel and Church; mathematical truth; mathematics and mental construction; mathematics and the physical world. [3-0-0] Prerequisite: Third-year standing in an Arts program and 3 credits of PHIL; or third-year standing in a Science program.