MTH303: Set Theory and Logic
MTH303: Set Theory and Logic
Notice
There will be an extra class on Wednesday, 6th August at 10:00am.
There was no class on Thursday , 31st August and Monday, 4th August.
Links
All assignments are in the following folder: Exercises (Google Drive).
In general you can expect new assignments every Wednesday morning by 10:00am.
Check all your marks in the course using link: https://vaiby.page.link/marks
You need to login using your IISER Mohali official login id to view the same.
Note that multiple google logins do not work well, so you may go to incognito mode and then open the above link (which then asks you to login).
Classes:
Venue: AB2-1A
Lectures: Monday-Tuesday-Thursday @ 9:00am
Tutorial: Friday @ 9:00am
Attendance Policy: Attendance is not mandatory.
References:
Primary reference will be classroom.
Most of the material is drawn from following textbooks (but may not appear in the same order).
Michael L. O’Leary: A First Course in Mathematical Logic and Set Theory
Herbert B. Enderton: A mathematical introduction to logic.
Following textbooks are also going to be useful.
P. T. Johnstone: Notes on Logic and Set Theory.
Yu. I. Manin: A Course in Mathematical Logic for Mathematicians.
A beautiful book (graphic novel!) that gives you a sense of the intellectual turmoil in the late 19th century when logical foudations as we know today were being laid is the following:
Logicomix: An Epic Search for Truth, (writers: Apostolos Doxiadis, Christos Papadimitriou and Artist: Alecos Papadatos, Annie Di Donna).
Remark: My copy of the book is circulating within students (your senior batch!) so try to get hold of the copy if you can.
Grading Policy:
Midsem 1: 15
Midsem 2: 15
Endsem: 40
Quizzes and Assignments: 30
In the midst of this, I was myself tortured by patriotism. The successes of the Germans before the Battle of the Marne were horrible to me. I desired the defeat of Germany as ardently as any retired colonel. Love of England is very nearly the strongest emotion I possess, and in appearing to set it aside at such a moment, I was making a very difficult renunciation. Nevertheless, I never had a moment’s doubt as to what I must do. I have at times been paralyzed by scepticism, at times I have been cynical, at other times indifferent, but when the War came I felt as if I heard the voice of God. I knew that it was my business to protest, however futile protest might be. My whole nature was involved. As a lover of truth, the national propaganda of all the belligerent nations sickened me. As a lover of civilization, the return to barbarism appalled me. As a man of thwarted parental feeling, the massacre of the young wrung my heart. I hardly supposed that much good would come of opposing the War, but I felt that for the honour of human nature those who were not swept off their feet should show that they stood firm.
- Bertrand Russell, from his autobiography.
Factoid: Bertrand Russell also appears in the hindi movie Aman (playing himself).