Z matematikom dr. Andrejem Bauerjem o tem, kako abstraktna matematika poganja naš vsakdan

"Sodobna družba si ne more več privoščiti, da bi ugasnila računalnike," poudarja matematik Andrej Bauer. Vsi naši ključni infrastrukturni sistemi so namreč povsem odvisni od ogromne množice programov, ki usmerjajo njihovo delovanje. Vsi programi pa temljijo na matematiki. A čeprav procesorji v naših napravah neprestano in izredno hitro računajo, po drugi strani še zdaleč niso kos ključnemu delu matematikov, izpeljavi dokazov. Nekega dne morda bodo. Pred tem bo potrebno le odkriti način, kako matematični jezik ustrezno prevesti v programski jezik, ki ga bodo računalniki razumeli. Ta nelahka naloga zaposljuje tudi prof. dr. Andreja Bauerja s Fakultete za matematiko in fiziko Univerze v Ljubljani, s katerim smo se pogovarjali o njegovem delu, pomenu matematike danes, pa tudi o računalniški umetnosti.