About this episode
V epizodi 181 je bil gost dr. Matija Pretnar je doktor ra?unalništva, specializiran za programske jezike in formalne sisteme. Predava na Fakulteti za matematiko in fiziko, kjer raziskuje povezave med matemati?no logiko in sodobnim programiranjem. V epizodi se dotakneva naslednjih tematik: Potovanje skozi matematiko in programiranje Razumevanje vzorcev in inteligence Narava matematike Koncept neskon?nosti Razlaga kvantnega ra?unalništva Teorija simulacije in realnost =================== Prijavi se na newsletter in vsak petek prejmi 5 linkov, ki jih ustvarjalci podkastov Dialog in RE:MOAT izberemo tisti teden (knjige, dokumentarci, ?lanki, podkast epizode …). https://aidea.si/aidea-mailing-lista
