Here is our great class:
| Math 3097/5097 | Mathematical Logic | Dr. Schwartz |
| Text: | Logic for Mathematicians
A. G. Hamilton Cambridge University Press |
| Topics: | 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.
To see a VERY brief summary of how to enroll in the Blackboard site, click here. Note: For students registered for MATH 5034, there is an "Education" component to this course; for details, click here. |
| Grade: | 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%. |
| Office: | Monday and Thursday, 2:00 -
4:00, and
by appointment Room 8 - Brownson Wing Telephone: (914) 323-5324 I can, of course, always be reached by email at |
Return to Dr. Schwartz' homepage.