Förklara kärnan i Kurt Gödels ofullständighetsteorem på ett tillgängligt men teoretiskt korrekt sätt. Diskutera implikationerna av teoremet för matematikens grundvalar: Betyder det att det finns sanningar inom matematiken som inte kan bevisas? Hur påverkar detta uppfattningen att datorer en dag ska kunna lösa alla matematiska problem?