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
No persons identified in this episode.
This episode hasn't been transcribed yet
Help us prioritize this episode for transcription by upvoting it.
Popular episodes get transcribed faster
Other recent transcribed episodes
Transcribed and ready to explore now
Eric Larsen on the emergence and potential of AI in healthcare
10 Dec 2025
McKinsey on Healthcare
Reducing Burnout and Boosting Revenue in ASCs
10 Dec 2025
Becker’s Healthcare -- Spine and Orthopedic Podcast
Dr. Erich G. Anderer, Chief of the Division of Neurosurgery and Surgical Director of Perioperative Services at NYU Langone Hospital–Brooklyn
09 Dec 2025
Becker’s Healthcare -- Spine and Orthopedic Podcast
Dr. Nolan Wessell, Assistant Professor and Well-being Co-Director, Department of Orthopedic Surgery, Division of Spine Surgery, University of Colorado School of Medicine
08 Dec 2025
Becker’s Healthcare -- Spine and Orthopedic Podcast
NPR News: 12-08-2025 2AM EST
08 Dec 2025
NPR News Now
NPR News: 12-08-2025 1AM EST
08 Dec 2025
NPR News Now