Logistics:

Credits:	4
Meetings:	Fridays, 3:00pm
Room:	AC-04-MR-736

Links:

Textbook

Course Description: This seminar introduces Gödel's First Incompleteness Theorem, one of the most profound results in mathematical logic and the philosophy of mathematics. We will use Gödel Without (Too Many) Tears (Second Edition, 2022) by Peter Smith as our primary text, working carefully through its chapters to build a clear understanding of the proof and its significance.

Each week, one student will be responsible for presenting the assigned chapter and leading discussion. The course will balance close reading of technical details with exploration of broader philosophical implications.

Policies: Please note the following policies:

• Attendance: Regular attendance is mandatory. Please arrive on time; students more than 5 minutes late should not enter, as this disrupts the class.
• Classroom Conduct: Food is not permitted, though beverages (hot or cold) are allowed. Notes should be taken on paper or a tablet/iPad. Laptops and phones are not to be used during class unless prior accommodation has been granted by the Office of Learning Support (ols@ashoka.edu.in).
• Academic Integrity: As outlined in Ashoka's Academic Integrity Policy (see MyAshoka → Information and Documents → Office of Academic Affairs), plagiarism and other violations (including but not limited to unauthorized use of AI tools) are serious offenses. Any violation will result in a failing grade (F) for the course. Please review the policy carefully.

Support: Students are encouraged to reach out to University offices such as the Office of Learning Support, Ashoka Center for Well-Being, and Center for Writing and Communication for additional support.