Topics covered may include propositional logic, predicate logic, models, formal proofs, and the completeness and compactness theorems. Mathematics 205 or permission of the instructor. Junior Seminar A study of the foundations of analysis. Topics taken up include set theory, construction of the real number system, and writings in the philosophy and history of mathematics. Attention is also given to preparation for the Senior Project.
Students read, critique, and present short reports on articles in mathematics journals.
Mathematics 205 or permission of instructor. The student completes research and writing for the Senior Project and gives an oral defense. An introduction to mathematical reasoning and communication using geometry. Ideas from basic planar geometry are explored and extended into new settings. Effective presentation of arguments in written and spoken form is emphasized.