Math 461: Mathematical Logic

Rutgers University

Instructor: Tom Benhamou

My Office: Hill 205

Office hours: Wed 11:00 am to 12:00 pm

E-Mail tom.benhamou (at) rutgers (dot) edu

Mon and Wed 5:40pm to 7:00pm at LSH-B111 (LIV)

Textbook (optional): Enderton, A mathematical introduction to logic, Academic Press.

Description

After presenting some elementary concepts from Set Theory, we will discuss countable and uncountable sets. In the second part of the course will be an introduction to mathematical logic, propositional calculus and first order logic. Finally we will present some fundamental results in Logic: the compactness theorem, Godel's completeness and incompleteness theorems, and some applications of these.

Final Grade

The final grade will be based on the results of the examinations and the solutions of the homework problems. Here are the weights of the different components of the course:

Homework 25%
Midterms 25%
Final exam 50%

Home Work

HW will be assigned weekly on Friday and are due the following Friday. Please submit your solutions on the Canvas platform in a clear, readable, properly scanned, unrotated single pdf file.