Mathematical Systems

This program is built around intensive study of several fundamental areas of pure mathematics. The tentative schedule of topics includes abstract algebra (group theory), real analysis, and set theory in fall; and abstract algebra (rings and fields), probability and combinatorics in winter.

The work in this advanced-level mathematics program is likely to differ from students' previous work in mathematics, including calculus, in a number of ways. We will emphasize the careful understanding of the definitions of mathematical terms and the statements and proofs of the theorems that capture the main conceptual landmarks in the areas we study. Hence the largest portion of our work will involve the reading and writing of rigorous proofs in axiomatic systems. These skills are valuable not only for continued study of mathematics but also in many areas of thought in which arguments are set forth according to strict criteria of logical deduction. Students will gain experience in articulating their evidence for claims and in expressing their ideas with precise and transparent reasoning.

In addition to work in core areas of advanced mathematics, we will devote seminar time to looking at our studies in a broader historical and philosophical context, working toward answers to critical questions such as: Are mathematical systems discovered or created? Do mathematical objects actually exist? How did the current mode of mathematical thinking come to be developed? What is current mathematical practice? What are the connections between mathematics and culture?

This program is designed for students who intend to pursue studies or teach in mathematics and the sciences, as well as for those who want to know more about mathematical thinking.