Logic for Mathematicians

A. G. Hamilton

Cambridge University Press

ISBN-13: 9780521368650

ISBN-10: 0521368650

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