4 ms·New results on Gödel incompleteness: talk this Monday at 19:00 UTC3 points by IngoBlechschmid 6y ago