203 Osebno z Andrejem Bauerjem

Andrej Bauer je matematik, ki je deluje na Fakulteti za matematiko in fiziko. Pred nekaj meseci je prejel prestizˇno nagrado Amerisˇkega matematicˇnega zdruzˇenja (AMS) Levija L. Conanta za cˇlanek "Pet korakov v sprejemanju konstruktivne matematike". Nagrada Levija L. Conanta je izjemno priznanje za najboljsˇi ekspozicijski cˇlanek, objavljen v zadnjiih petih letih v Notices of the AMS ali Bulletin of the AMS. Bauer je predstavil malo manj znano konstruktivno matematiko, govoril pa je tudi o logiki, kvantnih računalnikih, vzorih ... Vabljeni k poslušanju.