Uttryckbarhet och ofullständighet
Kort om kursen
Hur kraftfull är logiken – och var går gränsen för vad som kan uttryckas och bevisas?
Om utbildningen
I kursen Uttryckbarhet och ofullständighet utforskar du några av den moderna logikens mest fascinerande frågor. Du får fördjupa dig i intuitionistisk logik och andra ordningens logik och undersöka hur olika logiska system påverkar vad vi kan uttrycka, bevisa och veta.
En central del av kursen är Gödels berömda ofullständighetssatser, som visar att det finns fundamentala gränser för vad formella matematiska system kan bevisa. Du får både förstå idéerna bakom resultaten och arbeta med bevis, tillämpningar och konsekvenser.
Kursen passar dig som vill gå djupare in i formell logik och få en skarpare förståelse för relationen mellan språk, bevis, sanning och matematikens gränser.
Kursen ges på engelska. Besök vår internationella sida för mer information.
Behörigheter och urval
Behörighet
För tillträde till kursen krävs godkänt resultat på Logik och fullständighet (LOG112) eller motsvarande. Dessutom krävs språkkunskaper motsvarande Engelska 6.
Urval
Högskolepoäng, max 165 hp