Metalogik, 15 hp

Predikatlogik med identitet presenteras som ett formellt system, och grundläggande modell- och bevisteoretiska resultat bevisas. Gödels fullständighetsteorem behandlas utförligt. Dessutom ges exempel på hur matematiska teorier kan formaliseras inom predikatlogik med identitet. I kursens senare del behandlas Gödels ofullständighetsteorem för aritmetiken och Churchs oavgörbarhetsresultat för predikatlogik ingående. Några olika filosofiska synpunkter på dessa resultat och deras konsekvenser diskuteras, och några positioner inom matematikens filosofi beskrivs med hjälp av de begrepp och resultat som presenterats.