Popmat (populærvitenskapelig foredrag for alle): …

Popmat (populærvitenskapelig foredrag for alle): Dag Normann: Trenger vi uendelige mengder i diskret matematikk?, Auditorium 4 VB, torsdag 27/3 fra kl 1615

Omkring temaet:

Informatikere liker programmer som arbeider fort og effektivt. Logikere liker å vise at informatikere ikke alltid kan få det som de vil. I denne forelesningen skal vi se på noen algoritmer som arbeider så treigt at man må ta et kurs i avansert mengdelære for i det hele tatt å kunne vise at de ikke holder på i det uendelige. Vi skal ikke bevise noe, for man må ta et par andre kurs i avansert logikk for å forstå bevisene, men eksemplene skal være lette å forstå.