#181 — Matematika (dr. Matija Pretnar) - podcast episode cover

#181 — Matematika (dr. Matija Pretnar)

May 23, 20251 hr 54 minEp. 181
--:--
--:--
Listen in podcast apps:
Metacast
Spotify
Youtube
RSS

Episode description

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 

For the best experience, listen in Metacast app for iOS or Android
Open in Metacast
#181 — Matematika (dr. Matija Pretnar) | AIDEA Podkast podcast - Listen or read transcript on Metacast