אי שלמות ואי כריעות בשפות פורמליות

חזרה על מושגים מתורת החישוביות. מכונות טיורינג. מכונות מונים. תורת מספרים אלמנטרית. חזרה על מושגים של לוגיקה מסדר ראשון. ייצוג ספרי של פונקציות תורת-מספריות בתורות פורמליות. משפט נקודת השבת של גדל ומשפט הרקורסיה. משפט אי השלמות הראשון של גדל. משפט לוב. משפט אי השלמות השני של גדל. פיתוח נוסף של תורת הרקורסיה. הוכחה תורת-מודלית של אי תלות מעל האריתמטיקה של טענה קומבינטורית פשוטה.