Math 3097/5097 Mathematical Logic Dr. Schwartz
Logic for Mathematicians
A. G. Hamilton
Cambridge University Press
We will start with a (very) brief informal introduction to statement calculus. We will then study formal statement calculus, predicate calculus, First Order Systems, and Gödel's Completeness and Incompleteness Theorems. We will discuss the ramifications of these results. Time permitting, we will look at computability, unsolvability, and, undecidability.
Note: For students registered for MATH 5034, there is an "Education" component to this course; for details, click here.
There will be two take-home problem sets, each counting 23% of the final grade. There will be a mid-term counting 24% and a final exam counting 30%.
Tuesday and Friday, 3:00 - 4:00, and by appointment
Room 8 - Brownson Wing
Telephone: (914) 323-5324
I can, of course, always be reached by email at