Fall 2009
Mathematics 301–01
Mathematical Logic
MWF 10:00
Sturges 113
 |
 |
 |
 |
 |
 |
Fall 2009
Mathematics 301–01
Mathematical Logic
MWF 10:00
Sturges 113
|
|
|
|
|
|
|
|
Welcome and thanks for taking this class! I hope that during the course of this semester you will come to a deeper understanding of the power and beauty and fun of Logic. This course will give you a chance to see some of the limitations (as well as the power) of formal mathematics. It is wonderful stuff, and relatively recent work. I hope you find this to be an enjoyable class.
My major goals in this course are:
I hope that we will enjoy each other's company and be comfortable in expressing ourselves in class. You should know at the outset that the material can be rather abstract, and so it will be to your advantage to give yourself time to think things through. Remember Leary's Axiom for Learning Mathematics:
When you are lost in a sea of abstraction, think deeply about a concrete example.
Important Administrative Details
| Me |
Chris Leary |
||||||||
| Office Hours | Monday 2:00-3:00 or by appointment |
||||||||
| Text | There is no text for this course. Rather, we as a class will create a text as the semester proceeds. | ||||||||
| Syllabus | We will discuss languages, structures, proofs, the Completeness Theorem, the Compactness Theorem, and Gödel's Incompleteness Theorems. | ||||||||
| Examinations |
There will be a closed-book, in class examination on Friday, 23 October. |
||||||||
| Final Examination | There will be an in-class final examination on Wednesday, 16 December, from 8-11 a.m. in Sturges 113. | ||||||||
| Grades |
The evaluated work in this course will consist of scribe duties, homework sets, a midterm examination, and a final examination. During the semester, students will be assigned to be a scribe for a couple of class periods at a time. These students are responsible for producing LaTeX'd class notes for the other students in the course. Homework sets will be assigned frequently and will include problems to be submitted for evaluation. You are encouraged to work in groups on homework sets. Each group may submit a collective write-up of the assignment, but each submission must be accompanied by an "authors statement" that describes, in detail, the contribution of each member of the group to the completed assignment. This authors statement must be signed by each member of the group. Credit for the assignment will be allocated to each group member based on that member's contribution to the assignment. All homework will be typeset in LaTeX. The midterm examination will include both an in-class component and a take-home part. You will be required to work alone on the midterm. The final examination will also include a take-home portion and an in-class portion. On all of the material that I grade, you will be evaluated not only on the mathematical content of your solutions, but on your exposition and style as well. The relative weights of the graded work is as follows:
|
||||||||
| Office of Disability Services | SUNY Geneseo will make reasonable accommodations for persons with documented physical, emotional or learning disabilities. Students should consult with the Director in the Office of Disability Services (Tabitha Buggie-Hunt, 105D Erwin, tbuggieh@geneseo.edu) and their individual faculty regarding any needed accommodations as early as possible in the semester. |
Chris Leary
Department of Mathematics
SUNY Geneseo