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. Prerequisite: Philosophy or mathematics courses totaling 9 credits at the 200-level or above.
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. Prerequisite: Philosophy or mathematics courses totaling 9 credits at the 200-level or above.
