Andrej Bauer: "Za moderno tehnologijo je matematika stric iz ozadja" - a podcast by RTVSLO – Ars

"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.
Foto: iz osebnega arhiva A. Bauerja

Further episodes of Podobe znanja

Further podcasts by RTVSLO – Ars

Website of RTVSLO – Ars