Welcome to Math Math 141b Mathematical Logic II! In this course, we will explore the various incompleteness results that limit mathematics, most notably the incompleteness theorems of Kurt Gödel (pictured above).

Class meets in SC 310 on TR 9-10:15am.

The official course textbook will be Per Lindström,

- The website is live, and syllabus is posted.
- The headings below will expand if you click them.
- Note the first homework is due on a Thursday rather than the normal Tuesday schedule.
- I will unfortunately miss class on Tuesday, February 5, but a colleague will be teaching. My office hours on that Tuesday are cancelled.

- The course policies are described throughout this webpage. They are also outlined in the syllabus.
- The most important thing is that you respect your fellow classmates and yourselves in all interactions. We've all taken different paths to get here, but we've come together for the shared goal of learning fantastic incompleteness results.

- This book is available for free!!! If you click here, you will go to the SpringerLink page where you can download the book for free. If you're having issues, try to use a wired connection on Harvard campus.
- Here are some additional collections of notes that might be helpful:
- Warren Goldfarb,
**Notes on Metamathematics** - Daniel Isaacson,
**Gödel's Incompleteness Theorems**

- Homework: 70%
- Final: 30%

Email: wboney@math.harvard.edu- Office: Science Center 238

My office is kind of hard to find the first time, so here's a map (follow the red path, it starts at the second floor elevators). If you come out of the main elevators on the second floor, take a u-turn to your left and go all the way to the end of the hallway. Go through the door at the end to enter a cluster of math department offices. If you keep walking back in that direction, you'll find my office. - Office hours:

- Tuesday 1-2pm
- Thursday 2-3pm

**not**right before homework is due. This is by design, to encourage you to start looking at the homework early.

Assignment | .tex | Due Date | |
---|---|---|---|

Week 1 | PS1 | PS1 | Feb. 7 |

Note the nonstandard Thursday due date! | |||

I added the necessary hypothesis "with no finite models" to problem 1 | |||

Week 2 | PS2 | PS2 | Feb. 12 |

Week 3 | PS3 | PS3 | Feb. 19 |

Week 5 | PS5 | PS5 | Mar. 5 |

Week 6 | PS6 | PS6 | Mar. 12 |

Week 7 | PS7 | PS7 | Apr. 9 |

- Math is a team sport and the best way to learn is to find classmates and friends to work on problem sets with. I really encourage you to work with people in this class both on completing the problem sets and gaining a better understanding of the material in general.
- Math Night is a great place to meet up with people in your class and in the larger department. Note that the homework is cleverly scheduled to be due the class after Math Night each week.
- To really drive home that I'm serious about collaboration and to help you find people to work with, for the first three assignments, I will be assigning you groups to work with. I'll send out emails to groups around the same time that I post assignments. These aren't the only people you can work with, but I'd like you to try working in these groups for at least an hour. If you do, then your group will get 10 bonus points on the assignment. Make sure everyone writes at the top of their homework that y'all worked together so the grader's know.

If you run into problems meeting up with your group (some group members don't want to meet, but others do; there's no time that works for everyone; etc.), let me know and I'll help resolve the problem.

- The homework is designed to help you check, solidify, and deepen your understanding of the material. Since this course builds on itself (as most do), this is less helpful if you delay it. Thus, late homework is not accepted.
- Homework should be turned in by the end of class, either a hard copy or an email.
- I understand that things come up, and so you are given
**two**'grace' assignments throughout the semester. These are assignments that you can turn in up to one week late. If something comes up outside of the scope of these two grace assignments, please discuss it with me individually.

Back to my homepage.